VDM '87 VDM — A Formal Method at Work | Zendy

D Barstow | Zendy; W Brauer | Zendy; P Brinch | Zendy; Hansen Gries | Zendy; D Luckham | Zendy; C Moler | Zendy; A Pnueti | Zendy; G Seegm ller | Zendy; Josef Stoer | Zendy; Niklaus Wirth | Zendy; Erich Neuhoid | Zendy; Druckhaus Beitz | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

VDM '87 VDM — A Formal Method at Work

Author(s) -

D Barstow,

W Brauer,

P Brinch,

Hansen Gries,

D Luckham,

C Moler,

A Pnueti,

G Seegm ller,

Josef Stoer,

Niklaus Wirth,

Erich Neuhoid,

Druckhaus Beitz

Publication year - 1987

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/3-540-17654-3

Subject(s) - programming language , computer science , software engineering

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research