1376 search results - page 44 / 276 » Model-Driven Software Verification |
115
Voted
FORMATS
2010
Springer
15 years 17 days 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...
114
click to vote
SIGSOFT
2010
ACM
14 years 9 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...
141
click to vote
PRIMA
2009
Springer
15 years 9 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...
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
113
Voted
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
