Related Books
Language: en
Pages: 435
Pages: 435
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introd
Language: en
Pages: 21
Pages: 21
Type: BOOK - Published: 1993 - Publisher:
Language: en
Pages: 336
Pages: 336
Type: BOOK - Published: 1997 - Publisher:
SDL 92 is the recognized international standard language for designing and specifying telecommunications systems, and is increasingly also used for RAD, real-ti
Language: en
Pages: 222
Pages: 222
Type: BOOK - Published: 2002 - Publisher:
Language: en
Pages: 229
Pages: 229
Type: BOOK - Published: 2000 - Publisher: MacMillan
This text presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object Z. It includes