Formal Engineering Methods, International Conference on (1997)
Nov. 12, 1997 to Nov. 14, 1997
J. Van Katwijk , Delft Univ. of Technol., Netherlands
E. Durr , Delft Univ. of Technol., Netherlands
S. Goldsack , Delft Univ. of Technol., Netherlands
VDM/sup ++/ is a formal object oriented specification language, which extends VDM by providing object-orientation as well as real-time and parallel features. The use of the language is supported by an extensive toolset and design guidelines. The former offers graphical representations, syntactic and semantic checking, pretty printing and code generation. The latter aim at presenting guidelines for modelling and subsequent development. We argue that, despite its formal character, VDM/sup ++/ is a practically applicable vehicle for software development for real-time control systems. An outline specification case study is included.
object-oriented programming; hybrid object-oriented real-time software development; VDM++; formal object oriented specification language; VDM; parallel programming; toolset; design guidelines; graphical representations; syntactic checking; semantic checking; printing; code generation; modelling; real-time control systems; specification case study
E. Durr, S. Goldsack and J. Van Katwijk, "Hybrid object-oriented real-time software development with VDM/sup ++/," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 17.