Publications 1997
HarDenKow97
Hartel, P., Denker, G., Kowsari, M., Krone, M. and Ehrich, H.-D.
Information systems modelling with TROLL formal methods at work..
Information Systems, 22(2-3):
, pages 79 - 99. 1997.(PostScript)
DenHar97
Denker, G. and Hartel, P.
TROLL - An Object Oriented Formal Method for Distributed
Information System Design: Syntax and Pragmatics.
Informatik-Bericht 97-03, Technische Universität
Braunschweig, 1997.(PostScript) Online
DenEhr97
Denker, G. and Ehrich, H.-D.
Specifying Distributed Information Systems: Fundamentals of an
Object-Oriented Approach Using Distributed Temporal Logic.
In Bowman, H. and Derrick, J., editors, Formal Methods for Open
Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1
Intern. Workshop, 21-23 July, Canterbury, Kent, UK, pages 89-104. Chapman
& Hall, 1997.
(PostScript)
DRCS97
Denker, G., Ramos, J., Caleiro, C., and Sernadas, A.
A Linear Temporal Logic Approach to Objects with Transactions.
In Johnson, M., editor, Sixth Int. Conf. on Algebraic
Methodology and Software Technology, AMAST'97, 13-17 December 1997,
Sydney, Australia, pages 170-184. Springer, 1997.
LNCS 1349.
(PostScript)