]
]
]
]
Project
Comprehensive Algebraic Approach to System Specification and Development (COMPASS)
Duration
1989-1996
Keywords
algebraic specification, software development
Description
to provide a comprehensive algebraic approach to the specification of systems and their components, to provide a formal basis for their correct development, to consolidate the theoretical background, to lay the basis for an increased power of support tools, to encompass new programming methodologies and application areas, and to make progress towards the development of a uniform mathematical framework for logic and semantics within computer science.
Research unit(s)
Research theme(s)
Staff (finished contracts)
Chairperson(s) |
|||
| Pierre-Yves SCHOBBENS | Leader | 081/724990 | |
Contracts
- Commission européenne, DG III Industry
- Commission européenne, DG III Industry
