Bibliography of CoFI Methodology Notes

August 3, 2002

This document is available in various formats from the CoFI archives at ftp://ftp.brics.dk/Projects/CoFI/Notes/M/.

Copyright ©2002 CoFI, The Common Framework Initiative for Algebraic Specification and Development.¹

Abstract

This bibliography simply lists the entries in the file cofibib.bib concerning Methodology Notes. The order of listing is determined by the labels.

The documents are available in various formats from the CoFI WWW and FTP archives.

References

 [1]

Hubert Baumeister.
Methodological considerations on the use of extension and union.
Note M-1, in [9], September 1997.

 [2]

Christine Choppy.
Note on data type declaration.
Note M-2, in [9], January 1998.

 [3]

Maura Cerioli.
Different kinds of subsorting in CASL.
Note M-3, in [9], January 1998.

 [4]

Michel Bidoit, Don Sannella, and Andrzej Tarlecki.
Architectural specifications in CASL.
Note M-4 (submitted for publication), in [9], November 2000.

 [5]

Till Mossakowski.
Version control and registration for CASL libraries.
Note M-5, in [9], September 1998.

 [6]

Markus Roggenbach and Till Mossakowski.
Methodological guidelines.
Note M-6, in [9] (see also Note L-12 on Basic Datatypes in CASL, in which an earlier version of Note M-6 was originally incorporated), June 2002.

 [7]

Till Mossakowski and Markus Roggenbach.
The datatypes REAL and COMPLEX in CASL.
Note M-7, in [9], April 1999.

 [8]

Till Mossakowski.
How to write consistent CASL design specifications.
Note M-8, in [9], March 2000.

 [9]

CoFI.
The Common Framework Initiative for algebraic specification and development, electronic archives.
Notes and Documents accessible from http://www.brics.dk/Projects/CoFI/.