COMPASS References

2. Krieg-Brückner, B.: COMPASS, a COMPrehensive Algebraic approach to System Specification and development, ESPRIT Basic Research Working Group 3264. EATCS Bull 40. (1990) 144-157.

3. Krieg-Brückner, B., Plump, D. (eds.): COMPASS, a COMPrehensive Algebraic approach to System Specification and development (ESPRIT Basic Research Working Group 3264), Final Report. Universität Bremen, Informatik Bericht Nr. 7/91 (1991) 104p.

4. Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F., Sannella, D. (eds.): Algebraic System Specification and Development: A Survey and Annotated Bibliography. Springer LNCS 501 (1991) 98p.

5. Ehrig, H., Jantke, K.P., Orejas, F., Reichel, H. (eds.): Recent Trends in Data Type Specification. Proc. 7th ADT/COMPASS Workshop (Wusterhausen 1990). Springer LNCS 534 (1991).

6. Bidoit, M., Choppy, C. (eds.): Recent Trends in Data Type Specification. Proc. 8th ADT/COMPASS Workshop (Dourdan 1991). Springer LNCS 655 (1993).

7. Ehrig, H., Orejas, F. (eds.): Recent Trends in Data Type Specification. Proc. 9th ADT/COMPASS Workshop (Caldes de Malavella 1992). Springer LNCS 785 (1994).

8. Astesiano, E., Reggio, G., Tarlecki, A. (eds.): Recent Trends in Data Type Specification. Proc. 10th ADT/COMPASS Workshop (Sta. Margherita 1994). Springer LNCS 906 (1995).

9. Haveraaen, M., Owe, O., Dahl, O.-J. (eds.): Recent Trends in Data Type Specification. Proc. 11th ADT/COMPASS Workshop (Oslo 1995). Springer LNCS (this volume).

10. Cerioli, M., Gogolla, M., Kirchner, H., Krieg-Brückner, B., Qian, Z., Wolf, M. (eds.): Algebraic System Specification and Development - A Survey and Annotated Bibliography. (update of [4], in preparation).

11. Astesiano, E., Kreowski, H.-J., Krieg-Brückner, B.(eds.): Algebraic Foundations of System Specification. (in preparation).

12. Mosses, P.D. (Coordinator): Initiative for a Common Framework for Algebraic Specification: http://www.brics.dk/Projects/CoFI.

13. Mosses, P.D. (Coordinator): CoFI catalogue of existing specification languages. Preliminary version. http://www.brics.dk/Projects/CoFI/Catalogue.

14. Krieg-Brückner, B., Peleska, J., Olderog, E.-R., Balzer, D., Baer, A.: UniForM, Universal Formal Methods Workbench. in Grote, U. (ed.): Statusseminar Softwaretechnologie. BMBF (to appear). extended version in German: Informatik Bericht Nr. 8/95, Universität Bremen, 1995. http://www.informatik.uni-bremen.de/~uniform.