Skip to main content
SpringerLink
Log in

Prospects of new tools for software development

  • Software Engineering: Tools And Languages
  • Conference paper
  • First Online:
Trends in Information Processing Systems (ECI 1981)

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

Included in the following conference series:

Abstract

New tools for software development can only evolve from a better mathematical and practical understanding of the activity of programming. The proper separation of concerns within the development process into the phases of problem analysis, problem specification, algorithmic design, and implementation should result in better understandable, more reliable and more easily modifiable software systems. New trends such as abstraction (abstract data types) and deliberate ambiguity (nondeterminism) may considerably increase the flexibility of this approach. Methods of formally justified refinement (program transformations) assure the correctness of the software and help in documenting the design decisions. Based on these concepts pratical tools for software development can be envisaged such as interactive development support systems.

This research has been carried out within the Sonderforschungsbereich 49 — Programmiertechnik — Munich

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Formal Definition of the Green Programming Language. Preliminary Draft, Cii-Honeywell Bull, April 1979

    Google Scholar 

  2. F.L. Bauer: A Trend for the Next 10 Years of Software Engineering. In: Software Engineering, Academic Press 1980

    Google Scholar 

  3. F.L. Bauer, M. Broy (eds.): Program Construction. Lecture Notes in Computer Science 69, Berlin-Heidelberg-New York: Springer 1979

    Google Scholar 

  4. F.L. Bauer, H. Wössner: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981

    Google Scholar 

  5. M. Broy: Transformation parallel ablaufender Programme. Technische Universität München, Dissertation an der Fakultät für Mathematik 1980. See also: Technische Universität München, Institut für Informatik, TUM-I8001, February 1980

    Google Scholar 

  6. M. Broy: A Fixed Point Oriented Approach to Applicative Multiprogramming. International Summer School on Theoretical Foundations of Programming Methodology, Marktoberdorf 1981

    Google Scholar 

  7. M. Broy, P. Pepper: Programming as a Formal Activity, IEEE Transaction on Software Engineering SE-7:1, Jan. 1981, 14–22

    Google Scholar 

  8. M. Broy, M. Wirsing: Initial Versus Terminal Algebra Semantics for Partially Defined Abstract Types. Technische Universität München, Institut für Informatik, TUM-I8018, December 1980

    Google Scholar 

  9. M. Broy, P. Pepper, M. Wirsing: On Design Principles for Programming Languages: An Algebraic Approach. International Symposium on Algorithmic Languages, Amsterdam, October 1981

    Google Scholar 

  10. A.W. Burks: Programming and Structure Changes in Parallel Computers. In: W. Händler (ed.): CONPAR 81, Lecture Notes in Computer Science 111, Berlin-Heidelberg-New York: Springer 1981, 1–24

    Google Scholar 

  11. Report on a Wide Spectrum Language for Program Specification and Development. Technische Universität München, Institut für Informatik, TUM-I8104, May 1981

    Google Scholar 

  12. Programming in a Wide Spectrum Language: A Collection of Examples. Science of Computer Programming (to appear)

    Google Scholar 

  13. A.P. Ershov: Mixed Computation: Potential Applications and Problems for Study. Theoretical Computer Science (to appear)

    Google Scholar 

  14. J.V. Guttag: The Specification and Application to Programming of Abstract Data Types. Ph.D.Th., Univ. of Toronto, Dept. of Comp. Sci., Rep. CSRG-59, 1975

    Google Scholar 

  15. J.V. Guttag, E. Horowitz, D.R. Musser: The Design of Data Type Specifications. Proc. of the 2nd Int. Conf. on Soft. Engineering, Oct. 13–15 1976, San Francisco, Cal., IEEE 1976, 414–420

    Google Scholar 

  16. W. Hesse: Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und Oberblick. In: G. Goos (ed.): Werkzeuge der Programmiertechnik. Informatik-Fachberichte 43, Berlin-Heidelberg-New York: Springer 1981, 113–153

    Google Scholar 

  17. C.A.R. Hoare: Communicating Sequential Processes. Comm. ACM 21:8, Aug. 1978, 666–677

    Article  Google Scholar 

  18. D.J. Kuck: Automatic Program Restructuring for High-Speed Computation. In: W. Händler (ed.): CONPAR 81, Lecture Notes in Computer Science 111, Berlin-Heidelberg-New York: Springer 1981, 66–84

    Google Scholar 

  19. A. Laut: Darstellung kontextfreier Grammatiken als Rechenstrukturen und ihre Verwendung für die Transformation von Programmen. Technische Universität München, Institut für Informatik (to appear)

    Google Scholar 

  20. R. Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science 92, Berlin-Heidelberg-New York: Springer 1980

    Google Scholar 

  21. H. Partsch, M. Broy: Examples for Change of Types and Object Structure. In: /Bauer, Broy 79/, 421–463

    Google Scholar 

  22. H. Partsch, R. Steinbrüggen: A Comprehensive Study on Program Transformation Systems. Technische Universität München, Institut für Informatik, I-8108, July 1981

    Google Scholar 

  23. E. Schoneberg, J.T. Schwartz, M. Sharir: An Automatic Technique for Selection of Data Representations in SETL programs. ACM TOPLAS 3:2, April 1981, 126–143

    Google Scholar 

  24. D.S. Scott, C. Strachey: Towards a Mathematical Semantics for Computer Languages. Technical Monograph PRG-6, Programming Research Group, University of Oxford 1971

    Google Scholar 

  25. A.I. Wassermann: Toward the Engineering of Software: Problems of the 1980's. Proc. of the Conference on Computing in the 1980's, IEEE 1978, 38–50

    Google Scholar 

  26. M. Wirsing, M. Broy: An Analysis of Semantic Models for Algebraic Specifications. Lecture at the International Summer School on the Theoretical Foundations of Programming Methodology, Marktoberdorf 1981 (to appear)

    Google Scholar 

  27. M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On Hierarchies of Abstract Data Types. Technische Universität München, Institut für Informatik, TUM-I8008, May 1980

    Google Scholar 

  28. W.A. Wulf: Trends in the Design and Implementation of Programming Languages. Proc. of the Conference on Computing in the 1980's, IEEE 1978, 61–71

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 20 24 20, D-8000, München 2

    Manfred Broy

Authors
  1. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Arie Duijvestijn Peter Christian Lockemann

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Broy, M. (1981). Prospects of new tools for software development. In: Duijvestijn, A., Lockemann, P.C. (eds) Trends in Information Processing Systems. ECI 1981. Lecture Notes in Computer Science, vol 123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10885-8_34

Download citation

  • DOI: https://doi.org/10.1007/3-540-10885-8_34

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-38794-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation