Beskrivelse
Problemstillinger i modellering og verifikasjon av kvalitet og variasjon i objektorienterte systemer. Testbare modeller i modell-drevne og test-drevne tilnærminger. Systemfamilieingeniørkunst. Funksjonell overensstemmelse: scenariomodellering og verifikasjon, design by contract. Overensstemmelse med ikke-funksjonelle krav: mål, krefter og avveininger, metrikker.
Referansetekst i originalspråket
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.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/grad/courses/COMP/