Universität Bremen  
  FB 3  
  Group BKB > Deutsch
English
 

ESPRIT Basic Research WG COMPASS

 

COMPASS Logo

Comprehensive Algebraic Approach to System Specification and Development

  1. Introduction
    1. Historical Development
    2. The Working Group
  2. Aims and Objectives
    1. Original Aims
    2. Objectives
  3. Actions
  4. Results
  5. Common Framework Initiative for Algebraic Specification
    1. CoFI Aims and Scope
    2. The CoFI Family of Specification Languages
    3. CoFI Task Groups
  6. Multiple Formalisms and Logics
  7. Conclusion
  8. References

The COMPASS Working Group

General Publications

 
   
Author: n/a
 
  Group BKB 
Last updated: January 1, 1980   impressum