 |  | |  |
| INFO0035-1

 | Ingénierie du logiciel dans les réseaux informatiques

| |
| 
| |
| Durée : | 30h Th, 30h Pr | |
|  | | |
| Crédits/ECTS : |
| |
|  | | |
| Titulaire(s) : | Guy Leduc | |
|  | | |
|  | | |
| Aperçu général :
|
- Structure d'un protocole, principe du génie logiciel.
- Le langage de spécification ISO LOTOS : principes des algèbres de processus et des types de données algébriques, bases théoriques et application.
- Vérification des spécifications : équivalence observationnelle, bisimulations forte, faible et de branchement, propriétés de sûreté et de vivacité, autres équivalences et préordres, méthodologie de vérification basée sur les modèles, étude de cas.
| |
|  | | |
| Objectif du cours :
| Au terme du cours, l'étudiant pourra spécifier et vérifier les spécifications de systèmes informatiques répartis tels que les réseaux. L'accent est mis sur les principes et méthodes applicables à des systèmes de taille réaliste, et sur les logiciels de support utilisables. | |
|  | | |
| Pré-requis :
| S'il y a lieu, lien particulier avec un cours du cursus :
- En amont : Introduction aux réseaux informatiques
| |
|  | | |
| Travaux pratiques :
| Répétitions: séances d'exercices. Travail d'ingénierie de logiciel à effectuer par groupes de 2 ou 3 étudiants. | |
|  | | |
| Organisation :
| Deuxième semestre, les lundis de 9h00 à 12h00. | |
|  | | |
| Notes de cours :
|
- Ouvrage(s) de référence: Principalement les transparents du cours et quelques articles.
- Lecture(s) obligatoires(s):
- Lecture(s) conseillée(s):
| |
|  | | |
| Evaluation :
| L'étudiant devra être capable de mener à bien un petit projet en appliquant méthodiquement certains outils logiciels. Il devra en outre le présenter oralement et répondre à des questions. | |
|  | | |
| Contacts :
| Enseignant : Guy Leduc, Guy.Leduc@ulg.ac.be
Secrétariat : Charline De Baets, ledent@montefiore.ulg.ac.be
Assistant : Jean-Marc François, francois@run.montefiore.ulg.ac.be
Etudiant-Moniteur : - | |
|  | | |