]
]
]
]
Projet
Une approche algébrique globale pour la spécification et le développement de systèmes informatiques (COMPASS)
Période
1989-1996
Mots clés
spécification algébrique, développement de logiciel
Description
Fournir une approche algébrique globale pour la spécification de système informatiques et de leur composants Donner une fondation théorique solide pour leur développment correct Etablir les bases pour des outils informatiques d'aide au développement Intégrer des méthodes de programmation et des domaines d'application nouveaux pour les spécifications algébriques Progresser vers un cadre mathématique uniforme pour la sémantique des langages informatiques.
Unités
Axes de recherche
Staff (contrats terminés)
Responsable(s) |
|||
| Pierre-Yves SCHOBBENS | Membre correspondant | 081/724990 | |
Financement
- Commission européenne, DG III Industry
- Commission européenne, DG III Industry
