Format:
Online-Ressource (IX, 422 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540477402
Series Statement:
Lecture notes in computer science 252
Content:
VDM: Origins, hopes, and achievements -- Experience using VDM in STC -- VDM in three generations of Ada formal descriptions -- Experience with VDM in NORSK DATA -- Using VDM in an Object-Oriented development method for Ada software -- The stepwise development of software development graphs — Meta-programming VDM developments -- Heap storage specification and development -- VDM as a specification method for telecommunications software -- Support environments for VDM -- Development and application of a META IV compiler -- From VDM to RAISE -- Denotational engineering or from denotations to syntax -- A type model for VDM -- A formal description of object-oriented programming using VDM -- VDM proof obligations and their justification -- Mathematical structures and their morphisms in Meta-IV -- Objectives of the British Standardisation of a language to support the Vienna development method -- Use of VDM within CCITT -- A formal semantics for a DataFlow Machine — Using VDM -- to the VDM tutorial -- Specification by data types -- Data reification and program decomposition.
Note:
Literaturangaben
Additional Edition:
ISBN 3540176543
Additional Edition:
ISBN 0387176543
Additional Edition:
ISBN 9783540176541
Additional Edition:
Erscheint auch als Druck-Ausgabe VDM (1 : 1987 : Brüssel) VDM '87 Berlin [u.a.] : Springer, 1987 ISBN 3540176543
Additional Edition:
ISBN 0387176543
Language:
English
Subjects:
Computer Science
Keywords:
VDM
;
Konferenzschrift
DOI:
10.1007/3-540-17654-3
URL:
Volltext
(lizenzpflichtig)
Author information:
Bjørner, Dines 1937-
