TROLL light - The Language and its Development Environment

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, pages 218–235. Springer, Berlin, LNCS 906, 1995. [6] 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. [7] S. Conrad, G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H.-D. Ehrich. Entwicklung zuverl¨assiger Informationssysteme. EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, 2:25–33, 1995. [8] M. Gogolla, S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and Ehrich H.-D. TROLL light — The Language and its Development Environment. In M. Broy and S. J¨ahnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report, pages 205–220. Sp...

• Type: Conference
• Year: 1995
• Where: KORSO
• Authors: Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig
• Keywords: Data Types, Data Types Specification, KORSO 1995, Reification In Object, Software Engineering