MeDiCiS

Methodology for the Development of Computer System Specifications (Human Capital and Mobility)

Although the improvement of specification languages is motivated by methodological concerns, systematic studies of the methodology itself have not yet been undertaken. For specification development basic operators shall be combined into larger development strategies. Therefore a language for expressing and combining development operators is needed. The expected result of this project is an improved understanding of methodologies for computer system specifications, i.e.

new methods adapted to the formal specification of composite systems
several levels of reasoning (e.g.\ deontic, temporal etc.) should be integrated in a single semantic framework
new methodology-oriented structuring concepts for specifications, and the precise definition of their semantics
the definition of an improved language for expressing methods and development steps.

The project was sponsored by the EEC as a part of the HCM project from 1993 till 1996

Project partners:
CRIN Nancy (Finance), Polytechnic University Catalunya (Orejas), INESC (Fiadeiro), University of Saarland (Loeckx), TU-Berlin (Jähnichen), LMU-München(Wirsing), UCL (Lamsweerde), Imperial College (Maibaum), University of Stirling (Rattray), LFCS-University of Edinburgh (Sannella) and DISI-University of Genova (Astesiano).

Contact person: Dr. Bernhard Reus.

list of all projects

Institute

University

(16.12.1996)