1376 search results - page 255 / 276 » Model-Driven Software Verification |
143
Voted
TCS
2002
15 years 1 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
110
click to vote
TOPLAS
2002
15 years 1 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
134
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
118
click to vote
ICWE
2010
Springer
15 years 10 days ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
112
click to vote
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...