1376 search results - page 159 / 276 » Model-Driven Software Verification |
126
click to vote
PROCOMET
1998
15 years 4 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
114
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
134
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
139
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
139
click to vote
ICSEA
2009
IEEE
15 years 10 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...