Description
Questions de modélisation et de vérification de la qualité et de la variabilité dans les systèmes orientés objet. Modèles testables dans les approches pilotées par les modèles et par les tests. Ingénierie de familles de systèmes. Conformité fonctionnelle : modélisation et vérification de scénarios, conception par contrat. Conformité aux exigences non fonctionnelles : objectifs, forces et compromis, métriques.
Texte de référence dans sa langue d’origine
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.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/grad/courses/COMP/