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 exigences et les spécifications d'un système logiciel.
Nous nous sommes concentrés sur les langages de spécification formels destinés aux systèmes temps réel: nous travaillons à
la conception d'un ensemble d'outils logiciels aidant à l'analyse de conjectures, c-à-d. 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

Empreinte digitale

Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.