Related Books
Language: en
Pages: 155
Pages: 155
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism.
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
Language: en
Pages: 596
Pages: 596
Type: BOOK - Published: 1995-08-23 - Publisher: Springer Science & Business Media
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 ca
Language: en
Pages: 460
Pages: 460
Type: BOOK - Published: 1998-09-16 - Publisher: Springer Science & Business Media
1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted t
Language: en
Pages: 382
Pages: 382
Type: BOOK - Published: 1997 - Publisher: Cambridge University Press
A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.
