Amanote Research
Register
Sign In
Formal Specifications of Software Model Evolution Using Contracts
doi 10.4018/978-1-59140-621-1.ch009
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Claudia Pons
Gabriel Baum
Publisher
IGI Global
Related search
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
Advances in Software Engineering
CSCW for Preparing Formal Software Specifications: Issues and Implementation
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Model Checking Large Software Specifications
ACM SIGSOFT Software Engineering Notes
Checking Strong Specifications Using an Extensible Software Model Checking Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Test Selection for Object-Oriented Software Based on Formal Specifications
Incremental Validation of Formal Specifications
Automating Software Evolution: Towards Using Constraints With Action for Model Evolution
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Model of the Software Test Process
IEEE Transactions on Software Engineering
Software
