Formal methods
Computing
Alloy
Massachusetts Institute of Technology
Z notation
Software engineering
Modeling languages
Object Process Methodology
Economic model