Course 2024-2025

Programming laboratory [INFOB236]

  • 3 credits
  • 15h+30h
  • 2nd quarter
Language of instruction: French / Français

Learning outcomes

At the end of the course, the student will be able to

  •     to model a reactive application in a formal language
  •     to rigorously establish the correction of properties of this application
  •     to methodically derive Processing and Java code from it
  •     to illustrate the application with a 2D graphic animation.

Part of the course consists in a project done by groups of students, which allows students to acquire soft skills.

 

Objectives

The laboratory wants to take place in the continuation of the programming courses. After the study of sequential programs carried out in the courses INFO B131 "Introduction to Programming" and INFO B233 "Programming Techniques", its objective is to approach reactive applications, so numerous in today's world, in a rigorous but also playful framework.

Content

The course consists of three main parts. The first one proposes a study of the Event-B method. Through individual exercises but also through a group project, the student is led to formally model applications and to prove the correction of properties. In a second part it is shown how the Processing language can be used to create dynamic animations of the targeted applications. Finally, in the third part, Java or Processing code are derived from the Event-B modeling.


Co-requisites

Méthodes de programmation [INFOB233]

Teaching methods

Teaching alternates theoretical presentations with their implementation through problem solving. The student is led to solve these problems individually but also through the development by group of a reactive application.

 

Evaluations

Individual work is evaluated during the quadrimester. The group resolution of an application is evaluated in an oral examination.

The individual and group assignments require a real involvement of the student throughout the quadrimester. As a result, in application of article 32, paragraph 1 of the Regulations for Studies and Exams, only assignments of sufficient quality (with a grade higher than 5/20) may be represented in the 2nd session.

 

Language of instruction

French / Français

Location for course

NAMUR

Organizer

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

Degree of Reference

Undergraduate Degree