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

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
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.
ZUM '98: The Z Formal Specification Notation
Language: en
Pages: 460
Authors: Jonathan P. Bowen
Categories: Computers
Type: BOOK - Published: 1998-09-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
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