]
]
]
]
Le langage Albert II: de la conception et de l'utilisation d'un langage formel de spécification pour l'analyse des besoins (PDU)
Période
1989-1995
Description
La phase d'analyse des besoins d'un
projet informatique consiste en la récolte, la modélisation,
l'analyse et la validation des besoins exprimés par le client.
Cette phase est cruciale pour la réussite d'un projet.
Les langages de spécification utilisés
pour cette phase, dans le cadre de systèmes complexes tels que
les systèmes temps-réel, doivent posséder deux
qualités:
- une grande expressivité afin que les besoins puissent
être modélisés de façon naturelle;
- une formalité suffisante que pour pouvoir raisonner sur
des spécifications dans le but de découvrir des manquements
ou des incohérences.
Le langage Albert II a été conçu dans cet esprit.
Dans cette thèse, le langage Albert II est présenté
intuitivement puis formellement et est illustré au travers d'une
étude de cas en vraie grandeur. Différents aspects du
langage sont ensuite abordés: problèmes méthodologiques,
construction d'outils, liens vers les autres phases du cycle de vie,...
Unités
Axes de recherche
Staff (contrats terminés)
Responsable(s) |
|||
| Eric DUBOIS | Promoteur | ||
Personnel scientifique |
|||
| Philippe DU BOIS | Doctorand | ||
| Pierre-Yves SCHOBBENS | Encadreur | 081/724990 | |
Publications (5)
Contributions à des ouvrages collectifs
Marc DERROITTE, Eric DUBOIS, Philippe DU BOIS, Michaël PETIT, Jean-Pol MICHEL
Actes de colloques
Eric DUBOIS, Philippe DU BOIS, Michaël PETIT
Eric DUBOIS, Philippe DU BOIS, Frederic DUBRU, Michaël PETIT
Eric DUBOIS, Philippe DU BOIS, Michaël PETIT
