PCES PI Meeting
Feb 2001
31
Requirements Revisited
4
Explicit staging via “box” and “let box”
4
Transparency via simple specification
4
Static verification via modal type-checking
4