VDM '87 VDM — A Formal Method at Work [electronic resource] : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings / edited by Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold.

Contributor(s): Bjørner, Dines [editor.] | Jones, Cliff B [editor.] | Mac an Airchinnigh, Mícheál [editor.] | Neuhold, Erich J [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 252Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Description: XI, 422 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540477402Subject(s): Computer science | Software engineering | Computer Science | Software EngineeringAdditional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.758Online resources: Click here to access online
Contents:
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 eBooks
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK6165

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha