The Generic Development Language Deva Presentation and Case Studies
This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this mon...
Main Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1993, 1993
|
Edition: | 1st ed. 1993 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Informal introduction to Deva
- Stepwise definition of Deva
- Formalization of basic theories
- Case study on VDM-style developments
- Case study on algorithm calculation
- Conclusion