CFI Catalogue: Language Design
This is the CFI Catalogue of Algebraic Specification Frameworks.
The WWW version of the catalogue is available with various degrees of
fragmentation:
Which fragmentation will work best for you may depend on the slowness
of the net, on the size of your browser's disk cache, and on your
pattern of browsing. The selected fragmentation is indicated in boldface above, and the other possibilities are links like
this; simply click on one of them to change
the selected fragmentation.
The catalogue entries for the following frameworks are now available
by WWW:
N.B. All sections of the catalogue are TENTATIVE first
versions, unless explicitly marked otherwise. On the basis of these
drafts, the classification structure and items of the catalogue will
be revised, in preparation for a more precise second version.
Sections dealing with Tools, Methodology, and Documentation will be
added later. Further frameworks are still to be added.
Comments and corrections concerning the catalogue should be
sent to one of the following addresses, according to the topic:
- Catalogue entries
- to the address given before the table of
contents of the catalogue concerned;
- Wording and grouping
- to bkb@informatik.uni-bremen.de;
- WWW and LaTeX formatting
- to pdmosses@brics.dk.
The LaTeX document used for creating the entries for particular
frameworks is
available, also
already formatted as compressed
Postscript (~300Kb) and
DVI (~15Kb). To
run LaTeX on CFICatalogueSamp.tex you need two further files:
the style file and the
standard preface. All
these file are available together in tar
format. The LaTeX2e sources
of this document were translated to HTML using
Hyperlatex-1.4.
To run Hyperlatex yourself on CFICatalogueSamp.tex (on Unix)
you have to install the file
hlx-CFICatalogue.el
in either the system-wide Hyperlatex extension directory or into a
directory .hyperlatex in your home directory.
Common Framework Initiative, May 14, 1996