Case studies in systematic software development
Case studies in systematic software development
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Constraining Inference in an Object-Based Design Model
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A pi-Calculus Semantics for an Object-Based Design Notation
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Reasoning about Interference in an Object-Based Design Method
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Annealing and data decomposition in VDM
ACM SIGPLAN Notices
Hi-index | 0.00 |
Formal program development by VDM comprises not only data reifications from abstract model to concrete model but also suitable operation decompositions. Usually, these two kinds of development steps are done independently with the order of "operation decompositions after data reifications". Furthermore, data reifications and operation decompositions are based on the whole model because no model split is allowed. If, however, larger specifications are aimed at, it is very important to provide support for model split and suitably interweave it with data reification and operation decomposition. In this paper, we introduce a new concept---data decomposition which is based on the ideas of model split, modularisation and operation decomposition, and combine it with VDM to form a more general formal development method DD-VDM. As a result, a more flexible development strategy can be adopted and the development complexity can be effectively controlled.