Title :
Real time formal specification using VDM++
Author :
van Katwijk, Jan ; Durr, Eugene ; Goldsack, Stephen
Author_Institution :
Delft Univ. of Technol., Netherlands
Abstract :
VDM++ is a formal Object Oriented Specification language, derived from VDM. It extends VDM by providing object-orientation and concurrency features. The use of the language is supported by design guidelines and a toolset. The latter offers graphical representations, syntactic and semantic checking, pretty printing and code generation. In this paper we address real-time extensions as being developed for the language
Keywords :
Vienna development method; formal specification; object-oriented programming; real-time systems; software tools; VDM++; code generation; concurrency features; design guidelines; formal object oriented specification language; graphical representations; object-orientation; real time formal specification; real-time extensions; semantic checking; toolset; Annealing; Buildings; Data structures; Educational institutions; Formal specifications; Guidelines; Object oriented modeling; Printing; Software engineering; Vehicles;
Conference_Titel :
Object-Oriented Real-Time Dependable Systems,1996. Proceedings of WORDS '96., Second Workshop on
Conference_Location :
Laguna Beach, CA
Print_ISBN :
0-8186-7570-5
DOI :
10.1109/WORDS.1996.506257
