Skip to main content
SpringerLink
Log in
Book cover

Wissensbasierte Systeme pp 58–69Cite as

Rechnergestützte Systeme für den Programmentwurf

  • Conference paper

  • 55 Accesses

Part of the book series: Informatik-Fachberichte ((2252,volume 112))

Zusammenfassung

Der Entwurf von Programmen entspricht in weiten Teilen der Modellierung und Deduktion in formalen Kalkülen. Sowohl die Programmfragmente, als auch die Umformungsregeln können als formale Objekte verstanden werden. Damit sind sie formaler (deduktiver) Manipulation zugänglich, die durch rechnergestützte Systeme unterstützt werden kann. Konzeption, Einsatzmöglichkeiten und die Leistungsfähigkeit rechnergestützter Systeme für den Programmentwurf werden diskutiert.

Diese Arbeit entstand teilweise im Rahmen des Sonderforschungsbereich 49, Programmiertechnik und der ESPRIT Projekte Meteor und Prospectra

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner, B. Möller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing: The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Berlin-Heidelberg-New York-Tokyo: Springer 1985

    Google Scholar 

  2. P. Rechenberg (Gasthrg.): Schwerpuriktthema: Werkzeuge der Softwaretechnik. Elektronische Rechenanlagen 27: 2, 1985

    Google Scholar 

  3. H. Hussmann: Rapid Prototyping for Algebraic Specifications — RAP System User’s Manual. Universität Passau, Fakultät fur Mathematik und Informatik, MIP 8504, 1985

    Google Scholar 

  4. J. Nievergelt: Die Gestaltung der Mensch-Maschine Schnittstelle. In: I. Kupka (Hrsg.): GI-13. Jahrestagung. Informatik-Fachberichte 73, Berlin-Heidelberg-New York-Tokyo: Springer 1983, 41–50

    Google Scholar 

  5. P. Pepper (ed.): Program Transformation and Programming Environments. Berlin-Heidelberg-New York-Tokyo: Springer 1984

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät für Mathematik, Informatik Universität Passau, Postfach 2540, 839, Passau, Germany

    Manfred Broy

Authors
  1. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik der TU München, Arcisstr. 21, 8000, München 2, Germany

    W. Brauer

  2. Fachbereich Informatik, Universität Hamburg, Schlüterstr. 70, 2000, Hamburg 13, Germany

    B. Radig

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Broy, M. (1985). Rechnergestützte Systeme für den Programmentwurf. In: Brauer, W., Radig, B. (eds) Wissensbasierte Systeme. Informatik-Fachberichte, vol 112. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70840-4_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-70840-4_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15999-5

  • Online ISBN: 978-3-642-70840-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation