Titlebook: VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker; Volume 1: Conference S. Prehn,W. J. T

爭吵加

Decongestant

A case for structured analysis/formal design, may be composed by taking the best of a formal method and the best of a structured method and constructing one, new method. In this paper two approaches to transforming data flow diagrams, the main system representation resulting from SA, to constructs in VDM are described. Each approach can be use

萬神殿

A model-oriented method for algebraic specifications using COLD-1 as notation,ebraic concepts, such as equivalence relations, congruence relations and homomorphisms. The method makes a clear distinction between the abstract type being defined and the model used as representation. The advantage of this approach is that the problem of implementation bias does not apply and that

enflame

A mechanical formalization of several fairness notions,ree fairness notions and one safety assumption with an automated theorem prover. These proof rules have been integrated into a mechanization of the Unity logic [8,9] and are suitable for the mechanical verification of concurrent programs. Mechanical verification provides greater trust in the correct

BACLE

Specification and stepwise development of communicating systems, a model similar to Hoare‘s CSP is used. First a specification language is given, which is particularly suitable for describing communicating systems. A quite simple readiness semantics allows to specify the users‘ wishes in an exact but easily expressible manner. Secondly aspects of a development a

HATCH

interpose

aerial

inflate

Aboveboard