CASL, the Common Algebraic Specification Language, was designed by the members of
CoFI, the Common Framework Initiative for algebraic specification and development, and is …

One of the most novel features of C ASL, the Common Algebraic Specification Language, is
the provision of so-called architectural specifications for describing the modular structure of …

We lay out the design of HasCasl, a higher order extension of the algebraic specification
language Casl that serves both as a wide-spectrum language for the rigorous specification …

One of the novel features of Casl, the Common Algebraic Specification Language, is the
provision of so-called architectural specifications for describing the modular structure of …

Abstract Development graphs are a tool for dealing with structured specifications in a formal
program development in order to ease the management of change and reusing proofs. In …

We explore the way in which the refinement of individual 'local'components of a specification
relates to the development of a 'global'system from a specification of requirements. The …

We present a semantics for architectural specifications in the Common Algebraic
Specification Language (Casl), including an extended static analysis compatible with model …

Abstract scC ASL, a specification formalism developed recently by the CoFI group, offers
architectural specifications as a way to describe how simpler modules can be used to …

We develop a notion of higher-order connector towards supporting the systematic
construction of architectural connectors for software design. The idea is that individual …

We propose and study a framework for systematic development of software systems (or
models) from their formal specifications. We introduce a language for formal development by …