Le langage Albert II: de la conception et de l'utilisation d'un langage formel de spécification pour l'analyse des besoins

Projet: Projet de thèse

Détails du projet

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,...

AcronymePDU
statutFini
Les dates de début/date réelle1/09/891/09/95