TY - GEN
T1 - Mathematics of software engineering
AU - Broy, Manfred
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1995.
PY - 1995
Y1 - 1995
N2 - Software engineering incorporates technical and organizational aspects. Technically, in software engineering we work with a development method and with description techniques, with modeling and implementation techniques. Mathematical techniques can provide a scientific basis for software engineering. They lead to a deeper understanding of the development process and a more powerful tool support. For finding the best mathematical foundation, we need a clear recognition of the economical and technical benefits of mathematical concepts in software engineering. This requires a careful analysis of the role of mathematics and logic in software engineering. We show, how software engineering methods can be backed up by mathematical techniques. We discuss the benefits that go far beyond so called formal methods for the formal specification and verification of software.
AB - Software engineering incorporates technical and organizational aspects. Technically, in software engineering we work with a development method and with description techniques, with modeling and implementation techniques. Mathematical techniques can provide a scientific basis for software engineering. They lead to a deeper understanding of the development process and a more powerful tool support. For finding the best mathematical foundation, we need a clear recognition of the economical and technical benefits of mathematical concepts in software engineering. This requires a careful analysis of the role of mathematics and logic in software engineering. We show, how software engineering methods can be backed up by mathematical techniques. We discuss the benefits that go far beyond so called formal methods for the formal specification and verification of software.
UR - http://www.scopus.com/inward/record.url?scp=84958756984&partnerID=8YFLogxK
U2 - 10.1007/3-540-60117-1_3
DO - 10.1007/3-540-60117-1_3
M3 - Conference contribution
AN - SCOPUS:84958756984
SN - 3540601171
SN - 9783540601173
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 18
EP - 48
BT - Mathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings
A2 - Moller, Bernhard
PB - Springer Verlag
T2 - 3rd International Conference on Mathematics of Program Construction, MPC '95
Y2 - 17 July 1995 through 21 July 1995
ER -