Publications 1995

CDGHVE95
S. Conrad, G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H.-D. Ehrich. Entwicklung zuverlässiger Informationssysteme. EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, Heft 2 (1995), pages 25--33, 1995. (PostScript)

GCDHV95
Gogolla, M. and Conrad, S. and Denker, G. and Herzig, R. and Vlachantonis, N. A Development Environment for an Object Specification Language. IEEE Transactions on Knowledge and Data Engineering, 7(3):505--508, June 1995. (PostScript)

GogConDen95
Gogolla, M. and Conrad, S. and Denker, G. and Herzig, R. and Vlachantonis, N. and Ehrich, H.-D. TROLL light - The Language and its Development Environment. In Broy, M. and Jähnichen, S. editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report, pages 205-220. Springer, 1995. LNCS 1009.(PostScript)

DE95b
G. Denker and H.-D. Ehrich. An Event-Based Semantics for Transactions. In G. Bernot and M. Aiguier, editors, Proc. Intern. Workshop on Information Systems -- Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995, Bd des Coquibus, F-91025 Evry cedex, France, 1995. Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique. (PostScript)

DE95a
G. Denker and H.-D. Ehrich. Action Reification In Object Oriented Specification. In R. J. Wieringa and R. B. Feenstra, editors, Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop, pages 103--118. World Scientific, 1995. (PostScript)

Den95
G. Denker. Transactions in Object-Oriented Specifications. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers. Springer, Berlin, LNCS 906, 1995. (PostScript)

HuhWehDen95
Huhn, M., Wehrheim, H., and Denker, G. Action Refinement - An Application of Process Theory on Object-Oriented Specification. Hildesheimer Informatik-Berichte 40/95, Universität Hildesheim, Institut für Informatik, Postfach 101363, D-31113 Hildesheim, November 1995. (PostScript)