Schlagwort(e):
Computer science
;
Computer software Development
;
Congresses
;
Computer software industry Congresses
;
Software engineering
;
Computer Science
;
Software Engineering
;
Konferenzschrift 1987
;
VDM
Beschreibung / Inhaltsverzeichnis:
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.
Materialart:
Online-Ressource
Seiten:
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
URL:
http://www.springerlink.com/content/t30584v412u6
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-17654-1
URL:
http://dx.doi.org/10.1007/3-540-17654-3
URL:
https://doi.org/10.1007/3-540-17654-3
URL:
https://zbmath.org/?q=an:0646.68006
URL:
https://external.dandelon.com/download/attachments/dandelon/ids/DE0042EF55400996920CEC12579BF0049BC7E.pdf
DOI:
10.1007/3-540-17654-3
Sprache:
Englisch
Anmerkung:
Literaturangaben
Permalink