| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 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) |
| 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) |
| 7 | | Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe: Algebraic Theory of Modular Specification Development. ADT 1988 |
| 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 |
| 2 | | Hartmut Ehrig, Werner Fey, Horst Hansen: Towards Abstract User Interfaces for Formal System Specifications. ADT 1984: 73-88 |
| 1 | | Hartmut Ehrig, Werner Fey, Horst Hansen: ACT ONE - An Algebraic Specification Language with two Levels of Semantics. ADT 1983 |
Selection of 7 from 12 records - Horst Hansen has 8 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page