Go backward to
Concept Development
Go up to
1 Theory
Go forward to
Methodology
Formalization
Semantics
Project: Formalize the semantics of STL
Performance
Project: Formalize the performance requirements of STL
Open Problem: Develop a better way of expressing performance requirements than O-notation
