Ehrich, H. - D., K. Alber, G. Stiege, R. Vollmar, and D. Wätjen,
"40 Jahre Informatik an der Technischen Universität Braunschweig 1972-2012",
Lecture Notes in Informatics, vol. T-6, Bonn, Gesellschaft für Informatik, pp. 188, 2012.
Ehrich, H. - D., R. Jungclaus, G. Denker, and A. Sernadas,
"Object-Oriented Design of Information Systems: Theoretical Foundations",
Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 201-218, 1994.
Abstract
Download: 1994CISM1.pdf (266.62 KB)
Ehrich, H. - D., Y. Feng, D. Kung, and (eds),
Object-Oriented Software Development, Dagstuhl Seminar Report 9715,
, Schloss Dagstuhl, IBFI GmbH, 1997.
Download: 1997DagstuhlSemina9715.pdf (196.96 KB)
Ehrich, H. - D., K. Drosten, and M. Gogolla,
"Towards an Algebraic Semantics for Database Specification",
Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2), Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988.
Abstract
Download: 1988Albufeira.pdf (1.08 MB)
Ehrich, H. - D.,
"My ADT Shrine, invited lecture",
Selected Papers from WADT 2010, Till Mossakowski and Hans-Jörg Kreowski, eds., Bremen, Springer LNCS 7137, pp. 13-24, 2012.
Abstract
Download: 2012LNCS7137WADT10.pdf (498.99 KB)
Ehrich, H. - D., M. Kollmann, and R. Pinger,
"Checking Object System Designs Incrementally",
Journal of Universal Computer Science, vol. 9, no. 2, pp. 106-119, February, 2003.
Abstract
Download: 2003JUCS.pdf (167.55 KB)
Ehrich, H. - D., and A. Sernadas,
"Local Specification of Distributed Families of Sequential Objects",
Recent Trends in Data Types Specification, Proc1 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers: Springer, Berlin, LNCS 906, pp. 219-235, 1995.
Abstract
Download: 1995LocSpecDistr.pdf (350.23 KB)
Ehrich, H. - D., A. Sernadas, and C. Sernadas,
"Abstract Object Types for Databases",
Advances in Object-Oriented Database Systems: LNCS 334, Springer, Berlin, 1988, pp. 144-149, 1988.
Abstract
Download: 1988AbstrObjTypes.pdf (549.79 KB)
Ehrich, H. - D., and A. Sernadas,
"Algebraic Implementation of Objects over Objects",
Proc REX Workshop ``Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness'': LNCS 430, Springer, Berlin, pp. 239-266, 1990.
Abstract
Download: 1990AlgImplem.pdf (479.42 KB)