Krone, M., M. Kowsari, P. Hartel, G. Denker, and H. - D. Ehrich,
"Developing an Information System Using TROLL: an Application Field Study",
Proc. 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96): Springer, Berlin, LNCS 1080, pp. 136-159, 1996.
Abstract
Download: 1996CAiSE.pdf (438.58 KB)
Huhn, M., H. Wehrheim, and G. Denker,
"Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach",
GI/ITG-Fachgespräch: ``Formale Beschreibungstechniken für verteilte Systeme'', 20/21. Juni 1996, Universität Erlangen, Germany, no. 29/9: Universität Erlangen, pp. 77-88, 1996.
Abstract