Simulation Tracking Object Reference Model (STORM)
Generalized Stochastic Petri Nets
Turing machine
CMMI for Development
Function Point Counting Practices