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)
Grau, A., K. Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich,
"The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools",
Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore, Springer, LNCS 1507, pp. 277-290, 1998.
Abstract
Download: 1998ER.pdf (336.76 KB)
Vlachantonis, N., R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H. - D. Ehrich,
"Towards Reliable Information Systems: The KORSO Approach",
Proc 5th Int Conf on Advanced Information Systems Engineering (CAiSE'93): Springer, Berlin, LNCS 685, pp. 463-482, 1993.
Abstract
Download: 1993KorSo.pdf (314.47 KB)
Ehrich, H. - D., K. Drosten, and M. Gogolla,
"Towards an Algebraic Semantics for Database Specification",
Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2), Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988.
Abstract
Download: 1988Albufeira.pdf (1.08 MB)
Eckstein, S.,
"Towards a Module Concept for Object Oriented Specification Languages",
Proc1 3rd Int. Baltic Workshop on Data Bases and Information Systems, Riga, Latvia, April 15-17, vol. 2: Institute of Mathematics and Informatics, University of Latvia, Latvian Academic Library, pp. 180-188, 1998.
Abstract
Hohenstein, U., L. Neugebauer, G. Saake, and H. - D. Ehrich,
"Three-Level Specification of Databases Using an Extended Entity-Relationship Model",
Proc GI-Fachtagung ``Informationsermittlung und -analyse für den Entwurf von Informationssystemen'': Informatik-Fachbericht 143, Springer, Berlin, 1987, pp. 58-88, 1987.
Abstract
Download: 1987ThreeLevelSpec.pdf (1.21 MB)