CoFI: The common framework initiative for algebraic specification and development

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

Volumn 1214, Issue , 1997, Pages 115-137

  Mosses, Peter D ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; DISTRIBUTED COMPUTER SYSTEMS; FORMAL METHODS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; VERIFICATION;

ALGEBRAIC SPECIFICATION LANGUAGES; ALGEBRAIC SPECIFICATIONS; CRITICAL SELECTION; INDUSTRIAL CONTEXT; OBJECT-BASED SYSTEMS; PROGRAMMING PARADIGMS; RESEARCH COMMUNITIES; VERIFICATION TOOLS;

SOFTWARE DESIGN;

EID: 84956998347     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0030591     Document Type: Conference Paper

References (10)

1. C. Alexander. A Timeless Way of Building. Oxford University Press, 1979.
2. M. Bidoit, C. Choppy, and F. Voisin. Interchange format for inter-operability of tools and translation. In Haveraaen et al. [6], pages 102-124.
3. M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas, and D. Sannella, editors. Algebraic System Specification and Software Development, volume 501 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
4. CoFI. CASL: The CoFI algebraic specification language, tentative design: Language summary. Notes Series NS-96-15, BRICS, Department of Computer Science, University of Aarhus, 1996.
5. J. A. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Technical Report SRI-CSL-89-10, Computer Science Lab., SRI International, 1989.
6. M. Haveraaen, O. Owe, and O.-J. Dahl, editors. Recent Trends in Data Type Specification, volume 1130 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
7. B. Krieg-Brückner. Seven years of COMPASS. In Haveraaen et al. [6], pages 1-13.
8. P. D. Mosses. CoFI: The common framework initiative for algebraic specification. Bulletin of the EATCS, June 1996.
9. P. D. Mosses, editor. CoFI: Common Framework Initiative for Algebraic Specification, URL: http://www.brics.dk/Projects/CoFI/, 1997.
10. D Sannella, S. Sokolowski, and A. Tarlecki. Toward formal development of programs from algebraic specifications: Parameterisation revisited. Acta Inf., 29:689-736, 1992.