Home › Biblio

Biblio

Export 106 results:
Sort by: [ Author (Desc)] Keyword Title Type Year
Filters: First Letter Of Last Name is E  [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   [Show ALL]
E
Engels, G., T. Janning, and W. Schäfer, "A Highly Integrated Tool Set for Program Development Support", Proc1 ACM Symposium on Personal and Small Computers: ACM, New York, 1988. Abstract
Engels, G., M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H. - D. Ehrich, Conceptual Modelling of Database Applications Using an Extended ER Model, , no. 90-05: Technische Universität Braunschweig, 1990. Abstract
Engels, G., and A. Schürr, "A Hybrid Interpreter in a Software Development Environment", Proc. 1st European Software Engineering Conference: LNCS 289, Springer, Berlin, 1988. Abstract
Engels, G., and P. Löhr-Richter, "CADDY - A Highly Integrated Environment to Support Conceptual Database Design", Proc1 5th Int1 Workshop on CASE, July 6.-10., 1992, Montreal (Canada): IEEE Computer Society Press, pp. 19-22, 1992. Abstract
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., "Elementary Actions on an Extended Entity-Relationship Database", Proc1 of the 4th Intern1 Workshop on Graph Grammars and Their Application to Computer Science: LNCS Series, Springer, 1991. Abstract
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)
Engels, G., M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H. - D. Ehrich, "Conceptual modelling of database applications using an extended ER model", Data & Knowledge Engineering, North-Holland, vol. 9, no. 2, pp. 157-204, 1992. Abstract  Download: 1992DKE.pdf (883.85 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. Pletat, and H. - D. Ehrich, "An operational semantics for specification of abstract data types with error handling", Acta Informatica, vol. 19: Springer, pp. 235-253, 1983. Abstract  Download: 1983Acta.pdf (667.18 KB)
Engels, G., "CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata", Proc1 GI-Fachtagung ``Interaktive Schnittstellen für Informationssysteme'', pp. 1-16, 1989. Abstract
Engels, G., and W. Schäfer, Programmentwicklungsumgebungen, Konzepte und Realisierung, : Teubner, Stuttgart, 1989. Abstract
Einer, S., and A. Grau, "Integrating Petri Nets and \sc Troll in the Modeling of Engineering Systems", Proc. of the IEEE TC-ECBS and IFIP WG 10.1 Joint Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) Washington DC, pp. 7-12, April, 2001. Abstract
Ehrich, H. - D., J. A. Goguen, A. Sernadas, and (eds), "Foundations of Information Systems Specification and Design", Dagstuhl Seminar Report No. 35, Schloss Dagstuhl, IBFI GmbH, 1992. Abstract
Ehrich, H. - D., and V. G. Lohberger, "Constructing Specifications of Abstract Data Types by Replacements", Proc. Int. Colloquium on Graph Grammars: Springer LNCS 73, pp 180-191, 1978. Abstract  Download: 1978SpecReplace.pdf (214.4 KB)
Ehrich, H. - D., G. Engels, J. Paradaens, P. Wegner, and (eds), Fundamentals of Object- Oriented Languages. Dagstuhl Seminar Report Nr. 95 (9434), , Schloss Dagstuhl, IBFI GmbH, 1994.  Download: 1994DagstuhlSeminar9434.pdf (336.72 KB)
Ehrich, H. - D., Object Specification, , no. 96-07: TU Braunschweig, 1996. Abstract
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, and G. Denker, "Object Roles and Phases", Proc Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 114-121, 1993. Abstract
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)
Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik - Erkenntnisse aus der Datenflut?", Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. LVII: J. Cramer Verlag, pp. 9-34, 2007. Abstract  Download: 2007BWG.pdf (491.15 KB)
Ehrich, H. - D., "Proving Implementations Correct - Two Alternative Approaches", IFIP Congress 1980: North-Holland Publ. Comp., 1980. Abstract  Download: 1980IFIP.pdf (384.86 KB)
Ehrich, H. - D., "Minimale und rn-minimale Variablenmengen für partielle Boole'sche Funktionen", Acta Informatica, vol. 2: Springer, pp. 172-179, 1973. Abstract  Download: 1973Acta.pdf (273.93 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., G. Saake, and A. Sernadas, "Concepts of Object-Orientation", Proc of the 2nd Workshop of ``Informationssysteme und Künstliche Intelligenz: Modellierung'', Ulm (Germany): Springer IF 303, pp. 1-19, 1992. Abstract  Download: 1992ConcObjOr.pdf (208.55 KB)
Ehrich, H. - D., "On Realization and Implementation", MFCS: Springer LNCS 118, 1981. Abstract  Download: 1981MFCS.pdf (167.47 KB)
Ehrich, H. - D., "Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme", Acta Informatica, vol. 4: Springer, pp. 299-310, 1975. Abstract  Download: 1975Acta2.pdf (425.6 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, "Fundamental Object Concepts and Constructions", Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 1-24, 1991. Abstract
Ehrich, H. - D., "Konzeptionelle Modellierung von Informationssystemen", Carolo-Wilhelmina Mitteilungen, vol. Band 34 (Schwerpunktheft Informatik), pp. 16-19, 1999. Abstract  Download: 1999CWM.pdf (515.72 KB)
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., M. Kollmann, and R. Pinger, "Distributed Model Checking", Proc. FM-TOOLS 2002, pp. 53-58, 2002. Abstract  Download: 2002FMTOOLS.pdf (595.59 KB)
Ehrich, H. - D., and (ed), "Proceedings Fachgespräche", GI – 14. Jahrestagung, Braunschweig, 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., 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)