1376 search results - page 44 / 276 » Model-Driven Software Verification |
149
click to vote
FORMATS
2010
Springer
15 years 4 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...
157
click to vote
SIGSOFT
2010
ACM
15 years 21 days 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...
183
click to vote
PRIMA
2009
Springer
16 years 15 days 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...
