Biblio

Export 133 results:
Sort by: [ Author  (Desc)] 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 
G
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
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)
E
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)
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., "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  Download: 1994CERN.pdf (280.86 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)
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., and K. Neumann, Datenbanksysteme II, , no. 34: Technische Universität Braunschweig, 1996. Abstract
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)
Ehrich, H. - D., and C. Caleiro, "Specifying Communication in Distributed Information Systems", Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000. Abstract  Download: 2000Acta.pdf (174.2 KB)
Ehrich, H. - D., "Theory of Direct-Access Storage Functions", Proc. IFIP'74 Congress, pp 647-651: North-Holland, 1974. Abstract  Download: 1974IFIP.pdf (217.89 KB)
Ehrich, H. - D., K. Drosten, and M. Gogolla, "Towards an Algebraic Semantics for Database Specification", Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2), Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988. Abstract  Download: 1988Albufeira.pdf (1.08 MB)
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., "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., K. - D. Schewe, and T. H. Tse(eds), "Special Issue Quality Software", Journal of Systems and Software, vol. 79, no. 5: Elsevier B.V., 2006. Abstract  Download:  2006editorialSpecIssueJSS.pdf (241.7 KB)
Ehrich, H. - D., "My ADT Shrine, invited lecture", Selected Papers from WADT 2010, Till Mossakowski and Hans-Jörg Kreowski, eds., Bremen, Springer LNCS 7137, pp. 13-24, 2012. Abstract  Download: 2012LNCS7137WADT10.pdf (498.99 KB)
Ehrich, H. - D., and J. W. Lipski, "On the Storage Space Requirement of Consecutive Retrieval with Redundancy", Information Processing Letters, vol. 4 (4), pp. 101-104, 1976.  Download: 1976ConsecRetrieval.pdf (168.16 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., "Eine Mathematische Semantik für die Beschreibung von Datenstrukturen", Graphen, Algorithmen, Datenstrukturen: Hanser Appl Comp. Sc. 4, pp 53-64, 1976. Abstract  Download: 1976Graphen2.pdf (716.42 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., 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  Download: 2003JUCS.pdf (167.55 KB)
Ehrich, H. - D., and (ed), "Proceedings", GI – 14. Jahrestagung, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984. Abstract
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)
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., "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., and V. G. Lohberger, "Parametrie Specification of Abstract Data Types, Parameter Substitution, and Graph Replacements", Proceedings of the Workshop on "Graphentheoretische Konzepte in der Informatik": Hanser-Verlag, 1979. Abstract  Download: 1979Graphen4.pdf (792.42 KB)