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 reusability.

The action was coordinated by A. Sernadas (P).

Other key members:

You can navigate through the FINAL REPORT of the action 6071 covering 1992-95.

Last update: December 7, 1995.