Publications 1993
CDGHVE93
S. Conrad, G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H.-D. Ehrich.
Zur Entwicklung zuverlässiger
Informationssysteme in
KorSo.
In H. Reichel, editor, Informatik --- Wirtschaft ---
Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93), pages 464--469. Springer,
Informatik aktuell, 1993. (PostScript)
DG93
G. Denker and M. Gogolla.
Translating TROLL light Concepts to
Maude.
In H. Ehrig and F. Orejas, editors, Proc. 9th Workshop on
Abstract Data Types -- 4th Compass Workshop (ADT'92), pages
173--187. Springer, Berlin, LNCS 785, 1993. (PostScript)
EDS93
H.-D. Ehrich, G. Denker, and A. Sernadas.
Constructing Systems as Object
Communities.
In M.-C. Gaudel and J.-P. Jouannaud, editors, Proc. Theory and
Practice of Software Development (TAPSOFT'93), pages 453--467. Springer,
Berlin, LNCS 668, 1993. (PostScript)
EJD93
H.-D. Ehrich, R. Jungclaus, and G. Denker.
Object Roles and
Phases.
In U.W. Lipeck and G. Koschorreck, editors, Proc. Intern.
Workshop on Information Systems -- Correctness and Reusability IS-CORE '93,
Technical Report, University of Hannover No. 01/93, pages 114--121, 1993.
(PostScript)
VHGDCE93
N. Vlachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H.-D. Ehrich.
Towards Reliable Information Systems: The KORSO
Approach.
In C. Rolland, F. Bodart, and C. Cauvet, editors, Proc. 5th
Int. Conf. on Advanced Information Systems Engineering (CAiSE'93), pages
463--482. Springer, Berlin, LNCS 685, 1993. (PostScript)