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