Bibliography of CoFI Methodology Notes

November 16, 1999

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.3.

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 [8], September 1997.

 [2]

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

 [3]

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

 [4]

Michel Bidoit, Don Sannella, and Andrzej Tarlecki.
Architectural specifications in CASL.
Note M-4 (revised), in [8], July 1998.

 [5]

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

 [6]

Markus Roggenbach and Till Mossakowski.
Basic datatypes in CASL.
Note M-6, in [8] (a new version is due in November, see also Note L-12), July 1999.

 [7]

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

 [8]

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