Home › Biblio

Biblio

Export 155 results:
Sort by: Author Keyword Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is K  [Clear All Filters]
1988
Küspert, K., G. Saake, and L. Wegner, Duplicate Detection and Deletion in the Extended NF$^2$ Data Model, , no. TR 88.11.0: IBM Wissenschaftliches Zentrum Heidelberg, 1988. Abstract
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
Neumann, K., W. Porscha, A. Koschel, and C. Müller, Charakterisierung eines aktuellen relationalen Datenbanksystems am Beispiel von Sybase, , no. 29: Technische Universität Braunschweig, 1992. Abstract
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, "Eine Portierungsstrategie für ADABAS-Datenbestände und -Anwendungen nach DB2", Wirtschaftsinformatik, vol. 35, no. 4, pp. 339-345, 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
Neumann, K., A. Koschel, and W. Porscha, "Migrationsbeispiele: Von ADABAS nach DB2 migrieren", Datenbankmanagement: WEKA-Verlag, pp. 7/2.2.1-2.2.12, 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
Hartmann, T., G. Saake, R. Jungclaus, P. Hartel, and J. Kusch, Revised Version of the Modelling Language \sc Troll (Version 2.0), , no. 94-03: Technische Universität Braunschweig, 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
Kusch, J., P. Hartel, T. Hartmann, and G. Saake, Integration einer Prototyping-Umgebung durch Objektorientierte Spezifikation, , no. 5: Univ1 Magdeburg, Fakultät für Informatik, 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
Küster Filipe, J., A Categorical Hiding Mechanism for Concurrent Object Systems, , no. 97-06: Technical University Braunschweig, 1997. Abstract
Küster Filipe, J., Putting Synchronous and Asynchronous Object Modules together: an Event-Based Model for Concurrent Composition, , no. 97-05: Technical University Braunschweig, 1997. Abstract
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
Hartel, P., G. Denker, M. Kowsari, M. Krone, and H. - D. Ehrich, "Information systems modelling with TROLL formal methods at work", Information Systems, vol. 22, no. 2-3, pp. 79-99, 1997. Abstract  Download: 1997InfSysAtWork.pdf (846.73 KB)
Ehrich, H. - D., Y. Feng, D. Kung, and (eds), Object-Oriented Software Development, Dagstuhl Seminar Report 9715, , Schloss Dagstuhl, IBFI GmbH, 1997.  Download: 1997DagstuhlSemina9715.pdf (196.96 KB)
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., On a Distributed Temporal Logic for Modular Object Systems, , no. 98-06: Technical University Braunschweig, 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)