Titlebook: VDM ‘88. VDM - The Way Ahead; 2nd VDM-Europe Sympo Robin E. Bloomfield,Lynn S. Marshall,Roger B. Jone Conference proceedings 1988 Springer-

規(guī)章

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

PANG

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

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.

碎石頭