娘娘腔
发表于 2025-3-25 04:09:23
Object Orientation in Z978-1-4471-3552-4Series ISSN 1431-1682
adroit
发表于 2025-3-25 10:23:43
http://reply.papertrans.cn/71/7002/700142/700142_22.png
Optimum
发表于 2025-3-25 14:57:35
https://doi.org/10.1007/978-1-4471-3552-4Avenue; Turing; design; formal method; formal methods; formal specification; language; object; object orient
令人作呕
发表于 2025-3-25 18:10:53
http://reply.papertrans.cn/71/7002/700142/700142_24.png
Deference
发表于 2025-3-26 00:01:32
http://reply.papertrans.cn/71/7002/700142/700142_25.png
atrophy
发表于 2025-3-26 00:29:55
http://reply.papertrans.cn/71/7002/700142/700142_26.png
characteristic
发表于 2025-3-26 04:19:00
Object-Z, to accommodate object orientation , . The main reason for this extension is to improve the clarity of large specifications through enhanced structuring.
PLAYS
发表于 2025-3-26 08:30:30
Z++, in the other object-oriented extensions to Z. A full description of the Z. language is contained in , and is also described in . Here we give only an overview of the syntax.
山顶可休息
发表于 2025-3-26 14:00:13
http://reply.papertrans.cn/71/7002/700142/700142_29.png
无力更进
发表于 2025-3-26 18:55:40
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.