Descripción
Problemas en la modelización y verificación de calidad y variabilidad en sistemas orientados a objetos. Modelos evaluables en enfoques dirigidos por modelos y guiados por pruebas. Ingeniería de familias de sistemas. Conformidad funcional: modelización y verificación de escenarios, diseño por contrato. Conformidad con requisitos no funcionales: objetivos, fuerzas y compensaciones, métricas.
Texto de referencia en su idioma de origen
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.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/grad/courses/COMP/