Следене
Hans-Dieter Ehrich
Hans-Dieter Ehrich
Profesoor emeritus of information systems
Потвърден имейл адрес: tu-bs.de
Заглавие
Позовавания
Позовавания
Година
Specification of abstract data types
J Loeckx, HD Ehrich, M Wolf
John Wiley & Sons, Inc., 1997
3571997
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
2061992
On the theory of specification, implementation, and parametrization of abstract data types
HD Ehrich
Journal of the ACM (JACM) 29 (1), 206-227, 1982
2061982
Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie
HD Ehrich, M Gogolla, UW Lipeck
Springer-Verlag, 2013
1792013
A categorial theory of objects as observed processes
HD Ehrich, JA Goguen, A Sernadas
Foundations of Object-Oriented Languages: REX School/Workshop …, 1991
1201991
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
1011989
Model checking PLC software written in function block diagram
O Pavlovic, HD Ehrich
2010 Third International Conference on Software Testing, Verification and …, 2010
982010
What is an object, after all?
A Sernadas, HD Ehrich
DS-4, 39-69, 1990
971990
Logics for specifying concurrent information systems
HD Ehrich, C Caleiro, A Sernadas, G Denker
Logics for Databases and Information Systems, 167-198, 1998
721998
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
Algebraic implementation of objects over objects
HD Ehrich, A Sernadas
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990
651990
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
651984
Local specification of distributed families of sequential objects
HD Ehrich, A Sernadas
Workshop on the Specification of Abstract Data Types, 219-235, 1994
611994
Fundamental object concepts and constructions
HD Ehrich, A Sernadas
Information Systems {Correctness and Reusability, TU Braunschweig …, 1991
611991
Objects and their Specification
HD Ehrich, M Gogolla, A Sernadas
Workshop on the Specification of Abstract Data Types, 40-65, 1991
571991
SPECIFICATIDN, SEMANTICS, AND ENFDRCEMENT DF DYNAMIC DATABASE CONSTRAINTS
HD Ehrich, UW Lipeck, M Gogolla
571984
>From Data Types to Object Types
HD Ehrich, A Sernadas, C Sernadas
Elektronische Informationsverarbeitung und Kybernetik 26 (1/2), 33-48, 1990
561990
Specifying communication in distributed information systems
HD Ehrich, C Caleiro
Acta Informatica 36 (8), 591-616, 2000
552000
Object specification
HD Ehrich
Algebraic Foundations of Systems Specification, 435-465, 1999
511999
Objects, object types, and object identification
HD Ehrich, A Sernadas, C Sernadas
Categorical Methods in Computer Science with Aspects from Topology, 142-156, 2005
442005
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20