CS446 components

Elements of current practice
- Specification of software, and its formalization
- Design of a solution, and its validation
- Implementation, with a focus on large scale and distribution
- Testing, Maintenance, Reuse
Stanford projects that address some of these issues
- Rapide - Design and its simulation
- CHAIMS - Implementation by composition