Related Topics
Correctness (QM.1.3)
Architecture Description Languages
Cleanroom Software Engineering
Module Interconnection Languages
Software Inspections