.gif)
]
"Processing Non-Standard-Database Objects in a Higher Level Programming Language - An Abstract Data Type Approach",
Proc. Int. Workshop on Software Engineering and its Applications, pp. 1141-1159, 1988.
Abstract
"Proof-Theoretic Semantics of Object-Oriented Specification Constructs",
Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 243-284, 1991.
Abstract
"Protocol Specification and Analysis in Maude",
Proc1 of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998.
Abstract
"Prototypische Ausführung von Objektinteraktionen für die Spezifikationssprache \sc Troll",
Workshop Deklarative Programmierung und Spezifikation, Bad Honnef: Bericht Nr. 9412, Univ. Kiel, pp. 56-59, 1994.
Abstract
"Reification - Changing Viewpoint but Preserving Truth",
Recent Trends in Data Types Specification, Proc.\ 11th Workshop on Specification of Abstract Data Types joint with the 8th General COMPASS Meeting. Oslo, Norway, September 1995. Selected papers.: Springer, pp. 182-199, 1996.
Abstract
"Relationships between Dynamic Objects",
Information Modelling and Knowledge Bases IV: Concepts, Methods and Systems (Proc1 2nd European-Japanese Seminar, Hotel Ellivuori (SF)): IOS Press, Amsterdam, pp. 425-438, 1993.
Abstract
"Representation of the Historical Information Necessary for Temporal Integrity Monitoring",
Proc1 Int1 Conf1 on Extending Database Technology EDBT'90: LNCS 416, Springer, Berlin, 1990, pp. 378-392, 1990.
Abstract
"Representing Geoobjects in Terms of a Semantic Data Model",
Proc1 Automated Mapping/Facilities Management/GIS, European Conference VIII, Montreux, pp. 239-244, 1992.
Abstract
"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
"Safe Derivations in Object Hierarchies",
OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems: Springer, London, pp. 306-319, 1995.
Abstract
"Schrittweise Abstraktion von Datenbankschemata mit Hilfe von Diagrammhierarchien",
Proc1 GUUG Jahrestagung, Wiesbaden, pp. 129-138, 1992.
Abstract
"Semantic Ref\/inement of Concurrent Object Systems Based on Serializability",
Object Orientation with Parallelism and Persistence: Kluwer Academic Publ., pp. 105-126, 1996.
Abstract
"Sketching Concepts and Computational Model of TROLL \em light",
Proc1 3rd Int1 Conf1 Design and Implementation of Symbolic Computation System1 (DISCO'93): Springer, Berlin, LNCS 722, pp. 17-32, 1993.
Abstract
"The Software Development Process captured in an Object Oriented Frame",
Proc1 ERCIM Workshop on Development and Transformation of Programs, Nancy, Frankreich: Inria Lorraine & Crin-Cnrs, pp. 163-173, 1993.
Abstract
Some Examples for TROL1 \it light\/ Templates,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 51-62, 1993.
Abstract
"Sorting, Grouping, and Duplicate Elimination in the Advanced Information Management Prototype",
Proc1 15th Int1 Conf1 on Very Large Databases VLDB'89: Morgan Kaufmann, Palo Alto, 1989, pp. 307-316, 1989.
Abstract
"Specification and Implementation of Mobile-Agent-Based Data Integration",
Databases and Information Systems II: Kluwer Academic Publisher, pp. 269-283, 2002.
Abstract
"Specification and Implementation of Mobile-Agent-Based Data Integration",
Databases and Information Systems. Proc. 5th Int. Baltic Conf., BalticDB&IS 2002, pp. 117-131, 2002.
Abstract
"Specification of a Control System by Domain Specialists with OBLOG - Experience Report -",
Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 137-146, 1994.
Abstract
"Specification of Database Applications in the TROLL-Language",
Proc1 Int1 Workshop Specification of Database Systems, Glasgow, July 1991: Springer, London, pp. 228-245, 1992.
Abstract
"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
"Specifying Business Processes over Objects",
Proc1 13th Int1 Conf1 on the Entity-Relationship Approac1 (ER'94): Springer, LNCS 881, Berlin, pp. 10-27, 1994.
Abstract
"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
Spezifikation der abstrakten Syntax von TROL1 \it light\/ mit TROL1 \it light,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 43-49, 1993.
Abstract
Spezifikation einer Fertigungszelle mit TROL1 \it light,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 27-41, 1993.
Abstract
Spezifikation eines vereinfachten Datenbanksystems -- ein Beitrag zur HDMS-A-Fallstudie,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 15-26, 1993.
Abstract
"Spezifikation und Ausführung von Objektinteraktionen in \sc Troll",
Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 89-95, 1994.
Abstract
"A SQL-like Query Calculus for Object-Oriented Database Systems",
Proc1 Int1 Symp. on Object-Oriented Methodologies and System1 (ISOOMS'94): Springer, Berlin, LNC1 858, pp. 20-39, 1994.
Abstract
"Stepwise Specification of Dynamic Database Behaviour",
Proc1 1986 ACM-SIGMOD Int1 Conf1 on Management of Data, pp. 387-397, 1986.
Abstract
"Struktur und Integritätsbedingungen bei der Abbildung von Umweltdaten",
Proc1 Workshop Umweltdatenbanken: Metropolis, Marburg, pp. 259-275, 1994.
Abstract
"Techniques and Language Constructs for Developing Generic Information Systems: A Case Study",
Int. Symp. on Software Reusability (SSR'01), Toronto: ACM, pp. 145-154, 2001.
Abstract
"Temporal Integrity Constraints in the Database Design Environment CADDY",
Proc1 Workshop on Foundations of Models and Languages for Data and Objects, Aigen (A): Informatik-Bericht 90/3, TU Clausthal, pp. 191-198, 1990.
Abstract
"Temporal Logic Specification of Objects: An Approach to Compositionality and Reusability Allowing \tt next operators",
Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 228-241, 1994.
Abstract
"A Temporal-Logic-Based Query Language for Querying Database Histories",
Proc1 2nd Int1 Conf1 on Database and Expert Systems (DEXA'91): Springer, pp. 393-399, 1991.
Abstract