1376 search results - page 44 / 276 » Model-Driven Software Verification |
110
click to vote
FORMATS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
104
Voted
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
129
Voted
PRIMA
2009
Springer
15 years 8 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
73
Voted
KBSE
2002
IEEE
15 years 6 months ago
2002
IEEE
104
Voted
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
