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.