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