Abstract
The ESPRIT Basic Research Working Group COMPASS has brought together most European scientists in the area of algebraic specification methods in an effort to consolidate and integrate the theoretical basis and apply it to software technology. The algebraic approach treats not just the syntactic aspects of interfaces but supports the precise specification of the semantics of generic reusable system components, providing the formal conceptual basis for their stepwise and correct development.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Krieg-Brückner, B. (ed.): COMPASS, a COMPrehensive Algebraic approach to System Specification and development (ESPRIT Basic Research Working Group 3264), Objectives, State of the Art, References. Universität Bremen, Bericht Nr. 6/89 (1989) 82pp.
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.
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) 104pp.
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) 98pp.
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).
Bidoit, M., Choppy, C. (eds.): Recent Trends in Data Type Specification. Proc. 8th ADT/COMPASS Workshop (Dourdan 1991). Springer LNCS 655 (1993).
Ehrig, H., Orejas, F. (eds.): Recent Trends in Data Type Specification. Proc. 9th ADT/COMPASS Workshop (Caldes de Malavella 1992). Springer LNCS 785 (1994).
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).
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).
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).
Astesiano, E., Kreowski, H.-J., Krieg-Brückner, B.(eds.): Algebraic Foundations of System Specification. (in preparation).
Mosses, P.D. (Coordinator): Initiative for a Common Framework for Algebraic Specification: http://www.brics.dk/Projects/CoFI.
Mosses, P.D. (Coordinator): CoFI catalogue of existing specification languages. Preliminary version. http://www.brics.dk/Projects/CoFI/Catalogue.
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). http://www.informatik.uni-bremen.de/∼uniform. Extended version in German: Informatik Bericht Nr. 8/95, Universität Bremen, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krieg-Brückner, B. (1996). Seven years of COMPASS. In: Haveraaen, M., Owe, O., Dahl, OJ. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1995 1995. Lecture Notes in Computer Science, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61629-2_32
Download citation
DOI: https://doi.org/10.1007/3-540-61629-2_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61629-0
Online ISBN: 978-3-540-70642-7
eBook Packages: Springer Book Archive