課程說明
在物件導向系統中對品質與變異性的建模與驗證議題。可測試模型於模型驅動與測試驅動方法。系統族工程。功能一致性：場景建模與驗證、以契約設計。對非功能需求的一致性：目標、力與取捨、度量。
原文參考文本
Issues in modeling and verifying quality and variability in object-oriented systems. Testable models in model-driven and test-driven approaches. System family engineering. Functional conformance: scenario modeling and verification, design by contract. Conformance to non functional requirements: goals, forces and tradeoffs, metrics.
來源與參考
保留日期與來源以協助你核實資料。為便於閱讀提供譯文；官方來源為條件與要求的參照。
來源參考 : https://calendar.carleton.ca/grad/courses/COMP/