Assister l'ingénieur des exigences dans ses activités de raisonnement face à une spécification (JMZ)

Période

1996-2001

Mots clés

schéma de preuve, assistant au raisonnement

Description

Notre recherche s'intéresse aux techniques visant à assister l'ingénieur des exigences (aussi appelé "analyste")

à étudier les exigenceset les spécifications d'un système logiciel.

Nous nous sommes concentrés sur les langages de specification formels destinés aux systèmes temps réel: nous travaillons à

la conception d'un ensemble d'outils logiciels aidant à l'analyse de conjectures, cad de propriétés globales attendues d'une description d'un système.

Unités

• PReCISE Research Center (PRECISE)

Axes de recherche

• Requirements Engineering and Business-IT Alignment

Staff (contrats terminés)