VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

AvDines Bjørner,Cliff Jones

Häftad, Engelska, 1987

Del i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1987-03-11
Mått:155 x 235 x 24 mm
Vikt:657 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:422
Upplaga:1987
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540176541

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

Seawater-Sediment Interactions in Coastal Waters

Jan Rumohr, Eckart Walger, Bernt Zeitzschel

Häftad

536 kr

Del 1239

Diophantine Approximations and Value Distribution Theory

Paul Alan Vojta

Häftad

303 kr

Analysis of Metallurgical Failures

Vito J. Colangelo, Francis A. Heiser

Inbunden

3 267 kr

Theseus

Wolfgang Hübner, Gregor Lux-Mülders, Matthias Muth

Häftad

567 kr

Unobstructed Shortest Paths in Polyhedral Environments

Varol Akman

Häftad

536 kr

Social Change and Personality

M. B. Ed Freedman, Mervin B. Freedman

Häftad

1 034 kr

Entwicklungstests für das Säuglings-, Kleinkind- und Vorschulalter

Beate Rennen-Allhoff, Peter Allhoff

Häftad

821 kr

Del 21

Topographic Waves in Channels and Lakes on the f-Plane

Thomas Stocker, Kolumban Hutter

Häftad

536 kr

Computer Science and Its Applications

Abdelmalek Amine, Ladjel Bellatreche, Zakaria Elberrichi, Erich J. Neuhold, Robert Wrembel

Inbunden

1 096 kr

Formal Techniques for Data Base Design

Antonio L. Furtado, Erich J. Neuhold

Häftad

552 kr