IEEE - Institute of Electrical and Electronics Engineers, Inc. - Real time formal specification using VDM/sup ++/

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems

Author(s): van Katwijk, J. ; Durr, E. ; Goldsack, S.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Laguna Beach, CA, USA
Conference Date: 1 February 1996
Page(s): 17 - 24
ISBN (Paper): 0-8186-7570-5
DOI: 10.1109/WORDS.1996.506257
Regular:

VDM/sup ++/ 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... View More

Advertisement