Author:
Gogolla Martin,Claßen Ingo
Reference14 articles.
1. M. Bidoit and C. Choppy. ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, editors, Proc. TAP-SOFT’85, pages 246–260. Springer, LNCS 186, 1985.
2. M. Bidoit, F. Capy, and C. Choppy. The Design and Specification of the ASSPEGIQUE Database. In A. Miola, editor, Proc. DISCO ’90, pages 205–214. Springer, LNCS 429, 1990.
3. S. Conrad, M. Gogolla, and R. Herzig. TROLL light:A Core Language for Specifying Objects. Informatik-Bericht 92–02, TU Braunschweig, 1992.
4. I. Claßen. Revised ACT ONE: Categorical constructions for an algebraic specification language. In Categorical Methods in Computer Science, LNCS 393, pages 124–141. Springer, 1989.
5. H. Ehrig, I. Claßen, and D. Wolz. Algebraic Specification Techniques and Tools for Software Development— The ACT Approach. AMAST Series in Computing. World Scientific Publishing, 1993.