VDM '87. VDM - A Formal Method at Work

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

Häftad, Engelska, 1987

AvDines Bjørner,Cliff Jones,Michael Mac An Airchinnigh,Erich J. Neuhold

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1987-03-11
Mått155 x 235 x 24 mm
Vikt657 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor422
Upplaga1987
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540176541

Tillhör följande kategorier

Programvaruutveckling inom Data och it

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

Seawater-Sediment Interactions in Coastal Waters

Jan Rumohr, Eckart Walger, Bernt Zeitzschel

689 kr

Diophantine Approximations and Value Distribution Theory

Diophantine Approximations and Value Distribution Theory

Paul Alan Vojta

389 kr

Analysis of Metallurgical Failures

Analysis of Metallurgical Failures

Vito J. Colangelo, Francis A. Heiser, Colangelo, Heisler, Vito J Colangelo, Francis A Heiser

4 189 kr

Theseus

Theseus

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

729 kr

Unobstructed Shortest Paths in Polyhedral Environments

Unobstructed Shortest Paths in Polyhedral Environments

689 kr

Social Change and Personality

Social Change and Personality

M. B. Ed Freedman, Mervin B. Freedman

1 339 kr

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

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

Beate Rennen-Allhoff, Peter Allhoff

1 059 kr

Topographic Waves in Channels and Lakes on the f-Plane

Topographic Waves in Channels and Lakes on the f-Plane

Thomas Stocker, Kolumban Hutter

689 kr

Computer Science and Its Applications

Computer Science and Its Applications

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

1 409 kr

Formal Techniques for Data Base Design

Formal Techniques for Data Base Design

Antonio L. Furtado, Erich J. Neuhold

709 kr