Functional Specifications for Old (and New) Software

Engineering is the use of science and technology to build useful artifacts. Those who design computer systems are clearly acting as engineers. However, there are deep differences between the way that computer systems are designed and the way that engineers in other areas work. Mechanical, electrical, and civil engineers make extensive use of mathematics to provide precise descriptions of their products. In contrast, computer systems are usually …