VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Published on 11. March 1987
Book
Paperback/Softback
XI, 422 pages
978-3-540-17654-1 (ISBN)
Description
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.
More details
Series
Edition
1987 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XI, 422 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 24 mm
Weight
657 gr
ISBN-13
978-3-540-17654-1 (9783540176541)
DOI
10.1007/3-540-17654-3
Schweitzer Classification
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.