Software -- Overview

Software Engineering within Informatics concentrated on the theme of quality software through formal specification and verification; most of the research and some of the support activities were related to that theme. The activities focus on Theorem Proving, Equational Reasoning, and Formal Specification.

See also:

• Informatics Annual Report 1984-85
• Informatics Annual Report 1985-86
• Informatics Annual Report 1986-87
• Informatics Annual Report 1987-88
• Informatics Annual Report 1988-89
• Informatics Annual Report 1989-90
• RAL Annual Report 1983
• RAL Annual Report 1988
• RAL Annual Report 1991