Skip to main content
SpringerLink
Log in
Book cover

Formale Modelle für Informationssysteme pp 69–93Cite as

Evolutionärer System-Entwurf

  • Conference paper

  • 57 Accesses

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 21))

Zusammenfassung

Der Entwurf von Software-Systemen wird als eine Entwicklung (Evolution) von formalen Modellen beschrieben, die sich untereinander durch den Grad ihrer Implementierungsnähe, durch ihre Präzision und durch das Maß ihrer Realitätsentsprechung unterscheiden. Nach Darlegung des Prinzipiellen wird die Vorgehensweise an einem Beispiel dargestellt. Dabei wird zugleich eine sehr starke Entwurfssprache demonstriert, die im Rahmen eines Datenstrukturierten Entwurfsverfahrens (DSE) entwickelt wurde. Nebenher zeigt sich, daß diese auf M. Jackson zurückgehende Technik ein integraler Bestandteil des Präzisierungsprozesses ist und von daher ihre methodische Rechtfertigung findet.

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. Parker, John: Design Methodologies — A Comparison. ACM Software Engineering Notes 3, No. 4, October 1978, 12–19.

    Article  Google Scholar 

  2. Jackson, Michael A,: Principles of Program Design. Academic Press (1975).

    Google Scholar 

  3. Warnier, Jean-Dominique: Logical Construction of Programs. H. E. Stenfort Kroese BV 1974.

    Google Scholar 

  4. Orr, Kenneth: Structured Systems Development. New York 1977.

    Google Scholar 

  5. Ehling, Hans-Jürgen und Pfender, Michael: Datenstrukturierter Software-Entwurf. AEG/interner Bericht Z 5612 SB 014/78 (englisch).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Zentralabteilung Softwaretechnologie, AEG Software-Zentrum, Germany

    Hans-Jürgen Ehling

Authors
  1. Hans-Jürgen Ehling
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik II, Universität Karlsruhe, Zirkel 2, 7500, Karlsruhe 1, Germany

    Heinrich C. Mayr

  2. Institut für Angewandte Informatik, Technische Universität Berlin, Kurfürstendamm 202, 1000, Berlin 15, Germany

    Bernd E. Meyer

Rights and permissions

Reprints and permissions

Copyright information

© 1979 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Ehling, HJ. (1979). Evolutionärer System-Entwurf. In: Mayr, H.C., Meyer, B.E. (eds) Formale Modelle für Informationssysteme. Informatik-Fachberichte, vol 21. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67485-3_4

Download citation

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

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09773-0

  • Online ISBN: 978-3-642-67485-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation