Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering11The work reported here was supported by EPSRC, CNPq, DAAD, and the Fundacao Para a Ciencia e a Tecnologia whilst the first author was on leave at Imperial College, the Ludwig-Maximilians-UniversiUit Miinchen, and the University of Lisbon.

Discussions of the role of mathematics in software engineering are common and have probably not changed much over the last few decades. There is now much discussion about the “intuitive” nature of software construction and analogies are drawn (falsely) with graphic design, (conventional) architecture, etc. The conclusion is that mathematics is an unnecessary luxury and that, like these other disciplines, it is not needed in everyday practice. …