SMALLTALK-80: the interactive programming environment
SMALLTALK-80: the interactive programming environment
Object-oriented modeling and design
Object-oriented modeling and design
Guest A Layered Approach to Automating the Verification of Real-Time Systems
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
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
ACM Transactions on Programming Languages and Systems (TOPLAS)
Comparing Architectural Design Styles
IEEE Software
ASTRAL: An Assertion Language for Specifying Realtime Systems
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
Timed and Hybrid Statecharts and Their Textual Representation
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Hi-index | 0.00 |
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.