Modular Specification and Verification of Object-Oriented Programs /

Saved in:

Bibliographic Details
Imprint:	Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002.
Description:	1 online resource.
Language:	English
Series:	Lecture Notes in Computer Science ; 2262, 0302-9743 Lecture notes in computer science ; 2262,
Subject:	Object-oriented programming (Computer science) Modular programming. Computer software -- Development. Computer science. Software engineering. Logic design. Computer science. Computer software -- Development. Logic design. Modular programming. Object-oriented programming (Computer science) Software engineering.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11076420

Hidden Bibliographic Details
Other authors / contributors:	Müller, Peter.
ISBN:	9783540456513 3540456511 3540431675 9783540431671
Digital file characteristics:	text file PDF
Notes:	English.
Summary:	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.
Standard no.:	10.1007/3-540-45651-1

Similar Items