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 Program Year of Study Semester Course Delivery Course Code Course Title Course Credit Instructor Office Email Mobile Informatique INF4027 2020 – 2021 01 On-Site & Online INF4027 Génie Logiciel 50H ATSA ETOUNDI Roger, Pr. Université of Yaoundé 1 [email protected] 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 Qualiticien logiciel Credit Hours 2H Profile Course Content &Weekly Plan Lectures Lecture 1. Lecture 2. Lecture 3. Lecture Topics Observation Ingenieurie Logiciel Ingénierie de Domaine Ingénierie de Besoins Ingénierie Applicative Gestion de Projets(découpage, planification et estimation) Outils, Méthodes et Techniques de Conceptions de Logiciels Méthodes formelles Spécifications algébriques Architectures logicielles 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. Lecture 7. 1. 2. Session Normale (SN) TD Génie Logiciel Assessment Grading Continuous Assessment Semester Final Exam 30% 70% INF4027 Lab Sessional works based on INF4027 lessons. Appeals Recommended Textbooks Useful references Syllabus: INF4027 Genie Logiciel