Biblio

Export 142 results:
Sort by: Author Keyword Title Type [ Year  (Asc)]
Filters: First Letter Of Last Name is K  [Clear All Filters]
1988
1989
Küspert, K., G. Saake, and L. Wegner, "Duplicate Detection and Deletion in the Extended NF$^2$ Data Model", Proc1 3rd Int1 Conf1 on Foundations of Data Organization and Algorithms (FOD1 '89), Paris: LNCS 367, Springer, pp. 83-100, 1989. Abstract
1990
Karge, U., and M. Gogolla, Formal Semantics of SQL Queries, , no. 90-01: Technische Universität Braunschweig, 1990. Abstract
1992
Kramer, M., G. Lausen, and G. Saake, "Updates in a Rule-Based Language for Objects", Proc1 18th Int1 Conf1 on Very Large Databases, Vancouver, pp. 251--262, 1992. Abstract
Kramer, M., G. Lausen, and G. Saake, "Updates in a Rule-Based Language for Objects (Extended Abstract)", Proc1 4th International Workshop on Modelling Database Dynamics, Volkse, Oct1 1992: Informatik-Bericht 90/3, TU Clausthal, pp. 125-142, 1992. Abstract
1993
Neumann, K., and R. Kappler, "Darstellung kartographischen Wissens durch Integritätsbedingungen eines semantischen Datenmodells", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 110, pp. 99-109, 1993. Abstract
Neumann, K., A. Koschel, and W. Porscha, "Migration von Datenbanken - Eine Fallstudie", Proc1 Wirtschaftsinformatik (WI93), Münster: Physica, Heidelberg, pp. 243-255, 1993. Abstract
1994
Kusch, J., "Ein Ansatz zur Operationalisierung deskriptiver Anfragen durch Anfrageobjekte", Kurzfassungen des 61 GI-Workshops ``Grundlagen von Datenbanken'', Bad Helmstedt, 19.-221 September 1994: Otto-von-Guericke-Universität Magdeburg, Institut für Technische Informationssysteme, Bericht 94-01, pp. 92-96, 1994. Abstract
Hartmann, T., J. Kusch, G. Saake, and P. Hartel, "Revised Version of the Conceptual Modeling and Design Language \sc Troll", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, pp. 89-103, 1994. Abstract
Hartel, P., T. Hartmann, J. Kusch, and G. Saake, "Specifying Information System Dynamics in \sc TROLL", Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 53-64, 1994. Abstract
1995
Neumann, K., and H. Koch, "Ein experimentelles Informationssystem für ATKIS-Daten", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 113, pp. 179-190, 1995. Abstract
Kusch, J., P. Hartel, T. Hartmann, and G. Saake, "Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment", Proc1 6th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'95): Springer Verlag, Berlin, LNC1 978, pp. 38-47, 1995. Abstract
Kowsari, M., and P. Hartel, "Ein Fallbeispiel zur Evaluation einer Objektorientierten Methodik", 7.Workshop Grundlagen von Datenbanken: Universität Hildesheim Institut für Informatik, pp. 88-93, Juni, 1995. Abstract
1996
Kowsari, M., "Formal Object Oriented Specification Language \sc Troll in Information System Design", Doctoral Consortium of 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996, 1996. Abstract
Denker, G., and J. Küster Filipe, "Towards a Model for Asynchronously Communicating Objects", Proc1 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996: Institute of Cybernetics, pp. 182-193, 1996. 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
Krone, M., M. Kowsari, P. Hartel, G. Denker, and H. - D. Ehrich, "Developing an Information System Using TROLL: an Application Field Study", Proc. 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96): Springer, Berlin, LNCS 1080, pp. 136-159, 1996. Abstract  Download: 1996CAiSE.pdf (438.58 KB)
1997
Schönhoff, M., and M. Kowsari, "Specifiying the Remote Controlling of Valves in an Explosion Test Environment", Formal Methods Europe, FME'97, 4th Intern.\ Symposium, Technical University Graz, Austria, 15-19 September, 1997: Springer, Berlin, LNCS 1313, pp. 201-220, 1997. Abstract
Grau, A., and M. Kowsari, "A Validation System for Object-Oriented Specifications of Information Systems", Proc. of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97) St. Petersburg: eWiC, Springer, 1997. Abstract
Grau, A., M. Kowsari, and H. - D. Ehrich, "A CASE-Tool Environment for Developing and Validating Conceptual Models (Poster Session)", 9th Conference on Advanced Information Systems Engineering (CAISE'97), Barcelona, June 18-20, 1997. Abstract
Küster Filipe, J., "Modelling Parameterisation in Concurrent Object Systems", Logic Journal of the IGPL, vol. 5, no. 6, pp. 877-879, November, 1997. Abstract
1998
Kowsari, M., and A. Grau, "An Evaluation of an Object Oriented Formal Method for Specifying Information Systems.", Proceedings of the Third CAiSE/IFIP 8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'98). Pisa, Italy. June 8-9, 1998: University of Nebraska-Lincoln, USA, pp. M1-M12, 1998. Abstract
Küster Filipe, J., "Using a Modular Distributed Temporal Logic for In-the-large Object Specification", Proc. of the First International Workshop on Component-based Software Development in Computational Logic (COCL'98), Pisa, Italy, September 19, pp. 43-57, 1998. Abstract
Kießling, W., K. Urch, W. - T. Balke, T. Birke, and M. Wagner, "The HERON Project - Multimedia Database Support for History and Human Sciences", 28th Annual Conference of the German Computer Society (GI): INFORMATIK'98, Magdeburg, Germany, Springer , 1998. Abstract  Download: informatik98.pdf (230.39 KB)
Grau, A., K. Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore, Springer, LNCS 1507, pp. 277-290, 1998. Abstract  Download: 1998ER.pdf (336.76 KB)