TY - GEN
T1 - Prospects of new tools for software development
AU - Broy, Manfred
N1 - Publisher Copyright:
© by Springer-Verlag Berlin Heidelberg 1981.
PY - 1981
Y1 - 1981
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/0019693075
U2 - 10.1007/3-540-10885-8_34
DO - 10.1007/3-540-10885-8_34
M3 - Conference contribution
AN - SCOPUS:0019693075
SN - 9783540108856
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 106
EP - 121
BT - Trends in Information Processing Systems - Conference of the European Cooperation in Informatics, Proceedings
A2 - Lockemann, Peter Christian
A2 - Duijvestijn, Arie
PB - Springer Verlag
T2 - 3rd Conference of the European Cooperation in Informatics on Trends in Information Processing Systems, 1981
Y2 - 20 October 1981 through 22 October 1981
ER -