Follow
Hans-Dieter Ehrich
Hans-Dieter Ehrich
Profesoor emeritus of information systems
Verified email at tu-bs.de
Title
Cited by
Cited by
Year
Specification of abstract data types
J Loeckx, HD Ehrich, M Wolf
John Wiley & Sons, Inc., 1997
3501997
On the theory of specification, implementation, and parametrization of abstract data types
HD Ehrich
Journal of the ACM (JACM) 29 (1), 206-227, 1982
2071982
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
2051992
Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie
HD Ehrich, M Gogolla, UW Lipeck
Springer-Verlag, 2013
1812013
A categorial theory of objects as observed processes
HD Ehrich, J Goguen, A Sernadas
Proc. REX/FOOL Workshop 489, 203-228, 1991
1251991
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
1021989
What is an object, after all?
A Sernadas, HD Ehrich
DS-4, 39-69, 1990
951990
Model checking PLC software written in function block diagram
O Pavlovic, HD Ehrich
2010 Third International Conference on Software Testing, Verification and …, 2010
822010
Algebraic implementation of objects over objects
HD Ehrich, A Sernadas
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness …, 1990
681990
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
672005
Logics for specifying concurrent information systems
HD Ehrich, C Caleiro, A Sernadas, G Denker
Logics for Databases and Information Systems, 167-198, 1998
671998
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
631984
Objects and their Specification
HD Ehrich, M Gogolla, A Sernadas
Recent Trends in Data Type Specification: 8th Workshop on Specification of …, 1993
601993
Local specification of distributed families of sequential objects
HD Ehrich, A Sernadas
Recent Trends in Data Type Specification: 10th Workshop on Specification of …, 2005
592005
Fundamental object concepts and constructions
HD Ehrich, A Sernadas
Information Systems {Correctness and Reusability, TU Braunschweig …, 1991
581991
SPECIFICATIDN, SEMANTICS, AND ENFDRCEMENT DF DYNAMIC DATABASE CONSTRAINTS
HD Ehrich, UW Lipeck, M Gogolla
541984
>From Data Types to Object Types
HD Ehrich, A Sernadas, C Sernadas
Elektronische Informationsverarbeitung und Kybernetik 26 (1/2), 33-48, 1990
521990
Specifying communication in distributed information systems
HD Ehrich, C Caleiro
Acta Informatica 36 (8), 591-616, 2000
512000
Object Specification.
HD Ehrich
Algebraic Foundations of Systems Specification, 435-465, 1999
481999
Objects, object types, and object identification
HD Ehrich, A Sernadas, C Sernadas
Categorical Methods in Computer Science with Aspects from Topology, 142-156, 2005
452005
The system can't perform the operation now. Try again later.
Articles 1–20