A survey of object orientation in Z

Stepney, Susan; Barden, Rosalind; Cooper, David

doi:10.1049/sej.1992.0016

Cited by 21 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Z++ is an object-oriented extension to Z, allowing for the formal specification of software in an object-oriented style. In addition to Z++, there has been work done on other object-oriented extensions to Z such as Object-Z, OOZE (Object Oriented Z Environment) [3] and MooZ [61]. Although not as well documented as Object-Z, Z++ has been researched extensively and used practically in a number of real world applications that include the re-engineering of a legacy system [11] and according to [39], artificial intelligence and reactive systems 1 .…”

Section: Z++mentioning

confidence: 99%

Towards the formalisation of object-oriented methodologies

Adesina-Ojo

Poll

Venter

2011

Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innova

View full text Add to dashboard Cite

Formal methods have been shown to be beneficial in increasing the quality of, and confidence in software systems. Despite the advantages of using formal methods in software development, the uptake in the commercial industry has been limited where the use of informal and semi-formal notations is favoured. To bridge the gap between the ease-of-use of semi-formal notation and correctness of formal methods, a number of approaches to the formalisation of informal and semi-formal notation have been researched and documented. Two of these approaches are discussed in this dissertation using a medium-sized case study to demonstrate the approaches. It was shown that each approach offered results that differed in terms of levels of abstraction, requisite knowledge of the formal target specification language and potential for automation.

show abstract

Section: Z++mentioning

confidence: 99%

Towards the formalisation of object-oriented methodologies

Adesina-Ojo

Poll

Venter

2011

Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innova

View full text Add to dashboard Cite

show abstract

“…It is for further consideration how object-oriented versions of Z can be used to model such configurations. Certainly, encapsulation and forms of interaction can made possible through the use of object-oriented versions of Z (Stepney, Barden & Cooper 1992).…”

Section: Conclusion and Acknowledgementsmentioning

confidence: 99%

Specifying ODP Computational Objects in Z

Sinnott

Turner

1997

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking. It prescribes certain capabilities that such objects are expected to possess and structuring rules that apply to how these objects can be configured with one another. This paper highlights how the specification language Z can be used to formalise these capabilities and the associated structuring rules, thereby enabling specifications of ODP systems from the computational viewpoint to be achieved.

show abstract

Select Z bibliography

Bowen¹

1995

ZUM '95: The Z Formal Specification Notation

View full text Add to dashboard Cite

A survey of object orientation in Z

Cited by 21 publications

References 5 publications

Towards the formalisation of object-oriented methodologies

Towards the formalisation of object-oriented methodologies

Specifying ODP Computational Objects in Z

Select Z bibliography

Contact Info

Product

Resources

About