Cours 2020-2021

Laboratoire de programmation [INFOB236]

  • 3 crédits
  • 15h+30h
  • 2e quadrimestre
Langue d'enseignement: Français

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.

Objectifs

Le  laboratoire 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.

 


Co-requis

Techniques de programmation [INFOB233]

Méthodes d'enseignement

Les modalités d'enseignement et d'évaluation des unités d'enseignement ont été rédigées en fonction de la situation à la rentrée académique 2020-2021. Cependant, ces modalités pourraient faire l'objet de modifications en fonction de l'évolution de la crise sanitaire liée à la covid-19. Les étudiants seront informés de toute modification de la situation générale (passage à l'enseignement à distance partiel ou complet) par les autorités de l'UNamur tandis que les modifications propres à chaque unité d'enseignement leur seront communiquées par les enseignants, via webcampus

L'enseignement alterne les exposés théoriques avec leur mise en oeuvre au travers de la résolution de problèmes. L'étudiant est amené à résoudre ces problèmes individuellement mais aussi au travers de la réalisation en groupe d'une application réactive.

Mode d'évaluation

Les modalités d'enseignement et d'évaluation des unités d'enseignement ont été rédigées en fonction de la situation à la rentrée académique 2020-2021. Cependant, ces modalités pourraient faire l'objet de modifications en fonction de l'évolution de la crise sanitaire liée à la covid-19. Les étudiants seront informés de toute modification de la situation générale (passage à l'enseignement à distance partiel ou complet) par les autorités de l'UNamur tandis que les modifications propres à chaque unité d'enseignement leur seront communiquées par les enseignants, via webcampus

Les travaux individuels font l'objet d'une évaluation au cours du quadrimestre. La résolution en groupe d'une application est évaluée lors d'un examen oral.

Ces travaux, tant individuels que de groupe, exigeant une implication certaine de l'étudiant durant tout le quadrimestre, en application de l'article 32, paragraphe 1 du Règlement des études et des examens, seuls les travaux de qualité suffisante (sanctionnés par une note supérieure à 5/20) pourront être représentés en 2e session.

Langue d'enseignement

Français

Lieu de l'activité

NAMUR

Faculté organisatrice

Faculté d'informatique
rue Grandgagnage 21
5000 NAMUR
T. 081725252
F. 081724967
secretariat.info@unamur.be

Cycle

Etudes de 1er cycle