Biblio

Export 133 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
Filters: Author is Ehrich, H.-D.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
Ehrich, H. - D., "Outline of an Algebraic Theory of Structured Objects", Proc. 3rd ICALP, pages 508-530: Edinburgh University Press, 1976. Abstract  Download: 1976EdinBurgh.pdf (966.41 KB)
Ehrich, H. - D., "Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics", Proc Workshop on Category Theory and Computer Programming: Springer, Berlin, LNCS series, pp. 412-433, 1986. Abstract  Download: 1986KeyExtens.pdf (277.5 KB)
Ehrich, H. - D., "BWG-Kommission „Das Kulturelle Erbe im Digitalen Zeitalter“", Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2017_32, pp. 210-212, 06/2018.  Download: 2017_32_Jahrbuch_BWG_Ehrich.pdf (509.2 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., "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., and (ed), "Proceedings", GI – 14. Jahrestagung, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984. Abstract
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)
Ehrich, H. - D., "Spezifikation konzeptioneller Schemata mit abstrakten Datentypen und Versionen", Proc. GI-Fachgespräch ``Entwurf von Informationssystemen - Methoden und Modelle'', pp. 1-19, 1985. Abstract  Download: 1985Tutzing.pdf (877.62 KB)
Ehrich, H. - D., A. Sernadas, and C. Sernadas, "Objects, Object Types, and Object Identification", Categorical Methods in Computer Science: LNCS 393, Springer, Berlin, pp. 142-156, 1989. Abstract  Download: 1989ObjOtypOid.pdf (313.66 KB)
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., "Abstract Data Types", The Concise Handbook of Algebra: Kluwer Academic Publishers, pp. 486-490, 2002. Abstract  Download: 2002HandbAlgebra.pdf (528.49 KB)
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)
Ehrich, H. - D., "Extensions and Implementations of Abstract Data Type Specifications", Proc. 7th MFCS: Springer LNCS 64, pages 155–164, 1978. Abstract  Download: 1978MFCS.pdf (217.71 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., "Zur Theorie abstrakter Datentypen", Wiss. Z. Techn. Univ. Dresden, vol. 29,2, pp. 344-346, 1980.  Download: 1980Dresden.pdf (326.3 KB)
Ehrich, H. - D., "A Note on State Minimization of a Special Class of lncomplete Sequential Machines", IEEE Transactions on Computers, vol. C-21, No. 5: The Institute of Electrical and Electronics Engineers, Inc., pp. 500-502, 1972. Abstract  Download: 1972IEEE-C-21.pdf (144.06 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)
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)
Engels, G., U. Hohenstein, L. Neugebauer, G. Saake, and H. - D. Ehrich, "Konzeption einer integrierten Datenbank-Entwurfsumgebung", Proc1 DBTA/SI Conf1 ``Data Dictionaries und Entwicklungswerkzeuge für Datenbankanwendungen'': Verlag der Fachvereine an den Schweiz1 Hochschulen und Techniken, Zürich, pp. 151-157, 1988. Abstract  Download: 1988DBEntwUmg1.pdf (692.07 KB)
G
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)
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)
Gogolla, M., and H. - D. Ehrich, Contributions to: Algebraic System Specification and Development, , Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F. and Sannella, D., editors: Springer, Berlin, LNCS 501, 1991. Abstract
Grau, A., K. Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore, Springer, LNCS 1507, pp. 277-290, 1998. Abstract  Download: 1998ER.pdf (336.76 KB)
Grau, A., M. Kowsari, and H. - D. Ehrich, "A CASE-Tool Environment for Developing and Validating Conceptual Models (Poster Session)", 9th Conference on Advanced Information Systems Engineering (CAISE'97), Barcelona, June 18-20, 1997. Abstract
H
Hartmann, T., R. Jungclaus, G. Saake, and H. - D. Ehrich, "Spezifikation von Objektsystemen", Objektbanken für Experten: Springer, Berlin, Reihe Informatik aktuell, pp. 220-242, 1992. Abstract  Download: 1992ObjBankExpert.pdf (1.72 MB)