Objectif : Donner des concepts, méthodes et outils permettant une mise en oeuvre rigoureuse et maitrisée des systèmes informatiques, de l'énoncé des besoins (cahier de charges) de l'utilisateur à une spécification opérationnelle, en vue d'aboutir à l'installation d'un logiciel conforme à la spécification extraite des besoins.
Contenu (les grandes lignes) :
- Modélisation logique et ensembliste
- Raisonnement logique versus exécution de programme
- Analyse des besoins, propriétés fonctionnelles, nonfonctionnelles, correction
- Systèmes d'information
- Paradigmes d'analyse et de conception
- Modèle relationnel
- Familles de langages de modélisation
- Du cahier de charges au projet, à l'atelier de développement
- Etudes de cas
Contenu (les grandes lignes) :
- Modélisation logique et ensembliste
- Raisonnement logique versus exécution de programme
- Analyse des besoins, propriétés fonctionnelles, nonfonctionnelles, correction
- Systèmes d'information
- Paradigmes d'analyse et de conception
- Modèle relationnel
- Familles de langages de modélisation
- Du cahier de charges au projet, à l'atelier de développement
- Etudes de cas