The use of mathematics in software engineering
D.L. Pamas · 2000
Logicians may want to consider the following statements: Engineers use mathematics in their Software Engineers do not use mathematics in their What should we conclude from these axioms? would conclude that Software Engineers are not Engineers. Others would conclude that the first statement must be incorrect and should read, All Engineers except Software Engineers use mathematics in their work. They would argue that mathematics is irrelevant in software development. Still others would conclude that, Some of the people who now call themselves Software Engineers are not qualified to do so. Although much of the mathematics developed by Computer Scientists is not very practical, this talk will argue that mathematics can and should play a central role in software engineering. It will show how classical engineering concepts can be applied in software development. 3rd IEEE International Conference on Formal Engineering Methods (ICFEM'00)