 | 1993 |
|---|
| 12 |       | Horst Hansen,
Ralf-Detlef Kutsche:
Medical Applications of ODP.
Open Distributed Processing 1993: 67-99 |
| 1991 |
|---|
| 11 | | Horst Hansen,
Ralf-Detlef Kutsche,
Joachim Steffens:
The PADKOM System Model - An Open Platform for Medical Applications in a Distributed Multimedia Environment.
Open Distributed Processing 1991: 241-252 |
| 1990 |
|---|
| 10 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen,
Michael Löwe,
Dean Jacobs,
Francesco Parisi-Presicce:
Compatibility Problems in the Development of Algebraic Module Specifications.
Theor. Comput. Sci. 77(1&2): 27-71 (1990) |
| 1989 |
|---|
| 9 |  | Hartmut Ehrig,
Werner Fey,
Horst Hansen,
Michael Löwe,
Dean Jacobs:
Algebraic Software Development Concepts for Module and Configuration Families.
FSTTCS 1989: 181-192 |
| 8 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen,
Michael Löwe,
Dean Jacobs,
Anno Langen,
Francesco Parisi-Presicce:
Algebraic Specification of Modules and Configuration Families.
Elektronische Informationsverarbeitung und Kybernetik 25(5/6): 205-232 (1989) |
| 1988 |
|---|
| 7 | | Werner Fey,
Hartmut Ehrig,
Horst Hansen,
Michael Löwe:
Algebraic Theory of Modular Specification Development.
ADT 1988 |
| 6 | | Horst Hansen,
Michael Löwe:
Modular Algebraic Specifications.
ALP 1988: 168-179 |
| 5 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen,
Michael Löwe,
Francesco Parisi-Presicce:
Categories for the Development of Algebraic Module Specifications.
Categorial Methods in Computer Science 1988: 157-184 |
| 1987 |
|---|
| 4 | | Horst Hansen:
The ACT System: Experiences and Future Enhancements.
ADT 1987: 113-130 |
| 1986 |
|---|
| 3 | | Horst Hansen:
From Algebraic Specifications towards Algebraic Programs.
ADT 1986 |
| 1984 |
|---|
| 2 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen:
Towards Abstract User Interfaces for Formal System Specifications.
ADT 1984: 73-88 |
| 1983 |
|---|
| 1 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen:
ACT ONE - An Algebraic Specification Language with two Levels of Semantics.
ADT 1983 |
