Software
Computing
Rodin tool
Michael Butler
Rodin
Object Process Methodology
Eclipse
Systems engineering
B-Method
Formal methods
Programming tool