abduction
发表于 2025-3-25 03:41:06
http://reply.papertrans.cn/83/8247/824680/824680_21.png
Conjuction
发表于 2025-3-25 09:44:28
http://reply.papertrans.cn/83/8247/824680/824680_22.png
射手座
发表于 2025-3-25 15:23:33
Refinement in Object-Zequences of the different interpretation of preconditions. We also consider how weak refinement and non-atomic refinement may be applied to Object-Z. Finally, we discuss the relation between refinement, and two other important concepts in object orientation: subtyping and inheritance.
myalgia
发表于 2025-3-25 19:36:26
http://reply.papertrans.cn/83/8247/824680/824680_24.png
作茧自缚
发表于 2025-3-25 22:17:22
https://doi.org/10.1007/978-1-4471-5355-9Formal Methods; Interfaces; Non-atomic Refinement; Object Orientation; Object-Z; Refinement in Object-Z; S
Commission
发表于 2025-3-26 02:25:54
http://reply.papertrans.cn/83/8247/824680/824680_26.png
捐助
发表于 2025-3-26 07:22:22
Data Refinement and Simulationse we look at how operations in a specification are modelled as partial relations. The application of the simulation rules to specifications with partial operations leads to the simulation rules as they are normally presented.
Heretical
发表于 2025-3-26 11:31:20
Refinement in Zrate the issues involved with this derivation, we first derive rules for Z ADTs without inputs and outputs, and then show the more complicated derivation in the presence of inputs and outputs. Finally, this chapter presents a collection of examples of data refinement in Z.
Obedient
发表于 2025-3-26 15:55:54
http://reply.papertrans.cn/83/8247/824680/824680_29.png
parasite
发表于 2025-3-26 17:51:03
An Introduction to Znder consideration. In this chapter we present the notations for logic, sets and relations, the schema notation and the schema calculus, leading to the definition of an abstract data type in the “states-and-operations” style, and the first example refinement.