Outils de Conception et d'Analyse de cahiers de charges pour des systèmes informatiques de Télécommunication

Projet: Recherche

Détails du projet

Description

{description_courte}
AcronymeCAT
statutFini
Les dates de début/date réelle1/04/951/07/01

mots-clés

  • cahiers de charges
  • systemes distribues
  • specification
  • agents
  • systèmes distribués
  • spécification
  • exigences
  • méthodes formelles
  • methodes formelles