Dans le génie logiciel, on distingue plusieurs phases dans le processus de développement de logiciels: L'analyse, la conception, le codage, l'intégration, la validation et vérification des composants ou des systèmes entiers. Le cours se concentre sur les deux dernières phases dans du processus de développement, en traitant en profondeur l'aspect modélisation lors de l'analyse, sous l'aspect des méthodes automatisées et des outils. Afin de vérifier un système grâce à la génération de tests, par exemple, on a besoin de modèles suffisamment précis. |