Cours avancé de Génie

Logiciel
Atsa Etoundi Roger, Professeur
atsa.etoundi@ict4d.cm
 Agenda
• Ingénierie de domaine et ingénierie applicative • Développement de Logiciel auto-adaptatif
• Ingénierie des besoins • Rétro-ingénierie ou ingénierie inverse
• Spécification des logiciels • Génération de modèles automatiques (ingénierie
• Méthodes formelles à rebours)
• Architectures des logiciels • Vérification de programme
• Conception des logiciels
• Logique de Hoare
• Codification des logiciels
• Théorie des langages de programmation
• Logique de séparation
• Test de logiciel
• Model checking
• Types de test • Preuve de programme (Coq, PVS, Isabelle)
• Déploiement d’application
• Processus de déploiement d’application
• Déploiement d'application web
• Déploiement dans le cloud
• Déploiement dans un environnement distribué
• Déploiement dans un environnement hybride
• Migration des données
• Systèmes tolérant aux défauts
• Système temps réel
• Maintenance de logiciels
• Réfactorisation ou réusinage de code
• Coût de maintenance
• Hardware & software codesign
• Développement sécurisé de logiciel