Del 252 - 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

Av Dines Bjorner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold, Dines Bjørner

729 kr

Beställningsvara. Skickas inom 7-10 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
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor422
Upplaga1987
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
EAN9783540176541

Du kanske också är intresserad av

VDM '90. VDM and Z - Formal Methods in Software Development

Del 428

VDM '90. VDM and Z - Formal Methods in Software Development

Dines Bjorner, C. A. R. Hoare, Hans Langmaack, Dines Bjørner, C. a. R. Hoare, C.A.R. Hoare

729 kr

Towards a Formal Description of Ada

Del 98

Towards a Formal Description of Ada

Dines Bjorner, O. N. Oest, D. Bjorner, D Bjorner, O.N. Oest

1 449 kr

Computer Science and Its Applications

Del 456

Computer Science and Its Applications

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

1 449 kr

Formal Techniques for Data Base Design

Formal Techniques for Data Base Design

Antonio L. Furtado, Erich J. Neuhold

729 kr

Information and Communication Technology

Information and Communication Technology

Linawati, Made Sudiana Mahendra, Erich J. Neuhold, A Min Tjoa, Ilsun You

1 449 kr

Future Data and Security Engineering

Future Data and Security Engineering

Tran Khanh Dang, Roland Wagner, Josef Küng, Nam Thoai, Makoto Takizawa, Erich J. Neuhold, Josef Kung

729 kr

Future Data and Security Engineering

Future Data and Security Engineering

Tran Khanh Dang, Roland Wagner, Erich J. Neuhold, Makoto Takizawa, Josef Küng, Nam Thoai

729 kr

Computer Science and Its Applications

Del 456

Computer Science and Its Applications

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

1 449 kr

Formal Description of Programming Concepts

Formal Description of Programming Concepts

Erich J. Neuhold, Manfred Paul, Erich Neuhold

1 449 kr

Computer, Communication, and Signal Processing

Del 651

Computer, Communication, and Signal Processing

Erich J. Neuhold, Xavier Fernando, Joan Lu, Selwyn Piramuthu, Aravindan Chandrabose

1 729 kr

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.