説明
オブジェクト指向システムにおける品質と可変性のモデリングおよび検証の問題。モデル駆動およびテスト駆動アプローチにおけるテスト可能なモデル。システムファミリ工学。機能適合：シナリオモデリングと検証、契約による設計。非機能要件への適合：目標、力学とトレードオフ、メトリクス。
原語による参照テキスト
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/