The ACM Computing Classification System (1991)

B.3.3 Performance Analysis and Design Aids

• Formal models
• Simulation
• Worst-case analysis