Prev Up Next
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

  •  

    Prev Up Next