Hans-Dieter Ehrich
Hans-Dieter Ehrich
Profesoor emeritus of information systems
Bestätigte E-Mail-Adresse bei tu-bs.de
Titel
Zitiert von
Zitiert von
Jahr
Specification of abstract data types
J Loeckx, HD Ehrich, M Wolf
John Wiley & Sons, Inc., 1997
3211997
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
1931992
On the theory of specification, implementation, and parametrization of abstract data types
HD Ehrich
Journal of the ACM (JACM) 29 (1), 206-227, 1982
1921982
Algebraische Spezifikation abstrakter Datentypen: eine Einführung in die Theorie
HD Ehrich, M Gogolla, UW Lipeck
Springer-Verlag, 2013
1692013
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
1161990
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
981989
What is an object, after all?
A Sernadas, HD Ehrich
DS-4, 39-69, 1990
891990
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
721984
Abstract object types: A temporal perspective
A Sernadas, J Fiadeiro, C Sernadas, HD Ehrich
Temporal Logic in Specification, 324-350, 1989
701989
Algebraic implementation of objects over objects
HD Ehrich, A Sernadas
Workshop/School/Symposium of the REX Project (Research and Education in …, 1989
661989
Model checking PLC software written in function block diagram
O Pavlovic, HD Ehrich
2010 Third International Conference on Software Testing, Verification and …, 2010
632010
Logics for specifying concurrent information systems
HD Ehrich, C Caleiro, A Sernadas, G Denker
Logics for Databases and Information Systems, 167-198, 1998
631998
Objects and their specification
HD Ehrich, M Gogolla, A Sernadas
Recent Trends in Data Type Specification, 40-65, 1991
591991
Local specification of distributed families of sequential objects
HD Ehrich, A Sernadas
Recent Trends in Data Type Specification, 219-235, 1994
571994
Fundamental object concepts and constructions
HD Ehrich, A Sernadas
Information Systems {Correctness and Reusability, TU Braunschweig …, 1991
561991
>From Data Types to Object Types
HD Ehrich, A Sernadas, C Sernadas
Elektronische Informationsverarbeitung und Kybernetik 26 (1/2), 33-48, 1990
531990
SPECIFICATIDN, SEMANTICS, AND ENFDRCEMENT DF DYNAMIC DATABASE CONSTRAINTS
HD Ehrich, UW Lipeck, M Gogolla
521984
Object specification
HD Ehrich
Algebraic Foundations of Systems Specification, 435-465, 1999
481999
Specifying communication in distributed information systems
HD Ehrich, C Caleiro
Acta Informatica 36 (8), 591-616, 2000
472000
Objects, object types, and object identification
HD Ehrich, A Sernadas, C Sernadas
Categorical Methods in Computer Science with Aspects from Topology, 142-156, 1989
451989
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20