Skip to main content
SpringerLink
Log in
Book cover

Software-Engineering für Programmierer pp 165–198Cite as

Entwurf der Prozeduren

  • Chapter

  • 48 Accesses

Zusammenfassung

Wenn wir die klassischen Unterscheidungen zwischen Daten und Code sowie zwischen statischer und dynamischer Betrachtungsweise in Tabellenform anordnen mit den Dimensionen:

  • aktive/passive Einheiten

  • dynamische/statische Beziehungen

erhalten wir ein mögliches Klassifikationsschema für Entwurfsmethoden.

“The mass of tedious detail that is involved in a formal correctnes proof of even a moderatly complex algorithm is beyond the limits of human toleration; and, alas, at the present state of the art of automatic theorem proving the prospects of obtaining correctness proofs automatically or semi-automatically are rather bleak.”

Richard M. Karp, Communications of the ACM, 32(1989)12, p. 1411

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   44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.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.

Literaturhinweise

8 Entwurf der Prozeduren

  • Bergland, G. D., 1981: “A Guided Tour of Program Design Methodologies”, Computer, Oct. 1981, pp. 18–37

    Google Scholar 

  • Hesse, W., 1981: “Methoden und Werkzeuge zur Software-Entwicklung–Ein Marsch durch die Technologie-Landschaft”, Informatik-Spektrum, 4, S. 229–245

    Google Scholar 

  • Orr, K.; Gane, C.; Yourdon, E.; Chen, P. P.; Constantine, L. L.; 1989: “Methodology: The Experts Speak”, BYTE, Vol. 14, No. 4, pp. 221–233

    Google Scholar 

  • Booch, G., 1983: Software Engineering with Ada, Menlo Park (Calif.) Booch, G., 1986: “Object oriented development”, IEEE Transactions on Software Engineering, Vol. SE-12, No. 2, pp. 211–221

    Google Scholar 

  • Cox, B. J., 1986: Object-Oriented Programming: An Evolutionary Approach, Reading (Mass. )

    Google Scholar 

  • Sutcliffe, A. G., 1991: “Object-oriented systems development: survey of structured methods”, Information and Software Technology, Vol. 33, No. 6, pp. 433–442

    Article  MathSciNet  Google Scholar 

  • Meyer, B., 1990: Objektorientierte Softwareentwicklung, aus dem Amerikanischen übersetzt von Werner Simonsmeier, München, Wien, London

    Google Scholar 

8.1 Kontrollstrukturorientierung

  1. Wirth, N., 1985 (5. Aufl.): Systematisches Programmieren, Stuttgart, (Leitfäden der angewandten Mathematik und Mechanik 17 ), S. 120–147

    Google Scholar 

  2. Wirth, N., 1971: “Program Development by Stepwise Refinement”, Com-munications of the ACM, 14, 4, pp. 221–227

    Article  MATH  Google Scholar 

  3. Rajlich, V., 1985: “Stepwise refinement revisited”, Journal of System Software, Vol. 5, No. 1, pp. 80–88

    MathSciNet  Google Scholar 

  4. Rajlich, V., 1987: “Refinement Methodology for Ada”, IEEE Transactions on Software Engineering, Vol. SE-13, No. 4, pp. 472–478

    Article  Google Scholar 

  5. Böhm, C.; Jacopini, G., 1966: “Flow Diagrams, Turing Machines, And Languages with only two formation rules”, Communications of the ACM, 9, 366–371

    Google Scholar 

  6. Stetter, F., 1987 (4. Auflage): Software-Technologie, Eine Einführung, Mannheim, (Reihe Informatik 33 ), S. 44–55

    Google Scholar 

  7. Weber, E., 1987: Software Engineering nach dem GIPSY-Modell, München, S. 45–58 und 213–234

    Google Scholar 

  8. Datenflußorientierung

    Google Scholar 

  9. Stevens, W. P.; Myers, G. J., Constantine, L. L., 1974: “Structured Design”, IBM Systems Journal, 2, pp. 115–139

    Article  Google Scholar 

  10. Yourdon, E. N.; Constantine, L. L., 1979: Structured Design. Fundamentals of a Discipline of Computer Program and Systems Design, New York (zuerst 1975 )

    Google Scholar 

  11. Myers, G. J., 1978: Composite/structured Design, New York

    Google Scholar 

  12. Raasch, J., 1991: Systementwicklung mit strukturierten Methoden, Ein Leitfaden für Praxis und Studium, Mit 270 Bildern, München, Wien

    Google Scholar 

  13. Maynard, J., 1972: Modular Programming, London

    Google Scholar 

  14. Weber, E., 1987: Software Engineering nach dem GIPSY-Modell, München, S. 59–67, 82–84

    Google Scholar 

  15. Murphy, J. S.; Ballee, K. G., 1989: Software Diagramming, New York (Software Engineering Series )

    Google Scholar 

