Описание
Проблемы моделирования и верификации качества и вариативности в объектно-ориентированных системах. Тестируемые модели в модельно-ориентированных и тестово-ориентированных подходах. Инжиниринг семейств систем. Функциональная соответствие: моделирование сценариев и верификация, проектирование по контракту. Соответствие нефункциональным требованиям: цели, силы и компромиссы, метрики.
Текст источника на языке оригинала
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/