Specification of abstract data types J Loeckx, HD Ehrich, M Wolf John Wiley & Sons, Inc., 1997 | 358 | 1997 |
Conceptual modelling of database applications using an extended ER model G Engels, M Gogolla, U Hohenstein, K Hülsmann, P Löhr-Richter, ... Data & Knowledge Engineering 9 (2), 157-204, 1992 | 207 | 1992 |
On the theory of specification, implementation, and parametrization of abstract data types HD Ehrich Journal of the ACM (JACM) 29 (1), 206-227, 1982 | 206 | 1982 |
Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie HD Ehrich, M Gogolla, UW Lipeck Springer-Verlag, 2013 | 179 | 2013 |
A categorial theory of objects as observed processes HD Ehrich, JA Goguen, A Sernadas Foundations of Object-Oriented Languages: REX School/Workshop …, 1991 | 120 | 1991 |
The basic building blocks of information systems A Sernadas, J Fiadero, C Sernadas, HD Ehrich, ED Falkenberg Information System Concepts: An In-Depth Analysis, 1989 | 101 | 1989 |
Model checking PLC software written in function block diagram O Pavlovic, HD Ehrich 2010 Third International Conference on Software Testing, Verification and …, 2010 | 98 | 2010 |
What is an object, after all? A Sernadas, HD Ehrich DS-4, 39-69, 1990 | 97 | 1990 |
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998 | 72 | 1998 |
Abstract object types: A temporal perspective A Sernadas, J Fiadeiro, C Sernadas, HD Ehrich Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 …, 2005 | 67 | 2005 |
Algebraic implementation of objects over objects HD Ehrich, A Sernadas Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990 | 65 | 1990 |
Algebraic and operational semantics of specifications allowing exceptions and errors M Gogolla, K Drosten, U Lipeck, HD Ehrich Theoretical Computer Science 34 (3), 289-313, 1984 | 65 | 1984 |
Local specification of distributed families of sequential objects HD Ehrich, A Sernadas Workshop on the Specification of Abstract Data Types, 219-235, 1994 | 61 | 1994 |
Fundamental object concepts and constructions HD Ehrich, A Sernadas Information Systems {Correctness and Reusability, TU Braunschweig …, 1991 | 61 | 1991 |
Objects and their Specification HD Ehrich, M Gogolla, A Sernadas Workshop on the Specification of Abstract Data Types, 40-65, 1991 | 57 | 1991 |
>From Data Types to Object Types HD Ehrich, A Sernadas, C Sernadas Elektronische Informationsverarbeitung und Kybernetik 26 (1/2), 33-48, 1990 | 56 | 1990 |
SPECIFICATIDN, SEMANTICS, AND ENFDRCEMENT DF DYNAMIC DATABASE CONSTRAINTS HD Ehrich, UW Lipeck, M Gogolla | 56 | 1984 |
Specifying communication in distributed information systems HD Ehrich, C Caleiro Acta Informatica 36 (8), 591-616, 2000 | 55 | 2000 |
Object specification HD Ehrich Algebraic Foundations of Systems Specification, 435-465, 1999 | 51 | 1999 |
Objects, object types, and object identification HD Ehrich, A Sernadas, C Sernadas Categorical Methods in Computer Science with Aspects from Topology, 142-156, 2005 | 44 | 2005 |