Home › Biblio

Biblio

Export 100 results:
Sort by: Author Keyword Title [ Type (Desc)] Year
Filters: Author is Ehrich, H.-D.  [Clear All Filters]
Miscellaneous
Ehrich, H. - D., M. Gogolla, and U. W. Lipeck, Algebraische Spezifikation abstrakter Datentypen, : Teubner, Stuttgart, 1989. Abstract
Loeckx, J., H. - D. Ehrich, and M. Wolf, Specification of abstract data types, : J. Wiley & Sons and B.G.Teubner Publishers, 1996. 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
Journal Article
Ehrich, H. - D., "Algebraic (?) specification of conceptual database schemata (extended abstract)", Recent Trends in Data Type Specification, Informatik-Fachberichte, vol. 116: Springer, 1985.
Gogolla, M., K. Drosten, U. W. Lipeck, and H. - D. Ehrich, "Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors", Theoretical Computer Science, vol. 34, 1984. Abstract
Ehrich, H. - D., and U. Lipeck, "Algebraic domain equations", Theoretical Computer Science, vol. 27, pp. 167-196, 1983. Abstract
Gogolla, M., and H. - D. Ehrich, "Algebraic Specifications with Subsorts Using Declarations", EATCS Bulletin, vol. 21, pp. 31-38, 1983. Abstract
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
Kowsari, M., P. Hartel, G. Denker, and H. - D. Ehrich, A Case Study in Information System Design, The CATC System, , 1996. Abstract
Grau, A., M. Kowsari, and H. - D. Ehrich, A CASE-Tool Environment for Developing and Validating Conceptual Models, , 1997. Abstract
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
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
Ramm, I., and H. - D. Ehrich, "Einführung in das Projekt: Entwurf einer Benutzerschnittstelle für eine graphisch-alphanumerische Datenbank", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe I, no. Heft 95, pp. 115-124, 1985. Abstract
Ehrich, H. - D., "Entwicklung zuverlässiger Informationssysteme", Informatik -- Forschung und Entwicklung, vol. 8, no. 3, pp. 160-161, 1993. Abstract
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Entwicklung zuverlässiger Informationssysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995. Abstract
Ehrich, H. - D., A. Sernadas, and C. Sernadas, "From Data Types to Object Types", Journal on Information Processing and Cybernetics EIK, vol. 26, no. 1-2, pp. 33-48, 1990. Abstract
Sernadas, A., H. - D. Ehrich, and J. - F. Costa, "From Processes to Objects", The INESC Journal of Research and Development 1:1, pp. 7-27, 1990. Abstract
Ehrich, H. - D., "Fundamentals of Object-Oriented Information Systems Specification and Design: The OBLOG/TROLL Approach", Nuclear Instruments and Methods in Physics Research A: Elsevier, Amsterdam, pp. 375-378, 1994. Abstract
Drosten, K., M. Gogolla, H. - D. Ehrich, and U. Lipeck, "A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications", Berichte der Abteilung Informatik, vol. 144: Universität Dortmund, 1982. Abstract
Hartel, P., G. Denker, M. Kowsari, M. Krone, and H. - D. Ehrich, "Information systems modelling with TROLL formal methods at work", Information Systems, vol. 22, no. 2-3, pp. 79-99, 1997. Abstract
Ehrich, H. - D., "Informationssysteme - Hilfe für Dienstleister aller Art", Carolo-Wilhelmina Mitteilungen, vol. Band 35 (S, pp. 46-47, 2000. Abstract
Ehrich, H. - D., "Konzeptionelle Modellierung von Informationssystemen", Carolo-Wilhelmina Mitteilungen, vol. Band 34 (S, pp. 16-19, 1999. 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
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
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
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
Ehrich, H. - D., and C. Caleiro, "Specifying Communication in Distributed Information Systems", Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000. 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
Conference Proceedings
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
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
Ehrich, H. - D., and A. Sernadas, "Algebraic Implementation of Objects over Objects", Proc1 REX Workshop ``Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness'': LNCS 430, Springer, Berlin, pp. 239-266, 1990. Abstract
Engels, G., U. Hohenstein, G. Saake, and H. - D. Ehrich, "Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung", Proc1 GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988. Abstract
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "The Basic Building Blocks of Information Systems", Information System Concepts: An In-Depth Analysis: North-Holland, Amsterdam, 1989, pp. 225-246, 1989. Abstract
Engels, G., U. Hohenstein, K. Hülsmann, P. Löhr-Richter, and H. - D. Ehrich, "CADDY: Computer-Aided Design of Non-Standard Databases", Proc1 1st Int1 Conf1 on System Development Environments and Factories: Pitman, London, 1990. Abstract
Ehrich, H. - D., J. A. Goguen, and A. Sernadas, "A Categorial Theory of Objects as Observed Processes", Proc1 REX/FOOL Workshop: LNCS 489, Springer, Berlin, pp. 203-228, 1990. Abstract