Algebraic system specification and development
Algebraic system specification and development
Specification of abstract dynamic-data types: a temporal logic approach
Theoretical Computer Science - Special issue: algebraic development techniques
Specification of abstract data types
Specification of abstract data types
Software—Practice & Experience
Algebraic specification in CASL
Software specification methods
Generalized interpolation in CASL
Information Processing Letters
CoFI: the common framework initiative for algebraic specification and development
Current trends in theoretical computer science
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
CASL: the common algebraic specification language
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Extending Development Graphs with Hiding
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Checking Amalgamability Conditions for C ASL Architectural Specifications
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Specifying Real Numbers in CASL
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Towards an Evolutionary Formal Software-Development Using CASL
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Development of Parsing Tools for CASL Using Generic Language Technology
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Institution Independent Static Analysis for CASL
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Towards Trustworthy Specifications I: Consistency Checks
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Verifying Architectural Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Colimits of order-sorted specifications
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Translationg OBJ3 into CASL: The Institution Level
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
CASL: A Guided Tour of Its Design
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Relating Abstract Datatypes and Z-Schemata
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Extending Casl by Late Binding
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Specifications in an Arbitrary Institution with Symbols
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Algebraic Specification of Operator-Based Multimedia Scenarios
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Higher-Order Logic and Theorem Proving for Structured Specifications
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Permissive Subsorted Partial Logic in CASL
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
CoFI: The Common Framework Initiative for Algebraic Specification and Development
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Algebraic Specification and Program Development by Stepwise Refinement
LOPSTR'99 Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation
Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Formal software engineering for computational modelling
Nordic Journal of Computing
Correct realizations of interface constraints with OCL
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Hi-index | 0.00 |
The Common Framework Initiative (CoFI) is an open international collaboration which aims to provide a common framework for algebraic specification and development of software. The central element of the Common Framework is a specification language called CASL for formal specification of functional requirements and modular software design which subsumes many previous algebraic specification languages. This paper is a brief summary of progress on CoFI during the period 1998-2001, when CoFI received funding from the European Commission as a Working Group under the Esprit programme.