Ebook: VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

---

Content:
Front Matter....Pages -
VDM: Origins, hopes, and achievements....Pages 1-18
Experience using VDM in STC....Pages 19-32
VDM in three generations of Ada formal descriptions....Pages 33-48
Experience with VDM in NORSK DATA....Pages 49-62
Using VDM in an Object-Oriented development method for Ada software....Pages 63-76
The stepwise development of software development graphs — Meta-programming VDM developments....Pages 77-96
Heap storage specification and development....Pages 97-105
VDM as a specification method for telecommunications software....Pages 106-109
Support environments for VDM....Pages 110-117
Development and application of a META IV compiler....Pages 118-140
From VDM to RAISE....Pages 141-150
Denotational engineering or from denotations to syntax....Pages 151-209
A type model for VDM....Pages 210-236
A formal description of object-oriented programming using VDM....Pages 237-259
VDM proof obligations and their justification....Pages 260-286
Mathematical structures and their morphisms in Meta-IV....Pages 287-320
Objectives of the British Standardisation of a language to support the Vienna development method....Pages 321-323
Use of VDM within CCITT....Pages 324-330
A formal semantics for a DataFlow Machine — Using VDM....Pages 331-355
Introduction to the VDM tutorial....Pages 356-361
Specification by data types....Pages 362-388
Data reification and program decomposition....Pages 389-422

---

Content:
Front Matter....Pages -
VDM: Origins, hopes, and achievements....Pages 1-18
Experience using VDM in STC....Pages 19-32
VDM in three generations of Ada formal descriptions....Pages 33-48
Experience with VDM in NORSK DATA....Pages 49-62
Using VDM in an Object-Oriented development method for Ada software....Pages 63-76
The stepwise development of software development graphs — Meta-programming VDM developments....Pages 77-96
Heap storage specification and development....Pages 97-105
VDM as a specification method for telecommunications software....Pages 106-109
Support environments for VDM....Pages 110-117
Development and application of a META IV compiler....Pages 118-140
From VDM to RAISE....Pages 141-150
Denotational engineering or from denotations to syntax....Pages 151-209
A type model for VDM....Pages 210-236
A formal description of object-oriented programming using VDM....Pages 237-259
VDM proof obligations and their justification....Pages 260-286
Mathematical structures and their morphisms in Meta-IV....Pages 287-320
Objectives of the British Standardisation of a language to support the Vienna development method....Pages 321-323
Use of VDM within CCITT....Pages 324-330
A formal semantics for a DataFlow Machine — Using VDM....Pages 331-355
Introduction to the VDM tutorial....Pages 356-361
Specification by data types....Pages 362-388
Data reification and program decomposition....Pages 389-422
....