Horst Hansen

13 papers Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
1993 — conf
Medical Applications of ODP.
Open Distributed Processing
Horst Hansen, Ralf-Detlef Kutsche
1991 — conf
The PADKOM System Model - An Open Platform for Medical Applications in a Distributed Multimedia Environment.
Open Distributed Processing
Horst Hansen, Ralf-Detlef Kutsche, Joachim Steffens
1990 J jnl
Compatibility Problems in the Development of Algebraic Module Specifications.
Theor. Comput. Sci.
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
1989 — conf
Algebraic Software Development Concepts for Module and Configuration Families.
FSTTCS
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs
1989 J jnl
Algebraic Specification of Modules and Configuration Families.
J. Inf. Process. Cybern.
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
1988 — conf
Algebraic Theory of Modular Specification Development.
ADT
Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe
1988 — conf
Categories for the Development of Algebraic Module Specifications.
Categorial Methods in Computer Science
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
1988 — conf
Modular Algebraic Specifications.
ALP
Horst Hansen, Michael Löwe
1987 — conf
The ACT System: Experiences and Future Enhancements.
ADT
Horst Hansen
1986 — conf
From Algebraic Specifications towards Algebraic Programs.
ADT
Horst Hansen
1986 — —
Von algebraischen Spezifikationen zu algebraischen Programmen.
Horst Hansen
1984 — conf
Towards Abstract User Interfaces for Formal System Specifications.
ADT
Hartmut Ehrig, Werner Fey, Horst Hansen
1983 — conf
ACT ONE - An Algebraic Specification Language with two Levels of Semantics.
ADT
Hartmut Ehrig, Werner Fey, Horst Hansen