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

Projet: Projet de thèse

Détails du projet

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.
AcronymeJMZ
statutFini
Les dates de début/date réelle20/12/9620/12/01

mots-clés

  • schema de preuve
  • schéma de preuve
  • assistant au raisonnement