Journal article
Formal methods versus engineering
Abstract
Classical engineering is based on solid scientific and mathematical foundations, but neither the science, nor the mathematics, is simply borrowed from the scientists or the mathematicians. Engineers develop their own formulations of the relevant science and mathematics, adapted to support the engineering knowledge used in design of artefacts. There are many formulations of the same science and mathematics, as classical engineering is highly …
Authors
Maibaum T
Journal
ACM SIGCSE Bulletin, Vol. 41, No. 2, pp. 6–12
Publisher
Association for Computing Machinery (ACM)
Publication Date
June 25, 2009
DOI
10.1145/1595453.1595455
ISSN
0097-8418