Home › Biblio

Biblio

Export 100 results:
Sort by: Author Keyword [ Title (Desc)] 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 
\
Ehrich, H. - D., "\sc Korso Reference Languages -- Concepts and Application Domains", KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 150-172, 1995. Abstract
Gogolla, M., and H. - D. Ehrich, \em Contributions to: Algebraic System Specification and Development, \em Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F. and Sannella, D., editors, : Springer, Berlin, LNCS 501, 1991. Abstract
Z
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Zur Entwicklung zuverlässiger Informationssysteme in KorSo", Informatik -- Wirtschaft -- Gesellschaft, Proc.\ 231 GI-Jahrestagun1 (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993. Abstract
W
Sernadas, A., and H. - D. Ehrich, "What Is an Object, After All?", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 39-70, 1991. Abstract
Ü
Ehrich, H. - D., "Überprüfung von Softwareskizzen und -entwürfen", Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft: J1 Cramer Verlag, pp. 69-72, 2001. Abstract
T
Grau, A., J. Küster Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc1 of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore: Springer, LNCS 1507, pp. 277-290, November, 1998. Abstract
Drosten, K., and H. - D. Ehrich, "Translating algebraic specifications to PROLOG programs", Bericht Nr. 84-08, Institut für Informatik: TU Braunschweig, 1984. Abstract
Vlachantonis, N., R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H. - D. Ehrich, "Towards Reliable Information Systems: The KORSO Approach", Proc1 5th Int1 Conf1 on Advanced Information Systems Engineerin1 (CAiSE'93): Springer, Berlin, LNCS 685, pp. 463-482, 1993. Abstract
Ehrich, H. - D., K. Drosten, and M. Gogolla, "Towards an Algebraic Semantics for Database Specification", Proc1 2nd IFIP WG 2.6 Working Conf1 on Database Semantics ``Data and Knowledge'' (DS-2): North-Holland, Amsterdam, pp. 119-135, 1988. Abstract
Hohenstein, U., L. Neugebauer, G. Saake, and H. - D. Ehrich, "Three-Level Specification of Databases Using an Extended Entity-Relationship Model", Proc1 GI-Fachtagung ``Informationsermittlung und -analyse für den Entwurf von Informationssystemen'': Informatik-Fachbericht 143, Springer, Berlin, 1987, pp. 58-88, 1987. Abstract
Ehrich, H. - D., and P. Hartel, "Temporal Specification of Information Systems", Logic and Software Engineering, Proc1 Int1 Workshop in Honor of C.S. Tang,Beijing, 14-15 August 1995: World Scientific, pp. 43-71, 1996. Abstract
S
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
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
Denker, G., and H. - D. Ehrich, "Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic", Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern.\ Workshop, 21-23 July, Canterbury, Kent, UK: Chapman & Hall, pp. 89-104, 1997. Abstract
Ehrich, H. - D., and C. Caleiro, "Specifying Communication in Distributed Information Systems", Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000. Abstract
Lipeck, U. W., H. - D. Ehrich, and M. Gogolla, "Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic", Proc1 IFIP Working Conf1 on Theoretical and Formal Aspects of Information Systems: North-Holland, Amsterdam, pp. 145-157, 1985. Abstract
Ehrich, H. - D., U. W. Lipeck, and M. Gogolla, "Specification, Semantics, and Enforcement of Dynamic Database Constraints", Proc1 Int1 Conf1 on Very Large Databases VLDB '84, pp. 301-308, 1984. Abstract
Loeckx, J., H. - D. Ehrich, and M. Wolf, Specification of abstract data types, : J. Wiley & Sons and B.G.Teubner Publishers, 1996. Abstract
Ehrich, H. - D., K. - D. Schewe, T. H. Tse, and (eds), "Special Issue QSIC 2004", Journal of Systems and Software: Elsevier B.V., 2005. Abstract
Lin, H., H. - D. Ehrich, T. H. Tse, and (eds), "Special Issue QSIC 2003", Information and Software Technology, vol. 46, no. 15: Elsevier B.V., 2004. Abstract
R
Drawin, M., K. Neumann, and H. - D. Ehrich, "Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken", Proc1 Datenbanksysteme in Büro, Technik und Wissenschaft: Informatik-Fachbericht 136, Springer, Berlin, pp. 231-246, 1987. Abstract
P
Ehrich, H. - D., K. - D. Schewe, and (eds), "Proceedings QSIC 2004", QSIC 2004, Braunschweig, IEEE CS Press, 2004. Abstract
Lin, H., H. - D. Ehrich, and (eds), "Proceedings QSIC 2003", QSIC 2003, Dallas, IEEE CS Press, 2003. Abstract
Ehrich, H. - D., and (ed), "Proceedings Fachgespräche", GI – 14. Jahrestagung, Braunschweig, Springer, 1984. Abstract
Ehrich, H. - D., and (ed), "Proceedings", GI – 14. Jahrestagung, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984. Abstract
Durchholz, R., and H. - D. Ehrich, "Proceedings", Workshop on Information and Data Structure Description, München, Bericht der GMD Nr. 139, 1983. Abstract
O
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
Hon, Y. M., J. - T. Tecker, and H. - D. Ehrich, "OOLH: A formal framework for specifying system requirements", SIGSAND-EUROPE 2008, Berlin, Springer LNI, Vol. 129, 2008. Abstract
Ehrich, H. - D., "On the Theory of Specification, Implementation and Parameterization of Abstract Data Types", Journal of the ACM, vol. 29, pp. 206-227, 1982. 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
Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), "Objects, Agents, and Features", Dagstuhl Seminar 03081, Dagstuhl, Springer LNCS 2975, 2004. Abstract
Ehrich, H. - D., M. Gogolla, and A. Sernadas, "Objects and their Specification", Proc1 8th Workshop on Abstract Data Type1 (ADT'91): Springer, Berlin, LNC1 655, pp. 40-65, 1992. Abstract
Sernadas, A., C. Sernadas, and H. - D. Ehrich, "Object-Oriented Specification of Databases: An Algebraic Approach", Proc1 13th Int1 Conf1 on Very Large Databases VLDB'87: VLDB Endowment Press, Saratog1 (CA), pp. 107-116, 1987. Abstract
Saake, G., R. Jungclaus, and H. - D. Ehrich, "Object-Oriented Specification and Stepwise Refinement", Proc1 Open Distributed Processing, Berlin (D), 8.-11.\ Okt1 1991 (IFIP Transactions C: Communication Systems, Vol1 1): North-Holland, pp. 99-121, 1992. Abstract
Saake, G., T. Hartmann, R. Jungclaus, and H. - D. Ehrich, "Object-Oriented Design of Information Systems: \tt TROLL Language Features", Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 219-245, 1994. Abstract