449 search results - page 51 / 90 » Model Checking Large Software Specifications |
ICSM
2005
IEEE
15 years 5 months ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...
108
click to vote
ICECCS
2007
IEEE
15 years 6 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
PASTE
2004
ACM
15 years 5 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
190
click to vote
AMAST
2010
Springer
14 years 6 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
134
click to vote
ECOOP
2010
Springer
15 years 3 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...