Systematic software development using VDM
Systematic software development using VDM
Object-oriented modeling and design
Object-oriented modeling and design
VDM++: a formal specification language for object-oriented designs
TOOLS 7 Proceedings of the seventh international conference on Technology of object-oriented languages and systems
Introducing data decomposition into VDM for tractable development of programs
ACM SIGPLAN Notices
Mapping Procedural Patterns to Object-Oriented Design Patterns
Automated Software Engineering
Hi-index | 0.00 |
VDM++ is a formal specification language derived from VDMSL and incorporating object-oriented structuring based on language extensions which owe much to SmallTalk (though features have been added to cater for specifying reactive real-time systems). Research on the language has been in progress since about 1991[1][2], but it is only recently that papers have begun to be published on the subject[3][4][5].Several more-detailed papers are in preparation. In particular, a paper describing the concept of annealing in some detail will be ready shortly.Our attention has recently been drawn to the paper by Jian Lu [6] which describes a process of data decomposition in VDM bearing some relationship to our concept of annealing. The present paper is intended to give an introduction to the annealing concept, and to show how it relates to the work of Jian Lu.