Hartel, P., G. Denker, M. Kowsari, M. Krone, and H. - D. Ehrich,
"Information systems modelling with TROLL formal methods at work",
Information Systems, vol. 22, no. 2-3, pp. 79-99, 1997.
Abstract
Download: 1997InfSysAtWork.pdf (846.73 KB)
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
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, 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)
Herzig, R., H. Fischer, and M. Gogolla,
"Zur Gestaltung der Benutzungsschnittstelle bei der Animation von Objektspezifikationen",
Proc1 GI-Workshop ``Benutzungsschnittstellen für Datenbanken'', Kassel, 17.-18.3.94: GI-Datenbankrundbrief 13, pp. 43-45, Mai, 1994.
Abstract