Modular Specification and Verification of Object-oriented Programs with Inheritance

Author	: Gerald Kanapathy
Publisher	:
Total Pages	: 142
Release	: 1993
ISBN-10	: OCLC:28175648
ISBN-13	:
Rating	: 4/5 ( Downloads)

DOWNLOAD EBOOK

Book Synopsis Modular Specification and Verification of Object-oriented Programs with Inheritance by : Gerald Kanapathy

Download or read book Modular Specification and Verification of Object-oriented Programs with Inheritance written by Gerald Kanapathy and published by . This book was released on 1993 with total page 142 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Modular Specification and Verification of Object-oriented Programs with Inheritance Related Books

Language: en
Pages: 297

Modular Specification and Verification of Object-Oriented Programs

Authors: Peter Müller

Categories: Computers

Type: BOOK - Published: 2003-07-31 - Publisher: Springer

DOWNLOAD EBOOK

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools,

Language: en
Pages: 142

Modular Specification and Verification of Object-oriented Programs with Inheritance

Authors: Gerald Kanapathy

Categories: Object-oriented programming (Computer science)

Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Language: de
Pages: 261

Modular specification and verification of object-oriented programs

Authors: Peter Müller (Informaticien)

Categories:

Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 248

Algebraic Specification Techniques in Object Oriented Programming Environments

Authors: Ruth Breu

Categories: Computers

Type: BOOK - Published: 1991-12-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The desi

Language: en
Pages: 64

Subtyping, Modular Specification, and Modular Verification for Applicative Object-oriented Programs

Authors: Gary Todd Leavens

Categories: Object-oriented programming (Computer science)

Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

We also prove that the specification language and the Hoare logic are modular in the sense that when new types of objects are added to the program, unchanged mo