Skip to main content
SpringerLink
Log in

Generische Sprachen in Systemen zur formalen Softwareentwicklung — Extended Abstract —

  • Conference paper
Informatik — Wirtschaft — Gesellschaft

Part of the book series: Informatik aktuell ((INFORMAT))

Zusammenfassung

Das vollständige, aus Kostengründen hier nicht veröffentlichte Papier kann bei den Autoren bezogen werden.

Diese Arbeit wird gefördert im Rahmen des BMFT-Verbundprojektes KORSO (Korrekte Software)

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Maya Biersack, Robert Raschke, and Martin Simons. DevaWeB: A WEB-like documentation system for Deva. Technical report, Dept. of Computer Science, Technical University of Berlin, 1993. Forthcoming.

    Google Scholar 

  2. Martin Beyer and Matthias Weber. Library of basic theories. Technical report, Dept. of Computer Science, Technical University of Berlin, 1993. Forthcoming.

    Google Scholar 

  3. R.L. Constable, S.F. Allen, H.M. Bromley, W.R. Cleaveland, J.F. Cremer, R.W. Harper, D.J. Howe, T.B. Knoblock, N.P. Mendier, P. Panagaden, J.T. Sasaki, and S.F. Smith. Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall, 1986.

    Google Scholar 

  4. N.G. de Bruijn. A survey of the project AUTOMATH. In J.P. Seldin and J.R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 579–606. Academic Press, 1980.

    Google Scholar 

  5. Robert Harper, Furio Honsell, and Gordon Plotkin. A framework for defining logics. Journal of the ACM, 40(1):143–184, January 1993.

    Article  Google Scholar 

  6. C.B. Jones, K.D. Jones, P.A. Lindsay, and R. Moore, mural: A Formal Development Support System. Springer, 1991.

    Book  Google Scholar 

  7. Zhaohui Luo. Program Specification and Data Refinement in Type Theory. In S. Abramsky and T.S.E. Maibaum, editors, TAPSOFT ’91 Voll, LNCS 493, pages 143–168. Springer, 1991.

    Google Scholar 

  8. R.P. Nederpelt. An approach to theorem proving on the basis of a typed lambda calculus. In W. Bibel and R. Kowalski, editors, 5th Conference on Automated Deduction, LNCS 87, pages 182–194. Springer, 1980.

    Google Scholar 

  9. Lawrence C. Paulson. Logic and Computation, Interactive proof with Cambridge LCF. Cambridge University Press, 1987.

    Book  Google Scholar 

  10. Thomas Santen. Formalization of the SPECTRUM methodology in DEVA: Signature and logical calculus. Technical Report 93–04, Dept. of Computer Science, Technical University of Berlin, 1993.

    Google Scholar 

  11. M. Sintzoff, M. Weber, P. de Groote, and J. Cazin. Definition 1.1 of the generic development language Deva. Tooluse research report, Unité d’ Informatique, Université Catholique de Louvain, 1989.

    Google Scholar 

  12. Matthias Weber. A Meta-Calculus for Formal System Development. Oldenbourg Verlag, 1991.

    Google Scholar 

  13. Matthias Weber, Martin Simons, and Christine Lafontaine. The generic development language Deva: Presentation and case studies. To appear in Springer LNCS, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Softwaretechnik, TU Berlin, Sekr. FR 5-6, Franklinstraße 28/29, 10587, Berlin, Deutschland

    Matthias Anlauff, Martin Beyer & Thomas Santen

Authors
  1. Matthias Anlauff
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Beyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thomas Santen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Theoretische Informatik, Technische Universität Dresden, Mommsenstr. 13, 01069, Dresden, Deutschland

    Horst Reichel

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Anlauff, M., Beyer, M., Santen, T. (1993). Generische Sprachen in Systemen zur formalen Softwareentwicklung — Extended Abstract —. In: Reichel, H. (eds) Informatik — Wirtschaft — Gesellschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78486-6_39

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-78486-6_39

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57192-6

  • Online ISBN: 978-3-642-78486-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation