Advertisement

Prospects of new tools for software development

  • Manfred Broy
Software Engineering: Tools And Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 123)

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.

Keywords

Software Development Computational Structure Type Stream Program Transformation Integral Number 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. /ADA 79/.
    Formal Definition of the Green Programming Language. Preliminary Draft, Cii-Honeywell Bull, April 1979Google Scholar
  2. /Bauer 80/.
    F.L. Bauer: A Trend for the Next 10 Years of Software Engineering. In: Software Engineering, Academic Press 1980Google Scholar
  3. /Bauer, Broy 79/.
    F.L. Bauer, M. Broy (eds.): Program Construction. Lecture Notes in Computer Science 69, Berlin-Heidelberg-New York: Springer 1979Google Scholar
  4. /Bauer, Wössner 81/.
    F.L. Bauer, H. Wössner: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981Google Scholar
  5. /Broy 80/.
    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 1980Google Scholar
  6. /Broy 81/.
    M. Broy: A Fixed Point Oriented Approach to Applicative Multiprogramming. International Summer School on Theoretical Foundations of Programming Methodology, Marktoberdorf 1981Google Scholar
  7. /Broy, Pepper 81/.
    M. Broy, P. Pepper: Programming as a Formal Activity, IEEE Transaction on Software Engineering SE-7:1, Jan. 1981, 14–22Google Scholar
  8. /Broy, Wirsing 80/.
    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 1980Google Scholar
  9. /Broy et al. 81/
    M. Broy, P. Pepper, M. Wirsing: On Design Principles for Programming Languages: An Algebraic Approach. International Symposium on Algorithmic Languages, Amsterdam, October 1981Google Scholar
  10. /Burks 81/.
    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–24Google Scholar
  11. /CIP-L 81/.
    Report on a Wide Spectrum Language for Program Specification and Development. Technische Universität München, Institut für Informatik, TUM-I8104, May 1981Google Scholar
  12. /CIP 81/.
    Programming in a Wide Spectrum Language: A Collection of Examples. Science of Computer Programming (to appear)Google Scholar
  13. /Ershov 81/.
    A.P. Ershov: Mixed Computation: Potential Applications and Problems for Study. Theoretical Computer Science (to appear)Google Scholar
  14. /Guttag 75/.
    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, 1975Google Scholar
  15. /Guttag et al. 76/
    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–420Google Scholar
  16. /Hesse 81/.
    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–153Google Scholar
  17. /Hoare 78/.
    C.A.R. Hoare: Communicating Sequential Processes. Comm. ACM 21:8, Aug. 1978, 666–677CrossRefGoogle Scholar
  18. /Kuck 81/.
    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–84Google Scholar
  19. /Laut 81/.
    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. /Milner 80/.
    R. Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science 92, Berlin-Heidelberg-New York: Springer 1980Google Scholar
  21. /Partsch, Broy 79/.
    H. Partsch, M. Broy: Examples for Change of Types and Object Structure. In: /Bauer, Broy 79/, 421–463Google Scholar
  22. /Partsch, Steinbrüggen 81/.
    H. Partsch, R. Steinbrüggen: A Comprehensive Study on Program Transformation Systems. Technische Universität München, Institut für Informatik, I-8108, July 1981Google Scholar
  23. /Schoneberg et al. 81/
    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–143Google Scholar
  24. /Scott, Strachey 71/.
    D.S. Scott, C. Strachey: Towards a Mathematical Semantics for Computer Languages. Technical Monograph PRG-6, Programming Research Group, University of Oxford 1971Google Scholar
  25. /Wassermann 78/.
    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–50Google Scholar
  26. /Wirsing, Broy 81/.
    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. /Wirsing et al. 80/
    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 1980Google Scholar
  28. /Wulf 78/.
    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–71Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Manfred Broy
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2

Personalised recommendations