Accueil - Recherche par Faculté - Par enseignant - Par cours


INFO0035-1

Ingénierie du logiciel dans les réseaux informatiques


Durée :30h Th, 30h Pr
Crédits/ECTS :
2e épreuve ingénieur civil informaticien5,5
2e licence en informatique6
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 : -




ULg : Administration de l'Enseignement et des Etudiants - Affaires Académiques
Responsable de l'information : Monique Marcourt, direction A.E.E.
Date de validité des données : 27/02/2006
Réalisation SEGI