]
]
]
]
Methodology for the development of computer system specification (MeDiCiS)
Duration
1993-1995
Keywords
software specification, software development methodology, composite systems
Description
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.
Research unit(s)
Research theme(s)
Staff (finished contracts)
Chairperson(s) |
|||
| Pierre-Yves SCHOBBENS | Leader | 081/724990 | |
Research staff |
|||
| Eric DUBOIS | Researcher | ||
| Michaël PETIT | Researcher | 081/725259 | |
| Jean-Marc ZEIPPEN | Researcher | ||
Contracts
- Commission européenne, DGXII
