描述
面向对象系统中质量与变异性的建模与验证问题。模型驱动与测试驱动方法中的可测试模型。系统族工程。功能一致性：场景建模与验证、契约式设计。对非功能性需求的一致性：目标、力与权衡、度量。
原文参考文本
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/