使腐烂 发表于 2025-3-30 09:16:11

ications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students.978-1-4471-0257-1

Spina-Bifida 发表于 2025-3-30 15:38:34

http://reply.papertrans.cn/83/8247/824681/824681_52.png

放弃 发表于 2025-3-30 18:06:09

http://reply.papertrans.cn/83/8247/824681/824681_53.png

leniency 发表于 2025-3-31 00:29:20

http://reply.papertrans.cn/83/8247/824681/824681_54.png

集中营 发表于 2025-3-31 02:37:37

http://reply.papertrans.cn/83/8247/824681/824681_55.png

空气 发表于 2025-3-31 08:21:53

Promotionm- posing specifications in order to build multiple indexed instances of a single component. To do so the component is described as a local state together with operations acting on that state, a global state is then defined which consists of multiple instances of this local state together with globa

加强防卫 发表于 2025-3-31 12:21:01

http://reply.papertrans.cn/83/8247/824681/824681_57.png

朴素 发表于 2025-3-31 15:25:59

Refinement, Observation and Modificationcification style. Of course, this assumption is by no means realistic. Much of the power and attraction of Z derives from Z being little more than logic and set theory with convenient options for naming and structuring — which can be (and is) used for anything for which logic and set theory can be u

Overthrow 发表于 2025-3-31 17:48:32

IO Refinementlified case of operations having no inputs or outputs. The justification for this was found in Section 4.4, where a fairly tedious derivation led to the conclusion that their presence does not fundamentally complicate matters concerning refinement. Summarising the development there: input and output

Creatinine-Test 发表于 2025-3-31 23:30:46

http://reply.papertrans.cn/83/8247/824681/824681_60.png
页: 1 2 3 4 5 [6] 7
查看完整版本: Titlebook: Refinement in Z and Object-Z; Foundations and Adva John Derrick,Eerke Boiten Book 20011st edition Springer-Verlag London 2001 Formal Method