规章
发表于 2025-3-30 10:27:03
The formal definition of modula-2 and its associated interpreter,ta IV, together with a rigorously verified interpreter derived directly from the definition. In the process of producing a good quality document of the formal definition of Modula-2, two by-products will also be developed and applied. They are a VDM structure editor and an environment to generate IAT.X files from the VDM structure editor.
FOVEA
发表于 2025-3-30 12:59:38
http://reply.papertrans.cn/99/9801/980038/980038_52.png
PANG
发表于 2025-3-30 18:22:07
The use of VDM within the Alvey Flagship project,ronment which might not otherwise have been considered in a formal methods project. Hopefully this use of a declarative environment will give us great benefits in terms of fine-grain concurrency when we are able to develop our software on the Flagship parallel hardware.
ascetic
发表于 2025-3-30 21:47:10
Correctness for beginners,Stepwise refinement can be formalised in a natural way by regarding specifications as unimplemented program components. We present a graphical notation for specifications and their refinement rules which supports this approach. The resulting development style is proposed as an appropriate model for introductory programming instruction.
碎石头
发表于 2025-3-31 01:08:52
http://reply.papertrans.cn/99/9801/980038/980038_55.png