Study Programmes 2024-2025
INBI0001-5  
Programming Principles 2
  • Programmation : méthodes et analyse
  • Programming Methods Laboratory
  • Spécifications et testing
Duration :
Programmation : méthodes et analyse : 12h Th
Programming Methods Laboratory : 24h Pr
Spécifications et testing : 12h Th
Number of credits :
Bachelier en informatique (P), orientation développement d'applications4
Lecturer :
Programmation : méthodes et analyse : Isabelle Dony
Programming Methods Laboratory : Isabelle Dony, Cédric Peeters
Spécifications et testing : Isabelle Dony
Coordinator :
Isabelle Dony
Language(s) of instruction :
French language
Organisation and examination :
Teaching in the second semester
Units courses prerequisite and corequisite :
Prerequisite or corequisite units are presented within each program
Learning unit contents :
Not available
Learning outcomes of the learning unit :
Not available
Prerequisite knowledge and skills :
Not available
Planned learning activities and teaching methods :
Programmation : méthodes et analyse
Cours magistral couvrant les notions suivantes :
- les structures  - les procédures - les fonctions - mécanismes de passage des paramètres - la récursivité - la lecture et écriture de fichiers
- choisir son modèle ( représentation des données) - choisir sa découpe en sous-problèmes 
avec séries d'exercices illustratifs
Programming Methods Laboratory
Dans le cours de laboratoire méthode de programmation des exercices sont proposés aux étudiants et ils peuvent solliciter l'aide de l'enseignant.
Certains exercices sont corrigés au tableau et des solutions proposées par les étudiants peuvent être expliquées et commentées.

Toute activité organisée durant le quadrimestre (par exemple une conférence), non dispensée par l'enseignant, et qui est en rapport avec la matière de l'activité d'apprentissage, compte dans les heures de la dite activité d'apprentissage. La matière abordée par l'activité en question pourra faire l'objet d'une évaluation, quelle soit continue ou certificative.
Spécifications et testing
Cours magistral couvrant les notions suivantes :

-Spécifications

  • Précondition / postcondition
  • spécification en français
  • spécification formelle (en mathématique)
-Vérification et validation de programme (V & V)

  • vérification avec méthodes formelles (preuves mathématiques)
  • Vérification avec tests unitaires / tests d'intégration
-Efficacité d'un algorithme

et exercices illustratifs
Mode of delivery (face to face, distance learning, hybrid learning) :
Not available
Recommended or required readings :
Assessment methods and criteria :
Not available
Work placement(s) :
Organizational remarks :
Spécifications et testing
La matière est tout à fait intégrée à l'AA Méthode de programmation. Les ppt s'entrelacent car les AA sont complémentaires
Contacts :
Not available