Project Details
Description
Our research is concerned with techniques aiming at
helping a software engineer (or analyst) study the requirements and
the specifications of a software system. So far, we mainly focused on
the use of a formal requirements modelling languages for real-time
systems: we worked on the design of a toolset to help in the analysis of
conjectures, i.e. overall properties expected from a system
description.
helping a software engineer (or analyst) study the requirements and
the specifications of a software system. So far, we mainly focused on
the use of a formal requirements modelling languages for real-time
systems: we worked on the design of a toolset to help in the analysis of
conjectures, i.e. overall properties expected from a system
description.
Acronym | JMZ |
---|---|
Status | Finished |
Effective start/end date | 20/12/96 → 20/12/01 |
Keywords
- reasoning assistant
- proof sketch
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.