Seven years of COMPASS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1130, Issue , 1996, Pages 1-13

  Krieg Briickner, Bernd ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATIONS;

ALGEBRAIC APPROACHES; ALGEBRAIC SPECIFICATIONS; SOFTWARE TECHNOLOGY; SYSTEM COMPONENTS; WORKING GROUPS;

ABSTRACT DATA TYPES;

EID: 84958606185     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61629-2_32     Document Type: Conference Paper

References (14)

1. Krieg-Briickner, B. (ed.): COMPASS, a COMPrehensive Algebraic approach to System Specification and development (ESPRIT Basic Research Working Group 3264), Objectives, State of the Art, References. Universitit Bremen, Bericht Nr. 6/89 (1989) 82pp.
2. Krieg-Briickner, 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-Brilckner, B., Plump, D. (eds.): COMPASS, a COMPrehensive Algebraic approach to System Specification and development (ESPRIT Basic Research Working Group 3264), Final Report. Universits Bremen, Informatik Bericht Nr. 7/91 (1991) 104pp.
4. Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F., SanneUa, D. (eds.): Algebraic System Specification and Development: A Survey and Annotated Bibliography. Springer LNCS 501 (1991) 98pp.
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 (Ca]des de Ma]avella 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. llth ADT/COMPASS Workshop (Oslo 1995). Springer LNCS (this volume).
10. Cerioli, M., Gogolla, M., Kirchner, H., Krieg-Briickner, 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-Brfickner, 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-Brfickner, B., Peleska, J., Olderog, E.-R., Balzer, D., Baer, A.: UniForM, Universal Formal Methods Workbench. in Grote, U. (ed.): Statusseminar Softwaretechnologie. BMBF (to appear), http://www.informatik.uni-bremen.de/~uniform. Extended version in German: Informatik Bericht Nr. 8/95, Universits Bremen, 1995.