1516 search results - page 24 / 304 » Trends in Software Verification |
ICFEM
2007
Springer
14 years 20 days ago
2007
Springer
RTSE
1997
14 years 10 days ago
1997
AC
2002
Springer
13 years 8 months ago
2002
Springer
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...