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., 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)
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
Saake, G., P. Hartel, R. Jungclaus, R. Wieringa, and R. Feenstra,
"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
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
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