Modular Specification and Verification of Object-Oriented Programs
Modular Specification and Verification of Object-Oriented Programs
ISBN: 9783540431671
出版社: 1 edition (2002年3月1日)
出版年: 2002-5
页数: 292
定价: 110.00
装帧: 平装
内容简介
在线阅读本书
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.