"From Fuzzy to Formal" - ESPRIT III Project 6621 F3

Objectives

Development of a practical and useful methodology and computer based supporting tools for requirements specification with an emphasise on the transformation from vague objectives, concepts, and demands to a formal specification comprising functional as well as non-functional requirements. Our efforts in this project focus on development of a method and tool-set for early, objectives driven, enterprise modelling and information system requirements acquisition.
 

Contribution from the C.R.I.

- To develop a traceability model,
- To use a situation-based model in order to model the F3 requirements engineering process.
 

Consortium

SEMA Groupe France (main contractor), British Aerospace U.K., CESELSA Spain, SERC/RAL UK., SISU Sweden, TXT Italy, SEMA Spain, University of Paris-1, UMIST UK., Politecnico di Milano Italy, and Johann Wolfgang Goethe University, Frankfurt, Germany, SISU Sweden.

Duration

May 1992 until November 1994.

References

- C. Rolland, C. Souveyet, M. Moreno
  "An Approach for defining ways-of-working"
   Information System Journal 20(4) p. 337-359, 1995.
- C. Rolland
   "Modeling the Evolution of Artifacts"
    The First International Conference on Requirements Engineering (ICRE'94),
    April 18-22, 1994, Colorado Springs, Colorado.
- C. Rolland, V. Plihon
   "Using Generic Method Chunks To Generate Process Models Fragments"
    The 3rd International Conference on Requirements Engineering (ICRE'96), 1996.