Modular Specification and Verification of Object-Oriented Programs

Description

This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Modular Specification and Verification of Object-Oriented Programs" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 2165
2. Hardware Verification With SystemVerilog: An Object-oriented Framework
3. Hardware Verification With SystemVerilog: An Object-oriented Framework
4. Hardware Verification with SystemVerilog: An Object-Oriented Framework
5. Hardware Verification with SystemVerilog: An Object-Oriented Framework
6. [request_ebook] Hardware Verification With SystemVerilog: An Object-oriented Framework
7. Object Solutions : Managing the Object-Oriented Project (Addison-Wesley Object T
8. Object-Oriented Metrics in Practice: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
9. Object-Oriented Metrics in Practice: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
10. Reactive Systems: Modelling, Specification and Verification
11. SAVCBS'07 Specification and Verification of Component-Based Systems
12. Real-Time Systems: Formal Specification and Automatic Verification
13. [share_ebook] Real-Time Systems: Formal Specification and Automatic Verification
14. [share_ebook] Real-Time Systems: Formal Specification and Automatic Verification
15. Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification
16. A Practical Guide to Testing Object-Oriented Software (The Addison-Wesley Object Technology Series)