Implementing Object-Z with Perfect Developer

By: Brian Stevens

Abstract

Object oriented (OO) software design has become the methodology of choice for a large number of software engineers and along with this the graphical notation of the Unified Modelling Language (UML)[1] has become the de facto industry standard for OO software design. Unfortunately these graphical notations are not suitable for capturing the potentially complex and subtle restrictions that apply to critical systems.

Cite as:

Brian Stevens, “Implementing Object-Z with Perfect Developer”, Journal of Object Technology, Volume 5, no. 2 (March 2006), pp. 189-202, doi:10.5381/jot.2006.5.2.a5.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact