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

Heterogeneous specification becomes more and more important because complex systems
are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1) …

The Common Algebraic Specification Language (CASL) is an expressive language for the
formal specification of functional requirements and modular design of software. It has been …

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

We present and evaluate an automatic tool for extracting algebraic specifications from Java
classes. Our tool maps a Java class to an algebraic signature and then uses the signature to …

The long-standing aspiration for software reuse has made astonishing strides in the past few
years. Many modern software development ecosystems now come with rich sets of publicly …

This paper provides an outline of a formalization of classes of information fusion systems in
terms of category theory and formal languages. The formalization captures both the …

We study proof systems for reasoning about logical consequences and refinement of
structured specifications, based on similar systems proposed earlier in the literature (Inform …

Abstract Models express not only information about their intended domain but also about the
way in which the model is incomplete, or “partial”. This partiality supports the modeling …

Program synthesis research aims at developing a program that develops correct programs
from specifications, with as much or as little interaction as the specifier wants. I overview the …