Vienna Development Method (VDM) Tutor developed in Authorware.
Read Online
Share

Vienna Development Method (VDM) Tutor developed in Authorware. by Frank Keenan

  • 757 Want to read
  • ·
  • 9 Currently reading

Published by The Author) in (s.l .
Written in English


Book details:

Edition Notes

Thesis (M. Sc. (Information Technology)) - University of Ulster, 1996.

ID Numbers
Open LibraryOL16779592M

Download Vienna Development Method (VDM) Tutor developed in Authorware.

PDF EPUB FB2 MOBI RTF

The Vienna Development Method: the Meta-Language. Lecture Notes in Computer Science. No. 61 Hardcover – January 1, by Eds. Bjorner, D., & C. B. Jones (Author) See all formats and editions Hide other formats and editions. Price New from Used from Paperback "Please retry" $ — $ Author: Eds. Bjorner, D., & C. B. Jones. Book Title The Vienna Development Method: The Meta-Language Editors. D. Bjorner; C.B. Jones; Series Title Lecture Notes in Computer Science Series Volume 61 Copyright Publisher Springer-Verlag Berlin Heidelberg Copyright Holder Springer-Verlag Berlin Heidelberg eBook . D Andrews and D Ince "Practical formal methods with VDM" McGraw Hill ISBN , J T Latham, I D Cottam and V Bush "The Programming Process: an introduction using VDM and Pascal", Addison Wesley, The VDM Bibliography has a much more comprehensive list, and indicates which books are more suited to advanced users.   This chapter describes the Vienna development method. In a specification it is frequently necessary to write down a property which holds for all objects of a particular class, mathematics again provides a mechanism for dealing with this. Objects of a particular class are described by defining sets.

Abstract. The Vienna Development Method (VDM) is an environment for the modeling and development of sequential software systems. The specification language of VDM has evolved from Meta-IV, the language used at IBM’s Vienna development laboratory for specifying the semantics of the PL/I programming language in the early seventies. The Vienna Development Method (VDM) [1,8, 4] was originally developed at the IBM laboratories in Vienna in the s and as such it is one of the longest established formal methods. The VDM. Abstract: The Vienna Development Method (VDM) is based upon iterative refinement of formal specifications written in the model-oriented specification language, Meta-IV. VDM is also an informal collection of experiences in formal specification within several applica- tion domains.   It was developed at the IBM laboratory in Vienna as a method to specify the semantics of the PL/1 programming language, and it evolved into a formal specification language with a rigorous software development method with rules to verify the steps of development.

Vienna development method. Berlin ; New York: Springer-Verlag, (OCoLC) Material Type: Internet resource: Document Type: Book, Internet Resource: All Authors / .   14 books set in Vienna we recommend you escape with while in Home Isolation Vienna Würstelstand's Jacob Moss says: For all those who need more inspiration of what books to read throughout this home isolation period, and are also simultaneously missing the streets of Vienna – here are our 14 favourite tales that have played out in Vienna that. The Vienna Development Method (VDM) is one of the longest established model-oriented formal methods for the development of computer-based systems and software. Genre/Form: Electronic books: Additional Physical Format: Print version: Vienna development method. Berlin ; New York: Springer-Verlag, (DLC)