METHODES ET OUTILS INFORMATIQUES POUR LA SPECIFICATION DES SYSTEMES

Formation

À Paris

1 160 € TTC

Appeler le centre

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

Paris ((75) Paris)
Voir plan
32 Boulevard Victor, 75015

Date de début

Consulter

À 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.

Questions / Réponses

Ajoutez votre question

Nos conseillers et autres utilisateurs pourront vous répondre

À qui souhaitez-vous addresser votre question?

Saisissez vos coordonnées pour recevoir une réponse

Nous ne publierons que votre nom et votre question

Les Avis

Le programme

L'expression des besoins pour les systèmes “critiques”

• Importance de l'étape d'ingénierie des besoins • Introduction à la méthode évolutionnaire qui permet l'expression rigoureuse d'un cahier des charges, pour les éléments fonctionnels et les contraintes à respecter • Génération semi-automatique des cahiers des charges • Conception Orientée-Objet en UML 2.0
• 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

Appeler le centre

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

1 160 € TTC