.gif)
] Filters: Author is Hartmann, T. [Clear All Filters]
"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
"Operationalisierung von Objektspezifikationen",
Grundlagen von Datenbanken: Univ1 Rostock, Bericht 3-93, pp. 64-68, 1993.
Abstract
"Aggregation in a Behavior Oriented Object Model",
Proc1 European Conference on Object-Oriented Programming (ECOOP'92): Springer, LNCS 615, Berlin, pp. 57-77, 1992.
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
"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
Abstract Specification of Object Interaction,
, no. 93-08: Technische Universität Braunschweig, 1993.
Abstract
Entwurf einer Sprache für die verhaltensorientierte konzeptionelle Modellierung von Informationssystemen,
, vol. 1: infix-Verlag, 1995.
Abstract
"Spezifikation von Objektsystemen",
Objektbanken für Experten: Springer, Berlin, Reihe Informatik aktuell, pp. 220-242, 1992.
Abstract
Download: 1992ObjBankExpert.pdf (1.72 MB)
"Spezifikation von Informationssystemen als Objektsysteme",
EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 1, pp. 2-18, 1993.
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
"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
"Vom konzeptionellen Modell zur Implementierung: Transformation des \tt TROLL Data-Dictionary",
Kurzfassungen des 41 GI-Workshops ``Grundlagen von Datenbanken'', Barsinghausen, 9.-121 Juni 1992: ECRC, München, technical report ECRC-92-13, pp. 56-60, 1992.
Abstract
"Abstract Description of Distributed Object Systems",
Proc1 ECOOP'91 Workshop on Object-Based Concurrent Computing. Geneva (CH), 1991: Springer, LNCS 612, Berlin, pp. 227-244, 1992.
Abstract
Revised Version of the Modelling Language \sc Troll (Version 2.0),
, no. 94-03: Technische Universität Braunschweig, 1994.
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
"Combining \sc Troll with the Object Modeling Technique",
Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software: Springer, Informatik aktuell, pp. 35-42, 1994.
Abstract
"\sc Troll - A Language for Object-Oriented Specification of Information Systems",
ACM Transactions on Information Systems, vol. 14, no. 2, pp. 175-211, April, 1996.
Abstract
"Language Features for Object-Oriented Conceptual Modeling",
Proc1 10th Int1 Conf. on the ER-approach, pp. 309-324, 1991.
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
Object-Oriented Specification of Information Systems: The TROLL Language,
, no. 91-04: TU Braunschweig, 1991.
Abstract
Integration einer Prototyping-Umgebung durch Objektorientierte Spezifikation,
, no. 5: Univ1 Magdeburg, Fakultät für Informatik, 1995.
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
"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
"Objektspezifikation von Benutzerschnittstellen in \tt TROLL",
Objektorientierte Methoden für Informationssysteme: Springer, Berlin, Reihe Informatik aktuell, pp. 173-186, 1993.
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
"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
"Object-Oriented Design of Information Systems: \tt TROLL Language Features",
Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 219-245, 1994.
Abstract
Download: 1994CISM2.pdf (981.53 KB)
"Monitoring Temporal Preconditions in a Behaviour Oriented Object Model",
Data \1 Knowledge Engineering, vol. 14, no. 2, pp. 143-186, December, 1994.
Abstract
Monitoring Temporal Preconditions in a Behaviour Oriented Object Model,
, no. 93-07: TU Braunschweig, 1993.
Abstract
"\sc omTroll - Object Modeling in \tt TROLL",
Proc1 Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 267-283, 1993.
Abstract