Titlebook: Object Orientation in Z; Susan Stepney,Rosalind Barden,David Cooper Conference proceedings 1992 Springer-Verlag London 1992 Avenue.Turing.

娘娘腔

Object Orientation in Z978-1-4471-3552-4Series ISSN 1431-1682

adroit

Optimum

https://doi.org/10.1007/978-1-4471-3552-4Avenue; Turing; design; formal method; formal methods; formal specification; language; object; object orient

令人作嘔

Deference

atrophy

characteristic

Object-Z,[Woodcock and Loomes 1988] to accommodate object orientation [Meyer 1988], [Booch 1991]. The main reason for this extension is to improve the clarity of large specifications through enhanced structuring.

PLAYS

Z++, in the other object-oriented extensions to Z. A full description of the Z. language is contained in [Lano and Haughton 1991], and is also described in [Lano 1991]. Here we give only an overview of the syntax.

山頂可休息

無力更進(jìn)

OOZE,be generic, are organized hierarchically, and help with structuring and reusing specifications and code. Modules can be linked by views, which assert relationships of refinement. Both the syntax and semantics of module interfaces can be specified precisely by using theories.