As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

A model theory that is independent of any concrete logical system allows a general handling
of a large variety of logics. This generality can be achieved by applying the theory of …

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

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 this work …

CASL — THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE: SEMANTICS AND
PROOF THEORY Till Mossakowski Anne E. Haxthausen Donald Sann Page 1 Computing and …

Casl is an expressive specification language that has been designed to supersede many
existing algebraic specification languages and provide a standard. Casl consists of several …

The constructor-based logics constitute the logical foundation of the so-called OTS/CafeOBJ
method, a modelling, specification and verification method of the observational transition …

The notion of signature morphism is basic to the theory of institutions. It provides a powerful
primitive for the study of specifications, their modularity and their relations in an abstract …

Colimits are a useful tool for the combination of specifications and logical theories. We
generalize the notion of colimit to a heterogeneous multi-logic setting. For practically realistic …

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 …