Home › Biblio

Biblio

Export 30 results:
Sort by: Author Keyword [ Title (Desc)] Type Year
Filters: Author is Hartmann, T.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
\
Jungclaus, R., G. Saake, T. Hartmann, and C. Sernadas, "\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
Wieringa, R., R. Jungclaus, P. Hartel, T. Hartmann, and G. Saake, "\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
V
Hartmann, T., "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
S
Hartmann, T., R. Jungclaus, G. Saake, and H. - D. Ehrich, "Spezifikation von Objektsystemen", Objektbanken für Experten: Springer, Berlin, Reihe Informatik aktuell, pp. 220-242, 1992. Abstract  Download: 1992ObjBankExpert.pdf (1.72 MB)
Hartmann, T., R. Jungclaus, and G. Saake, "Spezifikation von Informationssystemen als Objektsysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 1, pp. 2-18, 1993. Abstract
Hartmann, T., "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
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
R
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
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
Jungclaus, R., T. Hartmann, and G. Saake, "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
P
Hartmann, T., and G. Saake, "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
O
Hartmann, T., "Operationalisierung von Objektspezifikationen", Grundlagen von Datenbanken: Univ1 Rostock, Bericht 3-93, pp. 64-68, 1993. Abstract
Saake, G., T. Hartmann, and R. Jungclaus, "Objektspezifikation von Benutzerschnittstellen in \tt TROLL", Objektorientierte Methoden für Informationssysteme: Springer, Berlin, Reihe Informatik aktuell, pp. 173-186, 1993. Abstract
Jungclaus, R., G. Saake, T. Hartmann, and C. Sernadas, Object-Oriented Specification of Information Systems: The TROLL Language, , no. 91-04: TU Braunschweig, 1991. Abstract
Saake, G., T. Hartmann, R. Jungclaus, and H. - D. Ehrich, "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)
M
Schwiderski, S., T. Hartmann, and G. Saake, Monitoring Temporal Preconditions in a Behaviour Oriented Object Model, , no. 93-07: TU Braunschweig, 1993. Abstract
Schwiderski, S., T. Hartmann, and G. Saake, "Monitoring Temporal Preconditions in a Behaviour Oriented Object Model", Data \1 Knowledge Engineering, vol. 14, no. 2, pp. 143-186, December, 1994. Abstract
Saake, G., and T. Hartmann, "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
L
Jungclaus, R., G. Saake, and T. Hartmann, "Language Features for Object-Oriented Conceptual Modeling", Proc1 10th Int1 Conf. on the ER-approach, pp. 309-324, 1991. Abstract
I
Jungclaus, R., T. Hartmann, G. Saake, and C. Sernadas, "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
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
G
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
E
Hartmann, T., Entwurf einer Sprache für die verhaltensorientierte konzeptionelle Modellierung von Informationssystemen, , vol. 1: infix-Verlag, 1995. Abstract
C
Jungclaus, R., R. J. Wieringa, P. Hartel, G. Saake, and T. Hartmann, "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
A
Saake, G., R. Jungclaus, and T. Hartmann, "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
Saake, G., R. Jungclaus, and T. Hartmann, "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
Hartmann, T., R. Jungclaus, and G. Saake, "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
Hartmann, T., R. Jungclaus, and G. Saake, "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
Hartmann, T., and G. Saake, Abstract Specification of Object Interaction, , no. 93-08: Technische Universität Braunschweig, 1993. Abstract
Hartmann, T., and R. Jungclaus, "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