Home VDM - Vienna Development Method
Article
Licensed
Unlicensed Requires Authentication

VDM - Vienna Development Method

  • W. Henhapl and T. Letschert
Published/Copyright: April 1, 1987
it - Information Technology
From the journal it - Information Technology Volume 29 Issue 4

Published Online: 1987-04
Published in Print: 1987-04

© 2013 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München

Articles in the same Issue

  1. INHALT
  2. Editorial: Zu diesem Heft
  3. Beiträge
  4. Gegenwart und Zukunft der Programmiersprachen/Present and future of programming languages
  5. Warum ADA® nicht nur eine weitere Programmiersprache ist/ Why ADA® is not just another programming language
  6. VDM - Vienna Development Method
  7. Erfahrungen mit VDM bei der Übersetzungskonstruktion/ Experiences with VDM in Compiler Construction
  8. Prolog: Programmierung auf der Basis von Logik/ Prolog: Logic Based Programming
  9. OCCAM - Eine Sprache für die Programmierung paralleler Prozesse/OCCAM - Α Parallel Programming Language
  10. Bemerkungen über ML und seine polymorphe Typenstruktur/ Remark on ML and its Polymorphic Type Structure
  11. Smalltalk-80
  12. Literatur zum Thema „Programmiersprachen“
  13. Zur Kommunikation in verteilten Systemen: Lösung des I/O-Guard Problems mit Programmtransformationen/ Communication in Distributed Systems: A Transformational Solution to the I/O-Guard Problem
  14. Buchbesprechungen
  15. Marktübersicht Programmiersprachen für PC
  16. Kalender
https://doi.org/10.1524/itit.1987.29.4.202

Articles in the same Issue

  1. INHALT
  2. Editorial: Zu diesem Heft
  3. Beiträge
  4. Gegenwart und Zukunft der Programmiersprachen/Present and future of programming languages
  5. Warum ADA® nicht nur eine weitere Programmiersprache ist/ Why ADA® is not just another programming language
  6. VDM - Vienna Development Method
  7. Erfahrungen mit VDM bei der Übersetzungskonstruktion/ Experiences with VDM in Compiler Construction
  8. Prolog: Programmierung auf der Basis von Logik/ Prolog: Logic Based Programming
  9. OCCAM - Eine Sprache für die Programmierung paralleler Prozesse/OCCAM - Α Parallel Programming Language
  10. Bemerkungen über ML und seine polymorphe Typenstruktur/ Remark on ML and its Polymorphic Type Structure
  11. Smalltalk-80
  12. Literatur zum Thema „Programmiersprachen“
  13. Zur Kommunikation in verteilten Systemen: Lösung des I/O-Guard Problems mit Programmtransformationen/ Communication in Distributed Systems: A Transformational Solution to the I/O-Guard Problem
  14. Buchbesprechungen
  15. Marktübersicht Programmiersprachen für PC
  16. Kalender
Sign up now to receive a 20% welcome discount
Institutional Access
How does access work?
Have an idea on how to improve our website?
Please write us.
© 2025 De Gruyter Brill
Downloaded on 17.9.2025 from https://www.degruyterbrill.com/document/doi/10.1524/itit.1987.29.4.202/html
Scroll to top button