Information Systems -
COrrectness and REusability
Esprit Basic Research Action WG 3023; 6071: 1989-95.
The action explored the theoretical and methodological
foundations of information systems design with the aim of
achieving provably correct systems and higher levels of
The action was coordinated by A.
Other key members:
Astesiano, University of Genova (I);
- G. Bernot [formerly at Paris-Sud], Universite d'Evry (F);
Ehrich, Technical University of Braunschweig (D);
- J. Fiadeiro
[formerly at INESC], FCUL (P);
- M. C. Gaudel,
University of Paris-Sud (F);
Goguen, University of Oxford (GB);
Lipeck, University of Hannover (D);
- T. Maibaum,
Imperial College in London (GB);
Meersman [now at Free University of Brussels,
replaced by Olga
De Troyer], Catholic University of Tilburg (NL) ;
- A. Poigné,
Saake [formerly at TU Braunschweig], University of
- C. Sernadas [now at IST], INESC
- R. Wieringa,
Free University of Amsterdam (NL).
You can navigate through the FINAL REPORT of the action
6071 covering 1992-95.
Last update: December 7, 1995.