Application software
Computing
Software
Alloy
Massachusetts Institute of Technology
Z notation
Ls
ROOT
Specification
Formal specification