.gif)
] Filters: Taxonomy Term is [Clear All Filters]
"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. Fundamentals and Pragmatics,
: Springer, Berlin, LNCS 767, 1994.
Abstract
Formal Methods for Information System Dynamics, Workshop of the CAiSE'94 Conference, Utrecht, 1994,
: Univ. of Twente, Technical Report, 1994.
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
"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
Grundlagen von Entity-Relationship-Modellen,
, no. 33: Technische Universität Braunschweig, Informatik-Skripten, 1994.
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 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
The KORSO Approach to the Development of Reliable Information Systems,
, no. 94-06: Technische Universität Braunschweig, 1994.
Abstract
"Modelling Information Systems as Object Societies",
Management and Processing of Complex Data Structures, Proc1 3rd Workshop on Information Systems and Artificial Intelligence, Hamburg: Springer, Berlin, LNCS 777, pp. 157-180, 1994.
Abstract
"Models and Languages for Abstract Objects",
Encyclopedia of Computer Science and Technology, vol. 30: Marcel Dekker, Inc., pp. 241-255, 1994.
Abstract
"On Certification of Specifications for TROLL \it light\/ Objects",
Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92): Springer, LNCS 785, pp. 158-172, 1994.
Abstract
"On Formal Semantics of Some Semantic Data Models",
Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 33-40, 1994.
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
"Realisierbare Integritätsbedingungen in Datenbanken: Ein aktuelles Beispiel",
Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 111, pp. 111-121, 1994.
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
Revised Version of the Modelling Language \sc Troll (Version 2.0),
, no. 94-03: Technische Universität Braunschweig, 1994.
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
"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 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
"Struktur und Integritätsbedingungen bei der Abbildung von Umweltdaten",
Proc1 Workshop Umweltdatenbanken: Metropolis, Marburg, pp. 259-275, 1994.
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
"TROLL light -- Specification with a Language for the Conceptual Modelling of Information Systems",
Case Study ``Production Cell'': A Comparative Study in Formal Specification and Verification: FZI-Publication 1/94, Forschungszentrum Informatik, Karlsruhe (Germany), pp. 231-239, 1994.
Abstract
Datenbank-Praktikum mit Sybase,
, no. 31: Technische Universität Braunschweig, 1993.
Abstract
Abstract Specification of Object Interaction,
, no. 93-08: Technische Universität Braunschweig, 1993.
Abstract
"Animation Support for a Conceptual Modelling Language",
Proc1 4th Int1 Conf1 on Database and Expert Systems Applications (DEXA), Prague: LNCS 720, Springer, Berlin, pp. 56-67, 1993.
Abstract
"Application Modelling in Heterogeneous Environments using an Object Specification Language",
Int1 Conf1 on Intelligent & Cooperative Information Systems (ICICIS'93): IEEE Computer Society Press, pp. 309-318, 1993.
Abstract
"Application Modelling in Heterogeneous Environments using an Object Specification Language",
Int1 Journal of Intelligent and Cooperative Information Systems, vol. 2, no. 4, pp. 425-449, 1993.
Abstract
"An Approach towards the Conceptual Modelling of the Tool Integration Aspect",
Proc. 6th Int1 Conf1 Software Engineering & Its Application1 (SEA'93): EC2, Nanterre, France, pp. 543-553, 1993.
Abstract
Beiträge zu \sc KorSo- und TROL1 \it light-Fallstudien,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, 1993.
Abstract
"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