Assisting software engineers in their analysis of software systems requirements and specifications (JMZ)

Duration

1996-2001

Keywords

proof sketch, reasoning assistant

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.

Research unit(s)

• PReCISE Research Center (PRECISE)

Research theme(s)

• Requirements Engineering and Business-IT Alignment

Staff (finished contracts)