Advertisement

Seven years of COMPASS

  • Bernd Krieg-Brückner
Invited Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1130)

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.

Keywords

Specification Language Algebraic Approach Common Framework Annotate Bibliography Algebraic Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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.Google Scholar
  2. 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.Google Scholar
  3. 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) 104pp.Google Scholar
  4. 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) 98pp.Google Scholar
  5. 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).Google Scholar
  6. 6.
    Bidoit, M., Choppy, C. (eds.): Recent Trends in Data Type Specification. Proc. 8th ADT/COMPASS Workshop (Dourdan 1991). Springer LNCS 655 (1993).Google Scholar
  7. 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).Google Scholar
  8. 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).Google Scholar
  9. 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).Google Scholar
  10. 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).Google Scholar
  11. 11.
    Astesiano, E., Kreowski, H.-J., Krieg-Brückner, B.(eds.): Algebraic Foundations of System Specification. (in preparation).Google Scholar
  12. 12.
    Mosses, P.D. (Coordinator): Initiative for a Common Framework for Algebraic Specification: http://www.brics.dk/Projects/CoFI.Google Scholar
  13. 13.
    Mosses, P.D. (Coordinator): CoFI catalogue of existing specification languages. Preliminary version. http://www.brics.dk/Projects/CoFI/Catalogue.Google Scholar
  14. 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). http://www.informatik.uni-bremen.de/∼uniform. Extended version in German: Informatik Bericht Nr. 8/95, Universität Bremen, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Bernd Krieg-Brückner
    • 1
  1. 1.Bremen Institute for Safe Systems FB3Universität BremenGermany

Personalised recommendations