Descrição
Questões em modelagem e verificação de qualidade e variabilidade em sistemas orientados a objetos. Modelos testáveis em abordagens dirigidas por modelos e testes. Engenharia de família de sistemas. Conformidade funcional: modelagem e verificação de cenários, design por contrato. Conformidade a requisitos não funcionais: metas, forças e trade-offs, métricas.
Texto de referência na sua língua de origem
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.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/grad/courses/COMP/