Umfang:
Online-Ressource (IX, 422 S.)
Ausgabe:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540477402
Serie:
Lecture notes in computer science 252
Inhalt:
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.
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 3540176543
Weitere Ausg.:
ISBN 0387176543
Weitere Ausg.:
ISBN 9783540176541
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe VDM (1 : 1987 : Brüssel) VDM '87 Berlin [u.a.] : Springer, 1987 ISBN 3540176543
Weitere Ausg.:
ISBN 0387176543
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
VDM
;
Konferenzschrift
DOI:
10.1007/3-540-17654-3
URL:
Volltext
(lizenzpflichtig)
Mehr zum Autor:
Bjørner, Dines 1937-
Bookmarklink