8.3 Datenstrukturorientierung

  • K. T., 1977: Structured Systems Development, New York

    Google Scholar 

  • Loczewski, P. G., 1980: Logik der Strukturierung von Programmen. Programmentwicklung nach Warnier, München

    Google Scholar 

  • Jackson Structured Programming (JSP) wurde zuerst 1975 Jackson, M. A., 1985 (6. Auflage): Grundsätze des Programmentwurfs, Darmstadt

    Google Scholar 

  • Die seit 1986 angekündigte Übersetzung des Buches über Jackson System Development (JSD) ist noch nicht erschienen

    Google Scholar 

  • Jackson, M. A., 1982: System Development, Englewood Cliffs, New Jersey

    Google Scholar 

  • Ingevaldson, L, 1980: JSP: a practical method of program design, Lund Cameron, J. R., 1986: “An Overview of JSD”, IEEE Transactions on Software Engineering, Vol SE-12, No. 2, pp. 222–240

    Google Scholar 

  • Sutcliffe, A. G., 1988: Jackson System Development, Englewood Cliffs, New Jersey

    MATH  Google Scholar 

  • Cameron, J. R., 1989 (2nd. ed.): JSP and JSD: the Jackson approach to software development, Washington

    Google Scholar 

  • Borgers, M., 1991: “Contribution to further development of JSD”, Information and Software Technology, Vol. 33, No. 5, pp. 321–334

    Article  Google Scholar 

  • Kilberth, K. 1988: JSP, Einführung in die Methode des Jackson Structured Programming, Mit einem Geleitwort von Michael Jackson, Braunschweig, Wiesbaden

    Google Scholar 

8.4 Kontrollstrukturorientierung

  • Floyd, R. W., 1967: “Assigning meanings to programs”, Proc. Symp. on Appl. Math., 19 ( Mathematical Aspects of Computer Science ), New York

    Google Scholar 

  • Hoare, C. A. R., 1969: “An axiomatic basis of computer programming”, Communications of the ACM, 12, 10, pp. 576–583

    Article  MATH  Google Scholar 

  • Dijkstra, E. W., 1968: “A constructive approach to the problem of program correctness”, BIT, 8, pp. 174–186

    Article  MATH  Google Scholar 

  • Magic, S.; Arbib, M. A., 1978 (2. Auflage): The Design of Well-structured and Correct Programs, New York, Heidelberg, Berlin, ( Texts and Monographs in Computer Science )

    Google Scholar 

  • Backhouse, R. C., 1989: Programmkonstruktion und Verifikation, München, Wien, London

    Google Scholar 

  • Loeckx, J.; Sieber, K., 1987 (2. Auflage): The Foundations of Program Verification, Chichester, New York et al., (Wiley-Teubner Series in Computer Science)

    Google Scholar 

  • De Millo, R.; Lipton, R.; Perlis, A., 1979: “Social Processes and proofs of theorems and programs”, Communications of the ACM, 22, 5, pp. 271–280

    Article  Google Scholar 

  • Fetzer, J. H., 1988: “Program Verification: the very idea”, Communications of the ACM, 31, 9, pp. 1048–1063

    Article  Google Scholar 

  • Davis, P. J.; Hersch, R.; 1988: Descartes’ Traum, Über die Mathematisierung von Zeit und Raum, Frankfurt (S. 96 zu Beweisen, das Zitat auf S. 107 )

    Google Scholar 

Download references

Authors
  1. Heinz Knoth
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden

About this chapter

Cite this chapter

Knoth, H. (1992). Entwurf der Prozeduren. In: Software-Engineering für Programmierer. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-87795-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-87795-6_9

  • Publisher Name: Vieweg+Teubner Verlag

  • Print ISBN: 978-3-528-05103-7

  • Online ISBN: 978-3-322-87795-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation