Projet de programmation [INFOB236]

Acquis d'apprentissage

Au terme du cours, l'étudiant sera capable

• de modéliser dans un langage formel une application réactive
• d'établir rigoureusement la correction de propriétés de cette application
• d'en dérivier méthodiquement un code Processing et Java
• d'illustrer le fonctionnement de l'application par une animation graphique 2D.

Une partie du cours consiste en la réalisation d'un projet en groupe, ce qui permet à l'étudiant de développer des "soft skills".

 

Objectifs

Le  cours veut s'inscrire dans la continuation des cours de programmation. Après l'étude de programmes séquentiels effectués dans les cours INFO B131 "Introduction à la programmation" et INFO B233 "Techniques de programmation", il a pour objectif d'aborder les applications réactives, si nombreuses dans le monde actuel, dans un cadre rigoureux mais ludique aussi.

Contenu

Le cours est composé de trois parties principales. La première propose une étude de la méthode Event-B. Au travers d'exercices individuels mais aussi d'un projet mené en groupe, l'étudiant est ainsi amené à modéliser formellement des applications et à prouver la correction de propriétés. Une deuxième partie montre comment le langage Processing peut être utilisé pour créer des animations dynamiques des applications visées. Enfin, une troisième partie montre comment du code Java ou Processing peut être dérivé à paritr de la modélisation en Event-B.