Using VDM in an Object-Oriented development method for Ada software

This publication has 7 references indexed in Scilit:

• Concepts in User Interfaces: A Reference Model for Command and Response Languages
  Lecture Notes in Computer Science, 1986
• Experience of introducing the Vienna development method into an industrial organisation
  Lecture Notes in Computer Science, 1985
• The role of proof obligations in software design
  Published by Springer Nature ,1985
• Knowledge Representation as the Basis for Requirements Specifications
  Informatik-Fachberichte, 1985
• SARS — A System For Application Oriented Requirements Specification
  IFAC Proceedings Volumes, 1983
• Towards a Formal Description of Ada
  Lecture Notes in Computer Science, 1980
• The Vienna Development Method: The Meta-Language
  Lecture Notes in Computer Science, 1978