bokomslag VDM '87. VDM - A Formal Method at Work
Data & IT

VDM '87. VDM - A Formal Method at Work

Dines Bjorner Cliff Jones Michael Mac An Airchinnigh Erich J Neuhold

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 422 sidor
  • 1987
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.

  • Författare: Dines Bjorner, Cliff Jones, Michael Mac An Airchinnigh, Erich J Neuhold
  • Format: Pocket/Paperback
  • ISBN: 9783540176541
  • Språk: Engelska
  • Antal sidor: 422
  • Utgivningsdatum: 1987-03-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K