Algebraic structures which are generated by a collection of constructors| like natural
numbers (generated by a zero and a successor) or nite lists and trees| are of well …

This paper surveys our current state of knowledge (and ignorance) on the use of hidden
sorted algebra as a foundation for the object paradigm. Our main goal is to support …

This paper publicly reveals, motivates, and surveys the results of an ambitious hidden
agenda for applying algebra to software engineering. The paper reviews selected literature …

Institutions formalise the intuitive notion of logical system, including syntax, semantics, and
the relation of satisfaction between them. Our exposition emphasises the natural way that …

The co-algebraic perspective on objects and classes in object-oriented programming is
elaborated: classes are described as co-algebras, which may occur as models …

This paper surveys several different variants of order sorted algebra (abbreviated OSA),
comparing some of the main approaches (overloaded OSA, universe OSA, unified algebra …

CAFE is the name of a network based environment now under development for supporting
systematic creation, checking, verification, and maintenance of formal specifications. CAFE …

We extend the classical hidden algebra formalism by a re-arrangement of the basic
concepts. This re-arrangement of the hidden algebra formalism permits an extension to …

We present an institution of observational logic suited for state-based systems specifications.
The institution is based on the notion of an observational signature (which incorporates the …

Cleverly designed software often fails to satisfy its requirements strictly, but instead satisfies
them behaviorally, in the sense that they appear to be satisfied under every experiment that …