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

Cubicle

必死

Defraud

NUSL: An executable specification language based on data abstraction,cation language is to be used. This paper describes the specification language NUSL which has a supporting system..NUSL is an applicative executable specification language, centered around the concept of data abstraction, with module construct in it. Both the algebraic and the model-oriented specifi

Aspirin

條街道往前推

Critical

The VIP VDM Specification Language,ation constructs for structuring specifications, and with constructs for expressing temporal aspects of the concurrent execution of operations which interfere via state variables. VVSL was designed and is being used in the ESPRIT project 1283: VIP..The modularisation and parameterisation constructs

instulate

不能逃避

離開(kāi)就切除

Towards a formal definition of GKS and other graphics standards,sor to GKS, within the context of a Computer Graphics Reference Model. Either way (or both), there is a growing body of work which should aid the generally still slow progress towards the formal development and expression of future international graphics standards.

Grandstand

Specification of an operating system kernel forest and VDM compared,its both the effects of actions and the circumstances in which they are to be invoked to be defined. This paper uses the example of a real time operating system kernel to compare the specifications in VDM with those in MAL.