Del i serien Lecture Notes in Computer Science

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

739 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

Jan Rumohr, Eckart Walger, Bernt Zeitzschel

Häftad, 1987

719 kr

Del 1239

Diophantine Approximations and Value Distribution Theory

Paul Alan Vojta

Häftad, 1987

409 kr

Analysis of Metallurgical Failures

Vito J. Colangelo, Francis A. Heiser

Inbunden, 1987

4 369 kr

Theseus

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

Häftad, 1987

769 kr

Unobstructed Shortest Paths in Polyhedral Environments

Varol Akman

Häftad, 1987

719 kr

Social Change and Personality

M. B. Ed Freedman, Mervin B. Freedman

Häftad, 1987

1 399 kr

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

Beate Rennen-Allhoff, Peter Allhoff

Häftad, 1987

1 109 kr

Del 21

Topographic Waves in Channels and Lakes on the f-Plane

Thomas Stocker, Kolumban Hutter

Häftad, 1987

719 kr

Computer Science and Its Applications

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

Inbunden, 2015

1 479 kr

Formal Techniques for Data Base Design

Antonio L. Furtado, Erich J. Neuhold

Häftad, 2011

739 kr

Del i serien Lecture Notes in Computer Science

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

739 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.