Syllabus INF4027 Genie Logiciel 2020 2021

REPUBLIQUE DU CAMEROUN
Paix – Travail – Patrie
- . - . - . -
UNIVERSITÉ DE YAOUNDÉ I
Faculté des Sciences
Département d'Informatique
B.P. 812 Yaoundé
REPUBLIC OF CAMEROON
Peace – Work – Fatherland
- . - . - . -
UNIVERSITY OF YAOUNDÉ I
Faculté des Sciences
Department of Computer Science
P.O.Box 812 Yaoundé
INF4027: GENIE LOGICIEL
Department
Informatique
Program
INF4027
Year of Study
2020 – 2021
Semester
01
Course Delivery
On-Site & Online
Course Code
INF4027
Course Title
Génie Logiciel
Course Credit
50H
Instructor
ATSA ETOUNDI Roger, Pr.
Office
Université of Yaoundé 1
Email
[email protected]
Mobile
677 57 65 46
Course Description
Ce cours permet d’approfondir les fondements du Génie Logiciel notamment dans les
systèmes formels.
Objectives
À la fin de ce cours, les étudiants seront en mesure de :
 Maitriser l’ingénierie logicielle ;
 Cycle de vie du logiciel ;
 Maîtriser les outils, techniques et méthodes de conception des applications
informatiques ;
 Identifier, définir et vérifier les qualités d’un logiciel ;
 Faire les preuves des programmes ;
 Développer un logiciel sous un style architectural donné;
 Analyser les risques de développement d’une application informatique
 Mettre en place et gérer un projet de développement de logiciel
Prerequisites
aucun
Expected Competencies
 Redaction du cahier des charges
 Conception des applications
 Choix d’une architecture logicielle
 Vérification et validation de logiciel
 Choix d’un paradigme de programmation
 Chef de projet

Syllabus: INF4027 Genie Logiciel
 Qualiticien logiciel
Credit Hours
2H
Profile
Course Content &Weekly Plan
Lectures
Lecture Topics
Observation
Lecture 1.
Ingenieurie Logiciel
 Ingénierie de Domaine
 Ingénierie de Besoins
 Ingénierie Applicative
 Gestion de Projets(découpage, planification et
estimation)
Lecture 2.
Outils, Méthodes et Techniques de Conceptions de
Logiciels
 Méthodes formelles
 Spécifications algébriques
 Architectures logicielles
Lecture 3.
Théories de langage de Programmations
 Concepts fondamentaux des langages de
Programmations
 Fondements mathématique
 Syntaxe
 Sémantique
 Lambda-Calcul
 Sémantique dénotationnelle(Concepts
fondamentaux)
 Construction des Langages
 Sémantique axiomatique
 Cohérence de définition sémantiques
 Internet des Objets
Lecture 4.
Vérification et Validation des applications
Informatiques.
 Logique temporelle linéaire
 Logique de Hoare
 Model-Checking
 Preuve de programme
Lecture 5.
Recherches en Génie Logiciel
 Logiciel auto-adaptatif

Syllabus: INF4027 Genie Logiciel
 PGI
 Système embarqué
 Système tolérant les fautes
Control Continue (CC)
Lecture 6.
Session Normale (SN)
Lecture 7.
TD Génie Logiciel
Assessment
Grading
1.
Continuous Assessment
30%
2.
Semester Final Exam
70%
INF4027 Lab
Sessional works based on INF4027 lessons.
Appeals
Recommended Textbooks
Useful references