Une approche algébrique globale pour la spécification et le développement de systèmes informatiques

Projet: Recherche

Détails du projet

Description

{description_courte}
AcronymeCOMPASS
statutFini
Les dates de début/date réelle1/04/8931/03/96

mots-clés

  • specification algebrique
  • développement de logiciel
  • developpement de logiciel
  • spécification algébrique