.gif)
]
"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
"Evolving Object Specifications",
Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 311-320, 1994.
Abstract
"Expressing Temporal Behaviour with Extended ECA Rules",
Proc1 12th British National Conference on Databases (BNCO1 12), University of Surrey: Springer, LNCS, Berlin, 1994.
Abstract
"An Extended Entity-Relationship Model for Non-Standard Databases",
Proc1 Workshop ``Relationale Datenbanken'', Bericht Nr1 3-86: Inst1 für Informatik, TU Clausthal-Zellerfeld, pp. 185-211, 1986.
Abstract
"A Final Algebra Semantics for Errors and Exceptions",
Recent Trends in Data Type Specification, Proc1 3rd Workshop on Theory and Applications of Abstract Data Types (Selected Papers), Bremen (D): Springer, Berlin, IF1 116, pp. 89-103, 1985.
Abstract
"Five steps to text mining in biomedical literature",
WS on Data Mining and Text Mining for Bioinformatics at PKDD/ECML 2004. Proc. 15th European Conf. on Machine Learning and the 8th European Conf. on Principles and Practice of Knowledge Discovery in Databases, pp. 43-47, 2004.
Abstract
"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
"Formal Semantics of an Entity-Relationship Based Query Language",
Proc1 9th Int1 Conf1 on the ER-Approach, pp. 171-188, 1990.
Abstract
"Formal Specification of Catalysis Frameworks",
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore, 2000.
Abstract
"Formal Specification of Object Systems",
Proc. TAPSOFT'91, Brighton: Springer, Berlin, LNCS 494, pp. 60-82, 1991.
Abstract
"Formulierung von Integritätsbedingungen in verschiedenen SQL-Dialekten",
Proc1 GI-Workshop ``Aktive Datenbanken'', Hamburg, 2.9.94: GI-Datenbankrundbrief 14, pp. 17-21, 1994.
Abstract
"Foundations of Temporal Integrity Monitoring",
Proc1 IFIP Working Conf1 on Temporal Aspects in Information Systems: North-Holland Publ1 Comp., Amsterdam, pp. 235-249, 1988.
Abstract
"From Object Specification to Enhanced Logic Programming",
Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 423-430, 1994.
Abstract
"Fundamental Object Concepts and Constructions",
Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 1-24, 1991.
Abstract
"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
"Generische Methoden zur Beschreibung des Software-Entwicklungsprozesses",
Proc1 5. Kolloquium Technische Akademie Esslingen: Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen '93: Technische Akademie Esslingen, pp. 551-558, 1993.
Abstract
"A Geoscientific Database System Supporting Cartography and Application Programming",
Proc1 8th British Nat1 Conf1 on Databases BNCOD-8: Pitman, London, 1990, pp. 179-195, 1990.
Abstract
"Handling Changes of Database Schemas and Corresponding Ontologies",
Advances in Conceptual Modeling - Theory and Practice - ER Workshops 2006: Springer, pp. 227-236, Nov, 2006.
Abstract
"A Highly Integrated Tool Set for Program Development Support",
Proc1 ACM Symposium on Personal and Small Computers: ACM, New York, 1988.
Abstract
"Homogene objektorientierte Spezifikation von Datenbanken und Benutzungsschnittstellen: Ein Erfahrungsbericht",
Beiträge der GI-Fachtagung Softwaretechnik'96(ST96), Koblenz, 12. - 13. September 1996: Universität Koblenz-Landau, Fachbereich Informatik, pp. 97-104, 1996.
Abstract
"A Hybrid Interpreter in a Software Development Environment",
Proc. 1st European Software Engineering Conference: LNCS 289, Springer, Berlin, 1988.
Abstract
"Ideen zur Architektur einer offenen und integrierten Entwurfsumgebung für Informationssysteme",
41 GI Workshop Grundlagen von Datenbanken: ECRC, München, Technical Report ECRC-92-13, pp. 157-161, 1992.
Abstract
"Improving Literature Preselection by Searching for Images",
Knowledge Discovery in Life Science Literature: Springer LNBI 3886, pp. 18-28, April, 2006.
Abstract
"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
"Information about Objects versus Derived Objects",
Second Workshop on Foundations and Languages for Data and Objects: Informatik-Bericht 90/3, Technische Universität Clausthal, pp. 59-70, 1990.
Abstract
"Inheritance Conditions for Object Life Cycle Diagrams",
Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 79-89, 1994.
Abstract
"Integrating Petri Nets and \sc Troll in the Modeling of Engineering Systems",
Proc. of the IEEE TC-ECBS and IFIP WG 10.1 Joint Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) Washington DC, pp. 7-12, April, 2001.
Abstract
"Integrating the ER Approach in an OO Environment",
Proc1 12th Int1 Conf1 on the Entity-Relationship Approac1 (ER'93): Springer, Berlin, LNC1 823, pp. 376-389, 1994.
Abstract
"Integration von forstlichen Geometrie- und Sachdaten mit ARC/INFO und ORACLE 7",
Proc. 4. Deutsche Anwenderkonferenz, pp. 45-53, 1996.
Abstract
"Intra- and Inter-OOD-Framework Interactions in Component-based Software Development in Computational Logic",
Proc. of the Second International Workshop on Component-based Software Development in Computational Logic (COCL'99), Paris, France, September 27, 1999.
Abstract
"Introduction to TROL1 -1 A Language for Object-Oriented Specification of Information Systems",
Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 97-128, 1991.
Abstract
"Keeping Track of Changes in Database Schemas and Related Ontologies",
7. Int. Baltic Conference on Databases and Information Systems: IEEE, pp. 63-68, July, 2006.
Abstract
"Konzepte einer Software-Architektur-Beschreibungssprache",
Tagungsband GI-Fachtagung ``Software-Entwicklung'': Informatik-Fachbericht Nr. 212, Springer, Berlin, 1989.
Abstract
"Konzeptioneller Entwurf von Objektgesellschaften",
Proc1 Datenbanksysteme in Büro, Technik und Wissenschaft BTW'91: Informatik-Fachberichte IFB 270, Springer, Berlin, pp. 327-343, 1991.
Abstract
"Language Constructs for Conceptual Modelling of Mobile Object System s",
Proc. 4th Int. Symp. on Collaborative Technologies and Systems, pp. 121-126, 2003.
Abstract