UID:
almahu_9948621368902882
Format:
XI, 422 p.
,
online resource.
Edition:
1st ed. 1987.
ISBN:
9783540477402
Series Statement:
Lecture Notes in Computer Science, 252
Note:
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.
In:
Springer Nature eBook
Additional Edition:
Printed edition: ISBN 9783662166529
Additional Edition:
Printed edition: ISBN 9783540176541
Language:
English
DOI:
10.1007/3-540-17654-3
URL:
https://doi.org/10.1007/3-540-17654-3
