L'Ingénierie des Exigences Formelle pour les Systèmes Manufacturiers: une Approche Multi-formalismes et basée sur les composants

Projet: Projet de thèse

Détails du projet

Description

{description_courte}
AcronymeMPE
statutFini
Les dates de début/date réelle1/10/9227/10/99

mots-clés

  • CIMOSA
  • systèmes manufacturiers
  • modelisation
  • specification
  • meta-modélisation
  • Albert
  • réutilisation
  • systèmes d'information
  • ingenierie des exigences
  • meta-modelisation
  • modélisation
  • i*
  • composants
  • langages formels
  • systemes manufacturiers
  • mutli-formalisme
  • spécification
  • reutilisation
  • ingénierie des exigences
  • systemes d'information