Résumé | Ce rapport de projet final est du <em>Type I</em> : modélisation de la variabilité dans un projet de modèle vérifiable. Les principaux thèmes du cours tournent autour des concepts de <em>variabilité</em> (dans ce projet, la variabilité est associée à la variation d'un algorithme dans le temps, à savoir la variabilité évolutive, et à la variabilité des définitions de concepts), de <em>traçabilité</em> et de <em>vérification</em>. Ces concepts constituent donc le point central de ce projet, l'accent étant mis plus particulièrement sur la création d'un modèle de domaine traçable et vérifiable. En particulier, deux questions sont posées dans le cadre de ce cours : i) « Peut-on utiliser des tests pour documenter les différences entre les membres d'une famille? » et ii) « Comment les entités et leurs dépendances peuvent-elles être convenablement documentées? » |
---|