Sciweavers

KORSO
1995

TROLL light - The Language and its Development Environment

13 years 7 months ago
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...
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where KORSO
Authors Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig
Comments (0)