METHODES ET OUTILS INFORMATIQUES POUR LA SPECIFICATION DES SYSTEMES
Formation
À Paris
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Description
-
Typologie
Formation
-
Dirigé à
Pour professionnels
-
Lieu
Paris
-
Durée
3 Jours
Cette formation a pour objectif de fournir aux donneurs d'ordre et aux concepteurs les moyens: D'exprimer leurs cahiers des charges en utilisant des notations standard (UML 2.0). De valider l'expression de leurs besoins. De spécifier rigoureusement (avec la notation Z) les propriétés fonctionnelles et les contraintes du système
Précisions importantes
Modalité Formation continue
Les sites et dates disponibles
Lieu
Date de début
Date de début
À propos de cette formation
Niveau du stage : Spécialisation
Ce stage s'adresse à la fois aux donneurs d'ordre de systèmes devant être automatisés ou l'étant déjà, et aux concepteurs, soucieux de respecter les contraintes imposées par les systèmes “critiques” à logiciel prépondérant. Une bonne connaissance d'une méthode de spécification / conception du logiciel est recommandée.
Les Avis
Le programme
L'expression des besoins pour les systèmes “critiques”
• Définition des principes Orientés-Objet et introduction à la notation UML 2.0 des diagrammes de classes • Passage d'un cahier des charges à un diagramme de classes • Spécification des besoins pour les systèmes logiciels
• Introduction à Z, méthode formelle Orientée-Objet permettant la spécification opérationnelle (specifying-in-the-small) et la description comportementale (specifying-in-the-large) • La notation Z : les schémas, les opérations • La démonstration de cohérence, robustesse et satisfiabilité de la spécification • La spécification de systèmes : le “calcul” sur schémas • Présentation d'un exemple significatif
• Présentation d'un cahier des charges significatif • Traduction en UML 2.0 • Traduction en Z • Conclusion • Évaluation critique des cycles de vie traditionnels
• Qualités des logiciels : définitions à reconsidérer • Un cycle de vie adapté à la validation et à la spécification
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
METHODES ET OUTILS INFORMATIQUES POUR LA SPECIFICATION DES SYSTEMES