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.
à é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.
Acronyme | JMZ |
---|---|
statut | Fini |
Les dates de début/date réelle | 20/12/96 → 20/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.