CoFI Aims and Scope
The Common Framework Initiative for algebraic specification and
development, CoFI, started in September 1995
[28][41].
The aims and scope were formulated as follows.
The aims of CoFI are to provide a common framework:
- by a collaborative effort
- for algebraic specification and development
- attractive to researchers as well as for use in industry
- providing a common specification language with uniform,
user-friendly syntax and straightforward semantics
- able to subsume many previous frameworks
- with good documentation and tool support
- free--but protected (cf. GNU [20])
The scope of CoFI is:
- specification of functional requirements
- formal development and verification of software
- relation of specifications to informal requirements and
implemented code
- prototyping, theorem-proving,
formal testing
- libraries, reuse, evolution
- tool interoperability
CoFI
: CoFI -- Version: -- November 29, 2004.
Comments to pdmosses@brics.dk
