Object Orientation in Z

Object Orientation in Z
Author :
Publisher : Springer
Total Pages : 170
Release :
ISBN-10 : UOM:39015029197459
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Object Orientation in Z by : Susan Stepney

Download or read book Object Orientation in Z written by Susan Stepney and published by Springer. This book was released on 1992 with total page 170 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Object Orientation in Z Related Books

Object Orientation in Z
Language: en
Pages: 170
Authors: Susan Stepney
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: Springer

DOWNLOAD EBOOK

The Object-Z Specification Language
Language: en
Pages: 155
Authors: Graeme Smith
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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.
Refinement in Z and Object-Z
Language: en
Pages: 498
Authors: John Derrick
Categories: Mathematics
Type: BOOK - Published: 2013-08-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and
Formal Methods and Software Engineering
Language: en
Pages: 639
Authors: Chris George
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in Octobe
Z User Workshop, London 1992
Language: en
Pages: 350
Authors: J.P. Bowen
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now use