Hans-Dieter Ehrich
Hans-Dieter Ehrich
Profesoor emeritus of information systems
Verified email at tu-bs.de
TitleCited byYear
Specification of abstract data types
J Loeckx, HD Ehrich, M Wolf
John Wiley & Sons, Inc., 1997
3171997
On the theory of specification, implementation, and parametrization of abstract data types
HD Ehrich
Journal of the ACM (JACM) 29 (1), 206-227, 1982
1931982
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
1921992
Algebraische Spezifikation abstrakter Datentypen: eine Einführung in die Theorie
HD Ehrich, M Gogolla, UW Lipeck
Springer-Verlag, 2013
1622013
A categorial theory of objects as observed processes
HD Ehrich, JA Goguen, A Sernadas
Workshop/School/Symposium of the REX Project (Research and Education in …, 1990
1151990
The basic building blocks of information systems
A Semadas, J Fiadeiro, C Sernadas, HD Ehrich
Information System Concepts: An In-Depth Analysis, 225-246, 1989
971989
What is an object, after all?
A Sernadas, HD Ehrich
DS-4, 39-69, 1990
891990
Abstract object types: A temporal perspective
A Sernadas, J Fiadeiro, C Sernadas, HD Ehrich
Temporal Logic in Specification, 324-350, 1989
711989
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
681984
Algebraic implementation of objects over objects
HD Ehrich, A Sernadas
Workshop/School/Symposium of the REX Project (Research and Education in …, 1989
671989
Logics for specifying concurrent information systems
HD Ehrich, C Caleiro, A Sernadas, G Denker
Logics for Databases and Information Systems, 167-198, 1998
621998
Objects and their specification
HD Ehrich, M Gogolla, A Sernadas
Recent Trends in Data Type Specification, 40-65, 1991
591991
Fundamental object concepts and constructions
HD Ehrich, A Sernadas
Information Systems {Correctness and Reusability, TU Braunschweig …, 1991
591991
Local specification of distributed families of sequential objects
HD Ehrich, A Sernadas
Recent Trends in Data Type Specification, 219-235, 1994
571994
Model checking PLC software written in function block diagram
O Pavlovic, HD Ehrich
2010 Third International Conference on Software Testing, Verification and …, 2010
562010
>From Data Types to Object Types
HD Ehrich, A Sernadas, C Sernadas
Elektronische Informationsverarbeitung und Kybernetik 26 (1/2), 33-48, 1990
551990
Objects, object types, and object identification
HD Ehrich, A Sernadas, C Sernadas
Categorical Methods in Computer Science with Aspects from Topology, 142-156, 1989
481989
Specifying communication in distributed information systems
HD Ehrich, C Caleiro
Acta Informatica 36 (8), 591-616, 2000
472000
Object specification
HD Ehrich
Algebraic Foundations of Systems Specification, 435-465, 1999
471999
SPECIFICATIDN, SEMANTICS, AND ENFDRCEMENT DF DYNAMIC DATABASE CONSTRAINTS
HD Ehrich, UW Lipeck, M Gogolla
461984
The system can't perform the operation now. Try again later.
Articles 1–20