]
]
]
]
Projet
Outils de Conception et d'Analyse de cahiers de charges pour des systèmes informatiques de Télécommunication (CAT)
Période
1995-2001
Mots clés
cahiers de charges, systèmes distribués, agents, spécification, méthodes formelles, exigences
Description
L'objectif du projet de recherche appliquée CAT vise au développement d'un environnement d'outils CASE supportant la modélisation et l'analyse de cahiers de charges relatifs à des systèmes informatiques distribués et temps réel. Ces outil repose sur le langage de modélisation ALBERT.
Unités
Axes de recherche
Staff (contrats terminés)
Responsable(s) |
|||
| Pierre-Yves SCHOBBENS | Promoteur | 081/724990 | |
Personnel scientifique |
|||
| Francois CHABOT | Outils de preuve | ||
| Luc CLAES | Editeur de spécifications | ||
| Philippe DU BOIS | Conception du langage Albert | ||
| Eric DUBOIS | Promoteur | ||
| Patrick HEYMANS | Développement de l'animateur de spécifications | 081/725275 | |
| Bernard JUNGEN | Outils | ||
| Michaël PETIT | In charge of project information dissemination | 081/725259 | |
| Jean-Marc ZEIPPEN | Scientifique | ||
Personnel administratif ou technique |
|||
| Gisele GEYORO-YAKULANGU | Contacts industrie | ||
Publications (3)
Actes de colloques
1998
Rapports de recherche
1999
The formal semantics of Albert II
Francois CHABOT, Laurent FERIER, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
Francois CHABOT, Laurent FERIER, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
1997
A propos du méta-modèle Albert
Bernard JUNGEN, Jean-Marc ZEIPPEN, Patrick HEYMANS
Bernard JUNGEN, Jean-Marc ZEIPPEN, Patrick HEYMANS
Financement
- Ministère de la Région Wallonne
