SUGAR
发表于 2025-4-1 03:42:46
Modeling the C++ object model,lternatives are discussed and evaluated, which reveal anomalies in the C++ language. We conclude by characterizing those aspects of the C++ object model that distinguish C++ from other object systems.
拱形面包
发表于 2025-4-1 09:40:49
An object-oriented logic language for modular system specification,icity, with an expressive and intuitive graphic notation, yielding a specification language that is formal and rigorous, and still flexible, readable, general, and easily adaptable to the user‘s needs.
Meditative
发表于 2025-4-1 13:08:01
http://reply.papertrans.cn/31/3004/300306/300306_63.png
含沙射影
发表于 2025-4-1 15:12:55
Inheritance in object oriented Z,it characterises . as a technique for the hierarchical classification of objects. Thus derivation in Z is a basis for reusing existing specification modules. Subtyping inheritance is the basis for considering the substitutability of one class for another.
淡紫色花
发表于 2025-4-1 20:23:49
http://reply.papertrans.cn/31/3004/300306/300306_65.png