CoFI: The Common Framework Initiative for Algebraic Specification (original) (raw)
Related papers
CASL: the Common Algebraic Specification Language
Peter Mosses, Hubert Baumeister
Theoretical Computer …, 2002
CoFI: The Common Framework Initiative for Algebraic Specification and Development
TAPSOFT'97: Theory and Practice of Software …, 1997
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory
Comput. Artif. Intell., 2003
From specifications to code in CASL
2002
2nd International Workshop on the Theory and Practice of Algebraic Specifications, Amsterdam 1997
Essential concepts of algebraic specification and program development
Formal Aspects of Computing, 1997
Science of Computer Programming, 1989
µCRL: A toolset for analysing algebraic specifications
CAV, 2001
Architectural Specifications in CASL
Formal Aspects of Computing, 2002
A tool for writing and debugging algebraic specifications
Proceedings. 26th International Conference on Software Engineering
Algebraic methods for specification and formal development of programs
ACM Computing Surveys, 1999
Peter D Mosses, A. Haxthausen, D. Sannella, Egidio Astesiano
2000
A kernel language for algebraic specification and implementation extended abstract
Lecture Notes in Computer Science, 1983
Rascal: From Algebraic Specification to Meta-Programming
2011
Manipulating Algebraic Specifications With Term-Based and Graph-Based Representations* 1
Journal of Logic and …, 2004
Some thoughts on algebraic specification
Manipulating algebraic specifications with term-based and graph-based representations
The Journal of Logic and Algebraic Programming, 2004
A Simple Refinement Language for Casl
Lecture Notes in Computer Science, 2005
Extending algebraic axiom techniques to handle object-oriented specifications
2008
SLAN-4: A Language for the Specification and Design of Large Software Systems
IBM journal of research and development, 1983
Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl
Lecture Notes in Computer Science, 2000
The typelab specification and verification environment
Toward Component-Oriented Formal Software Development: An Algebraic Approach
Lecture Notes in Computer Science, 2004
Algebraic Specification and Program Development by Stepwise Refinement
Lecture Notes in Computer Science, 2000