Fellow
United Kingdom – 1995
CITATION

A longstanding originator and promoter of formal and rigorous methods for software design and construction, especially the Vienna Development Method (VDM).