Notre produit produit ARL, programmable via des grammaires et des machines à états, s’utilise mieux en procédant par modélisation. Cette modélisation pour CGM, suit un cadre et obéit à des règles, dont la maîtrise théorique et l’apprentissage pratique sont l’objet de cette formation.

1. Objectifs pédagogiques
2. Public concerné
3. Prérequis
4. Programme de la formation
5. Modalités d’évaluation
6. Tarifs

1. Objectifs pédagogiques

• Être apte à :
  • Utiliser ARL pour l’ingénierie-arrière (rétro-conception) :
    • Analyse (parsing) de corpus de sources.
    • Interprétation des résultats d’une analyse.
    • Pilotage de la rétro-conception.
  • Utiliser ARL pour l’ingénierie horizontale (nouvelle version au même niveau d’abstraction) :
    • Créer une nouvelle version
    • Mettre à jour ses dépendances
  • Utiliser ARL pour l’ingénierie-avant (conception) :
    • Pilotage des preuves (interprétation des échecs de preuves, ajout de lemme, etc.)
    • Utiliser les transformations de modèle
    • Utiliser les générateurs de code

2. Public concerné

• Concepteurs / Modélisateurs
• Développeurs

3. Prérequis

• Connaissances niveau confirmé pour
  • la Programmation Orientée Objet
  • la Programmation Orientée Aspect
  • UML
  • les grammaires (au moins la notation EBNF)
• Connaissances pour
  • la théorie des ensembles
  • le lambda-calcul typé

4. Programme de la formation

• Journée n°1
  • Matin
    • Rappels de modélisation : modèle, méta-modèle, UML, diagrammes impliqués (machines à états, structures composites, classes)
    • Rappels sur le cycle d’abstraction
    • Rappels sur le lambda-calcul typé
    • Rappels sur la théorie des ensembles
  • Après-midi
    • Démonstration via un exemple de l’analyse d’un corpus de sources
    • Démonstration via un exemple de l’ingénierie horizontale
    • Démonstration via un exemple de la génération de code
• Journée n°2
  • Matin
    • Démonstration via un exemple de l’ingénierie-arrière
  • Après-midi
    • Constitution des groupes
    • Enoncé du cas d’école
    • Exercice n°1 : analyse d’un corpus de sources
    • Correction
• Journée n°3
  • Matin
    • Rappel du cas d’école
    • Exercice n°1 : ingénierie-arrière
    • Correction
  • Après-midi
    • Exercice n°2 : ingénierie horizontale
    • Correction
• Journée n°4
  • Matin
    • Rappel du cas d’école
    • Exercice n°3 : preuves horizontales
    • Correction
  • Après-midi
    • Exercice n°4 : preuves verticales
    • Correction
    • Exercice n°5 : génération du code et test
    • Correction
• Journée n°5
  • Matin
    • Exercice n°6 : nouvelle modification du cas d’école, sur l’ensemble du cycle
    • Correction
  • Après-midi
    • Ré-examen commenté du modèle global obtenu
    • Discussion générale

5. Modalités d’évaluation

• Au fur et à mesure de la formation, via la formation de groupes de travail, le formateur évaluera chacun sur la base des résultats produits.

6. Tarifs

Inter-entreprise

• 3.500 € H.T.

Intra-entreprise

• Pour initier un processus de personnalisation de cette formation, vous pouvez prendre contract avec nous via ce formulaire de contact.