Home - Search by Faculty - By teacher - By course


INFO0035-1

Software Engineering in Computer Networks

[ version française ]

Duration :30h Th, 30h Pr
Credits/ECTS :
4th year of the 5 year degree in civil engineering in computer sciences5,5
2nd "licence" in computer6
Holder(s) :Guy Leduc
Course contents :
  • Protocol structure, principles of software engineering.
  • The ISO LOTOS specification language: principles of process algebras and algebraic data types, theoretical bases and application.
  • Verification of specifications: observational equivalence, strong, weak and branching bisimulations, safety and liveness properties, other equivalences and preorders, verification methodology based on models, case studies.
Course objective : At the end of the course students will be able to specify and verify the specifications of distributed systems, such as netwoks. This course focuses on principles and methods applicable to systems of realistic size, and on applicable software tools.
Prerequisites : Introduction to computer networks
Workshops : Problem solutions lessons.
A small project of software engineering.
Organization : Second term (roughly from beginning of February until mid-May), on Mondays from 9AM to 12PM.
Written notes : Mainly the slides presented during the lectures and some articles.
Assessment : Students have to carry out a small software engineering project by applying methodically a software toolbox. Then they have to present and defend their work publicly.
Contacts : Teacher: Guy Leduc, Guy.Leduc@ulg.ac.be
Secretariat: Charline De Baets, ledent@montefiore.ulg.ac.be
Teaching assistant: Jean-Marc François, francois@run.montefiore.ulg.ac.be
Etudiant-Moniteur : -




ULg : Students and Studies Administration - Academic Affairs
Contact : Monique Marcourt, direction A.E.E.
Date of data : 27/02/2006
Developed by SEGI