lethal
发表于 2025-3-26 22:10:26
http://reply.papertrans.cn/55/5417/541676/541676_31.png
HPA533
发表于 2025-3-27 02:37:04
The Kiv-approach to software verification,ns and stepwise refinement by program modules. The approach is implemented in . (.), and supports the entire design process starting from formal specifications and ending with verified code. Its main characteristics are a strict decompositional design discipline for modular systems, a powerful proof
国家明智
发表于 2025-3-27 06:00:23
978-3-540-60589-8Springer-Verlag Berlin Heidelberg 1995
香料
发表于 2025-3-27 10:56:41
http://reply.papertrans.cn/55/5417/541676/541676_34.png
吃掉
发表于 2025-3-27 15:42:00
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/k/image/541676.jpg
Glutinous
发表于 2025-3-27 20:30:23
Event automata as a generic model of reactive systems,hes the underlying mathematics, and provides some ideas about appropriate specification techniques. The framework will be instantiated by various, conceptually quite different examples ranging from interleaving semantics and process calculi to true concurrency semantics and object-oriented methods.
显微镜
发表于 2025-3-28 01:17:34
AVL trees revisited: A case study in Spectrum,ich is organized in four stages: requirement specification, design specification, executable specification and functional program. The concept of AVL trees serves as example for presenting this approach.
alabaster
发表于 2025-3-28 02:51:17
http://reply.papertrans.cn/55/5417/541676/541676_38.png
营养
发表于 2025-3-28 06:52:57
http://reply.papertrans.cn/55/5417/541676/541676_39.png
断言
发表于 2025-3-28 12:14:29
http://reply.papertrans.cn/55/5417/541676/541676_40.png