Engineering methods
C7. Develop design techniques to engineer, model, and debug pervasive systems
Systematically model correctness, robustness, performance
Compiler techniques to help software development in distributed, embedded systems
Communication modes between loosely-coupled component systems
- Diversity of languages, object models, philosophy