The Vienna development method

This publication has 10 references indexed in Scilit:

• Experience using VDM in STC
  Published by Springer Nature ,1987
• VDM '87 VDM — A Formal Method at Work
  Published by Springer Nature ,1987
• Better Understanding through Formal Specification
  Computer Graphics Forum, 1985
• Developing ada programs using the vienna development method (VDM)
  Software: Practice and Experience, 1985
• Experience of introducing the Vienna development method into an industrial organisation
  Lecture Notes in Computer Science, 1985
• The Rigorous Development of a System Version Control Program
  IEEE Transactions on Software Engineering, 1984
• The DDC Ada compiler development method
  Published by Springer Nature ,1980
• The vienna development method (VDM)
  Published by Springer Nature ,1979
• The Vienna Development Method: The Meta-Language
  Lecture Notes in Computer Science, 1978
• Formal definition in program development
  Published by Springer Nature ,1975