Export 53 results:
Sort by: Author Keyword Title Type [ Year  (Asc)]
Filters: First Letter Of Title is C  [Clear All Filters]
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)
Hohenstein, U., and M. Gogolla, "A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions", Proc1 7th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 129-148, 1988. Abstract
Engels, G., "CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata", Proc1 GI-Fachtagung ``Interaktive Schnittstellen für Informationssysteme'', pp. 1-16, 1989. Abstract
Lipeck, U. W., and D. S. Feng, "Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints", Proc1 14th Int1 Workshop on Graph-Theoretic Concepts in Computer Science (WG'88): LNCS 344, Springer, Berlin, pp. 166-179, 1989. Abstract
Saake, G., "Conceptual Modeling of Database Applications", Proc1 1st IS/KI Workshop, Ulm (Germany), 1990: Springer, Berlin, LNCS 474, pp. 213-232, 1991. Abstract
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)
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
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
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)
Vlachantonis, N., "A Case Study for an Open CASE System: The TROLL \em light Development Environment", Proc1 4th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'93): Springer, Berlin, LNCS 720, pp. 673-676, 1993. Abstract
Ehrich, H. - D., G. Denker, and A. Sernadas, "Constructing Systems as Object Communities", Proc Theory and Practice of Software Developmen1 (TAPSOFT'93): Springer, Berlin, LNCS 668, pp. 453-467, 1993. Abstract  Download: 1993TAPSOFT.pdf (320.97 KB)
Jungclaus, R., R. J. Wieringa, P. Hartel, G. Saake, and T. Hartmann, "Combining \sc Troll with the Object Modeling Technique", Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software: Springer, Informatik aktuell, pp. 35-42, 1994. Abstract
Herzig, R., S. Conrad, and M. Gogolla, "Compositional Description of Object Communities with TROLL \em light", Proc1 Basque Int1 Workshop on Information Technology (BIWIT'94): C\'epadu\`es-\'Editions, Toulouse, pp. 183-194, 1994. Abstract
Kowsari, M., P. Hartel, G. Denker, and H. - D. Ehrich, "A Case Study in Information System Design, The CATC System", FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session, 1996. 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)
Pinger, R., and H. - D. Ehrich, "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. LNCS 2029: Springer, pp. 32-44, 2001. Abstract  Download: 2001FASE.pdf (171.57 KB)
Grau, A., Computer-Aided Validation of Formal Conceptual Models, : Technical University Braunschweig, Germany, March, 2001. Abstract
Ahlbrecht, P., S. Eckstein, and K. Neumann, "Conceptual Modelling of Mobile Object Systems: Some Language Constructs", Proc. Short Papers at 15th Conf. on Advanced Information Systems Engineering, pp. 89-92, 2003. Abstract
Balke, W. - T., and M. Wagner, "Cooperative Discovery for User- centered Web Service Provisioning", 1st IEEE International Conference on Web Services (ICWS 2003), Las Vegas, NV, USA, 2003. Abstract  Download: icws03.pdf (265.46 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)
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
Mathiak, B., A. Kupfer, C. Täubner, S. Eckstein, and R. Münch, "CaptionSearch: Mining Images from Publications", Mining Complex Data Proceedings of 2005 IEEE ICDM Workshop: Math. Dept., Saint Mary's Univ., Nova Scotia, Canada, 2005. Abstract
Kupfer, A., and S. Eckstein, "Coevolution of Database Schemas and Associated Ontologies in Biological Context", 22nd British National Conference on Databases: Workshops and Posters, vol. 2: University of Sunderland Press, pp. 45-50, 2005. Abstract
Balke, W. - T., W. Nejdl, W. Siberski, and U. Thaden, "Caching for Improved Retrieval in Peer-to-Peer Networks", GI/ITG-Workshop "Peer-to-Peer Systeme und -Anwendungen", Kaiserslautern, Germany, 2005. Abstract  Download: gi-itg05.pdf (35.08 KB)
Lofi, C., "Continuous GQM: An automated measurement framework for the GQM paradigm", Fachbereich Informatik, Kaiserslautern, Germany, University Kaiserslautern, 08/2005. Abstract  Download: metrikon05-cGQM.pdf (1.33 MB)
Lofi, C., "cGQM - Ein zielorientierter Ansatz für kontinuierliche, automatisierte Messzyklen", Proceedings of the 4th National Conference on Software Measurement and Metrics (DASMA MetriKon 2005), Kaiserslautern, Germany, GI, 11/2005. Abstract  Download: 
Kupfer, A., S. Eckstein, K. Neumann, and B. Mathiak, "A Coevolution Approach for Database Schemas and Related Ontologies", 19. IEEE Int. Symposium on Computer-Based Medical Systems: IEEE CS, pp. 605-610, June, 2006. Abstract
Güntzer, U., and W. - T. Balke, "Consistently Adding Amalgamations to Preference Orders", 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-Pref), Vienna, Austria, 2007. Abstract  Download: mpref07.pdf (154.24 KB)