Export 188 results:
Sort by: Author Keyword Title [ Type  (Asc)] Year
Filters: First Letter Of Last Name is E  [Clear All Filters]
Book Chapter
Ehrich, H. - D., "Abstract Data Types", The Concise Handbook of Algebra: Kluwer Academic Publishers, pp. 486-490, 2002. Abstract  Download: 2002HandbAlgebra.pdf (528.49 KB)
Loeckx, J., H. - D. Ehrich, and M. Wolf, "Algebraic specification of abstract data types", Handbook of Logic in Computer Science, Volume 5: Oxford Science Publications, pp. 217-316, 2000. Abstract
Ehrich, H. - D., "KORSO Reference Languages -- Concepts and Application Domains", M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report, pages 150–172. Springer, LNCS 1009, 1995. Abstract  Download: 1995KORSOref.pdf (444.2 KB)
Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", Logic and Computation, vol. 33, London, College Publications, pp. 1-22, 2018.  Download: 2017adt94.pdf (189.66 KB)
Ehrich, H. - D., C. Caleiro, A. Sernadas, and G. Denker, "Logics for Specifying Concurrent Information Systems", Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998. Abstract  Download: 1998ECSD.pdf (255.81 KB)
Ehrich, H. - D., "Object Specification", Algebraic Foundations of Systems Specification: Springer, pp. 435-465, 1999. Abstract  Download: 1999ObjSpec.pdf (243.61 KB)
Gogolla, M., S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "TROLL light --- The Language and Its Development Environment", KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995. Abstract  Download: 1995TrollLight.pdf (971.69 KB)
Ehrich, H. - D., "Überprüfung von Softwareskizzen und -entwürfen", Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft: J Cramer Verlag, pp. 69-72, 2001. Abstract  Download: 2001BWG.pdf (46.05 KB)
Conference Paper
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)
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "Abstract object types: A temporal perspective", Proc. Colloq. on Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli, editors: Springer LNCS 398, 1989. Abstract  Download: 1989AbstrObjTypes.pdf (393.35 KB)
Ehrich, H. - D., G. Engels, M. Gogolla, G. Saake, and (eds), "Abstracts des Workshops "Grundlagen von Datenbanken"", Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989. Abstract
Ehrich, H. - D., K. Drosten, M. Gogolla, U. Lipeck, and (eds), "Abstracts of the 4th Workshop on Specification of Abstract Data Types", Abstracts of the 4th Workshop on Specification of Abstract Data Types: Informatik-Bericht Nr. 86-09, Technische Universität Braunschweig, 1986. Abstract
Denker, G., and H. - D. Ehrich, "Action Reification In Object Oriented Specification", Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop: World Scientific, pp. 103-118, 1995. Abstract  Download: 1995ISCORE.pdf (1.04 MB)
Ehrich, H. - D., "Algebraic (?) specification of conceptual database schemata (extended abstract)", Recent Trends in Data Type Specification, Informatik-Fachberichte, vol. 116: Springer, 1985. Abstract  Download: 1985AlgSpecDB.pdf (349.23 KB)
Gogolla, M., K. Drosten, U. Lipeck, and H. - D. Ehrich, "Algebraic and operational semantics of exceptions and errors", Proc. 6. GI-Fachtagung für Theoretische Informatik: Springer LNCS 145, 1983. Abstract  Download: 1983ExceptErrors.pdf (198.63 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)
Ehrich, H. - D., "Algebraische Spezifikation von Datenstrukturen", Datenstrukturen, Graphen, Algorithmen.: Hanser Appl. Comp. Sc. 8, pp 48-61, 1978. Abstract  Download: 1978Graphen3.pdf (419.04 KB)
Engels, G., U. Hohenstein, G. Saake, and H. - D. Ehrich, "Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung", Proc GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988. Abstract  Download: 1988DBEntwUmg2.pdf (564.82 KB)
Ehrich, H. - D., "An Axiomatic Approach to Information Structures", Proc. 5th MFCS: Springer, LNCS 45, pp 277-283, 1976. Abstract  Download: 1976MFCS.pdf (364.21 KB)
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "The Basic Building Block of Information Systems", Information System Concepts: An In-Depth Analysis: North-Holland, Amsterdam, 1989, pp. 225-246, 1989. Abstract  Download: 1989BBBofIS.pdf (1.08 MB)
Ehrich, H. - D., "Bioinformatik - Modellbildung als Herausforderung für die Informatik", Innovation jenseits von Fachgrenzen, M. Bohnet, H. Hopf, K. Lompe, und H. Oberbeck (Herausgeber), Braunschweig, Technische Universität, pp. 37-50, 2004. Abstract  Download: 2004RVBioInf.pdf (699.23 KB)
Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik: Erkenntnisse aus der Datenflut?", 18. Workshop Grundlagen von Datenbanken, pp. 13-32, June, 2006. Abstract  Download: 2006GrdlDB-Bio.pdf (538.74 KB)
Engels, G., U. Hohenstein, K. Hülsmann, P. Löhr-Richter, and H. - D. Ehrich, "CADDY: Computer-Aided Design of Non-Standard Databases", Proc 1st Int Conf on System Development Environments and Factories: Pitman, London, 1990. Abstract  Download: 1990Caddy.pdf (896.19 KB)
Kowsari, M., P. Hartel, G. Denker, and H. - D. Ehrich, "A Case Study in Information System Design, The CATC System", FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session, 1996. Abstract
Ehrich, H. - D., J. A. Goguen, and A. Sernadas, "A Categorial Theory of Objects as Observed Processes", Proc REX/FOOL Workshop: LNCS 489, Springer, Berlin, pp. 203-228, 1991. Abstract  Download: 1991CatTheorObjObservProc.pdf (533.9 KB)
Ehrich, H. - D., and R. Pinger, "Checking object systems via multiple observers", International ICSC Congress on Intelligent Systems & Applications (ISA'2000) , vol. 1: International Computer Science Conventions (ICSC), Canada, pp. 242-248, 2000. Abstract  Download: 2000ISA.pdf (112.72 KB)
Pinger, R., and H. - D. Ehrich, "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. LNCS 2029: Springer, pp. 32-44, 2001. Abstract  Download: 2001FASE.pdf (171.57 KB)