Gogolla, M., S. Conrad, G. Denker, R. Herzig, and N. Vlachantonis,
"A Development Environment for an Object Specification Language",
IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 3, pp. 505-508, June, 1995.
Abstract
Conrad, S., 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, vol. 2, pp. 25-33, 1995.
Abstract
Download: 1995EMISA.pdf (691.75 KB)
Denker, G., and H. - D. Ehrich,
"An Event-Based Semantics for Transactions",
Proc. Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995: Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique, pp. 57-72, 1995.
Abstract
Gogolla, M., S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H. - D. Ehrich,
"TROLL light --- The Language and Its Development Environment",
KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995.
Abstract
Download: 1995TrollLight.pdf (971.69 KB)
Denker, G.,
"Transactions in Object-Oriented Specifications",
Recent Trends in Data Types Specification, Proc1 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, pp. 203-218, 1995.
Abstract