Assisting software engineers in their analysis of software systems requirements and specifications

Project: PHD

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.
AcronymJMZ
StatusFinished
Effective start/end date20/12/9620/12/01

Keywords

  • reasoning assistant
  • proof sketch