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

安装

myriad

大猩猩

colostrum

Z and high level Petri nets,l for specific systems. Specific models we specify partly by diagrams and partly in Z. We give some advantages and disadvantages of using Z in this way. Finally we show how to specify systems by means of an example.

哎呦

,LPF and MPLω — A logical comparison of VDM SL and COLD-K,be proved remains the same after translation, in case strictness axioms are added to LPF or removed from MPL.. The translation from LPF to MPL. is extended to recursive function definitions and this translation is next used to justify some ways of bringing the definitions of partial functions into proofs using LPF.

Insubordinate

Tactical tools for distributing VDM specifications, implementation. We apply successive refinements on a VDM model so as to modify its distributability. The refinements are formalized, their validity is proved and they are tactical tools for a support environment of distributable software design. We express the general architecture of the resulting application into Conic.

Vasodilation

Formalizing design spaces: Implicit invocation mechanisms,ntegration technique called implicit invocation. We show how many previously unrelated systems can be viewed as instances of the same underlying framework. Then we briefly indicate how the formalization allows us to reason about certain properties of those systems as well as the relationships between different systems.

FRONT

indecipherable

Formal specification in metamorphic programming,luctance is due to . that are encountered when attempting to integrate formal specification with other stages of the software development process. Semantic gaps necessitate a dramatic shift in a programmer‘s mode of thought, and undergoing many such shifts during the development of a software system

侧面左右