Export 53 results:
Sort by: Author Keyword Title Type [ Year  (Desc)]
Filters: First Letter Of Title is C  [Clear All Filters]
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
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
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)
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. 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)
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., 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
Saake, G., "Conceptual Modeling of Database Applications", Proc1 1st IS/KI Workshop, Ulm (Germany), 1990: Springer, Berlin, LNCS 474, pp. 213-232, 1991. 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
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
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)