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

搭話

書目名稱Object Orientation in Z影響因子(影響力)




書目名稱Object Orientation in Z影響因子(影響力)學(xué)科排名




書目名稱Object Orientation in Z網(wǎng)絡(luò)公開度




書目名稱Object Orientation in Z網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Object Orientation in Z被引頻次




書目名稱Object Orientation in Z被引頻次學(xué)科排名




書目名稱Object Orientation in Z年度引用




書目名稱Object Orientation in Z年度引用學(xué)科排名




書目名稱Object Orientation in Z讀者反饋




書目名稱Object Orientation in Z讀者反饋學(xué)科排名

旁觀者

Z Expression of Refinable Objects,finement and proof. When carrying out such proof it is useful to be able to provide a strong degree of separation between the objects so that it is possible to reason about the use of those objects without having to consider their internal details. The particular approach described here is motivated

催眠

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.

Truculent

OOZE, includes facilities for rapid prototyping. OOZE uses the graphical notation and comment conventions of Z, formalizes its style, and adapts it to fit the object oriented paradigm, allowing declarations for . and . within modules. Attributes can be class-valued, that is, . are supported. Modules can

蓋他為秘密

合并

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.

結(jié)果

輕信

Specification in Fresco,ations are in?corporated into the software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the im?plementations and their development in a style similar to that of [Morgan 1990]. It is interesting to contrast Fresco wit

云狀

騙子