 | 1999 |
|---|
| 7 |       | Felix Cornelius:
An Overview of the Distributed System Classification and Integration Framework DeCIF.
Bulletin of the EATCS 67: 82-92 (1999) |
| 6 | | Felix Cornelius,
Michael Baldamus,
Hartmut Ehrig,
Fernando Orejas:
Abstract and behaviour module specifications.
Mathematical Structures in Computer Science 9(1): 21-62 (1999) |
| 1996 |
|---|
| 5 | | Robert Geisler,
Marcus Klar,
Felix Cornelius:
InterACT: An Interactive Theorem Prover for Algebraic Specifications.
AMAST 1996: 563-566 |
| 1995 |
|---|
| 4 | | Marcus Klar,
Robert Geisler,
Felix Cornelius:
InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.
COMPASS/ADT 1995: 291-395 |
| 3 | | Uwe Wolter,
Klaus Didrich,
Felix Cornelius,
Marcus Klar:
How to Cope with the Spectrum of SPECTRUM.
KORSO Book 1995: 173-189 |
| 2 | | Felix Cornelius,
Heinrich Hußmann,
Michael Löwe:
The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System.
KORSO Book 1995: 417-432 |
| 1991 |
|---|
| 1 | | Hartmut Ehrig,
Michael Baldamus,
Felix Cornelius,
Fernando Orejas:
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
AMAST 1991: 145-172 |
