Biblio

Export 106 results:
Sort by: [ Author  (Asc)] 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
Ebert, J., and G. Engels, "Konzepte einer Software-Architektur-Beschreibungssprache", Tagungsband GI-Fachtagung ``Software-Entwicklung'': Informatik-Fachbericht Nr. 212, Springer, Berlin, 1989. Abstract
Eckstein, S., "Towards a Module Concept for Object Oriented Specification Languages", Proc1 3rd Int. Baltic Workshop on Data Bases and Information Systems, Riga, Latvia, April 15-17, vol. 2: Institute of Mathematics and Informatics, University of Latvia, Latvian Academic Library, pp. 180-188, 1998. Abstract
Eckstein, S., P. Ahlbrecht, and K. Neumann, "Increasing Reusability in Information Systems Development by Applying Generic Methods", Proc. 13th Int. Conf. on Advanced Information Systems Engineering (CAiSE'01), Interlaken: Springer, pp. 251-266, 2001. Abstract
Eckstein, S., "Modules for Object Oriented Specification Languages: A Bipartite Approach", Proc1 5th Doctoral Consortium on Advanced Information Systems Engineering (CAiSE'98), Pisa, Italy, June 8-9, 1998: Tech. Report, ETH Zürich, 1998. Abstract
Eckstein, S., and C. Täubner, "An Extendable System for Conceptual Modeling and Simulation of Signal Transduction Pathways", International Workshop on Conceptual Modelling for Life Sciences Applications (CMLSA 2007) at ER 2007: Springer, pp. 54-63, 2007. Abstract
Eckstein, S., "Anforderungen an ein Modulkonzept für objektorientierte Spezifikationssprachen", 9. Workshop Grundlagen von Datenbanke1 , Königslutter, Mai 20-23 1997: Forschungsbericht Nr. 643, Fachbereich Informatik, Univ. Dortmund, pp. 16-20, 1997. Abstract
Eckstein, R., and S. Eckstein, "Conceptual Modeling XML-Schemata Using UML", Proc. CAiSE'04 Forum, 15th Int. Conf. on Advanced Information Systems Engineering, pp. 122 - 131, 2004. Abstract
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., "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)
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., J. A. Goguen, and A. Sernadas, "A Categorial Theory of Objects as Observed Processes", Proc REX/FOOL Workshop: LNCS 489, Springer, Berlin, pp. 203-228, 1991. Abstract  Download: 1991CatTheorObjObservProc.pdf (533.9 KB)
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., and (ed), "Proceedings Fachgespräche", GI – 14. Jahrestagung, Braunschweig, Springer, 1984. Abstract
Ehrich, H. - D., and K. Neumann, Datenbanksysteme II, , no. 34: Technische Universität Braunschweig, 1996. Abstract
Ehrich, H. - D., K. Drosten, M. Gogolla, U. Lipeck, and (eds), "Abstracts of the 4th Workshop on Specification of Abstract Data Types", Abstracts of the 4th Workshop on Specification of Abstract Data Types: Informatik-Bericht Nr. 86-09, Technische Universität Braunschweig, 1986. Abstract
Ehrich, H. - D., "Entwicklung zuverlässiger Informationssysteme", Informatik -- Forschung und Entwicklung, vol. 8, no. 3, pp. 160-161, 1993. Abstract  Download: 1993KorSo2.pdf (91.63 KB)
Ehrich, H. - D., G. Engels, M. Gogolla, G. Saake, and (eds), "Abstracts des Workshops "Grundlagen von Datenbanken"", Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989. Abstract
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 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., "KORSO Reference Languages -- Concepts and Application Domains", M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report, pages 150–172. Springer, LNCS 1009, 1995. Abstract  Download: 1995KORSOref.pdf (444.2 KB)
Ehrich, H. - D., "Informationssysteme - Hilfe für Dienstleister aller Art", Carolo-Wilhelmina Mitteilungen, vol. Band 35 (Sonderheft "10 Jahre Simultan-Studiengänge"), pp. 46-47, 2000. Abstract  Download: 2000CWM.pdf (461.8 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., "Zur Theorie abstrakter Datentypen", Wiss. Z. Techn. Univ. Dresden, vol. 29,2, pp. 344-346, 1980.  Download: 1980Dresden.pdf (326.3 KB)