At the end of the course, the student will be able to
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.
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.
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.
| Training | Study programme | Block | Credits | Mandatory |
|---|---|---|---|---|
| Standard | 0 | 3 | ||
| Standard | 2 | 3 |