VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
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-ori…
Mehr
CHF 126.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Jones, Cliff (Hrsg.) / Mac An Airchinnigh, Michael (Hrsg.) / Neuhold, Erich J. (Hrsg.)
- ISBN: 978-3-540-17654-1
- EAN: 9783540176541
- Produktnummer: 3249341
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1987
- Seitenangabe: 436 S.
- Masse: H24.2 cm x B16.4 cm x D2.9 cm 701 g
- Auflage: 1987
- Abbildungen: Paperback
- Gewicht: 701
10 weitere Werke von Dines (Hrsg.) Bjørner:
Logics of Specification Languages
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Ebook (PDF Format)
CHF 230.00
Perspectives of System Informatics
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Ebook (PDF Format)
CHF 133.50
Perspectives of System Informatics
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Ebook (PDF Format)
CHF 146.50
Bewertungen
Anmelden