Skip to main content
SpringerLink
Log in
Book cover

The Generic Development Language Deva

Presentation and Case Studies

  • Book
  • © 1993

Overview

Authors:
  1. Matthias Weber
    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Martin Simons
    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Christine Lafontaine
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 738)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    Pages 1-11

  3. Informal introduction to Deva

    Pages 13-43

  4. Stepwise definition of Deva

    Pages 45-93

  5. Formalization of basic theories

    Pages 95-127

  6. Case study on VDM-style developments

    Pages 129-180

  7. Case study on algorithm calculation

    Pages 181-211

  8. Conclusion

    Pages 213-219

  9. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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 monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here to express propositions such as specifications or programs, rather than just data classes. Its practical applicability was tested on several non-trivial case studies. The whole book is written using the DVWEB system, a WEB for Deva, beeing implemented at the Berlin University of Technology.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation