CoFI aims and scope
From CoFI
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