Publisher Summary An algebraic specification is a description of one or more abstract data
types. There are three main semantic approaches to algebraic specifications:(1) the initial …

There is a population explosion among the logical systems used in computing science.
Examples include first-order logic, equational logic, Horn-clause logic, higher-order logic …

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

The paper presents a theory of program testing based on formal specifications. The formal
semantics of the specifications is the basis for a notion of an exhaustive test set. Under some …

This paper addresses the problem of constructing test data sets from formal specifications.
Starting from a notion of an ideal exhaustive test data set, which is derived from the notion of …

A formalism for constructing and using axiomatic specifications in an arbitrary logical system
is presented. This builds on the framework provided by Goguen and Burstall's work on the …

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 …

This paper presents indexed categories which model uniformly defined families of
categories, and suggests that they are a useful tool for the working computer scientist. An …

The program development process is viewed as a sequence of implementation steps
leading from a specification to a program. Based on an elementary notion of refinement, two …

In their usual form, representation independence metatheorems provide an external
guarantee that two implementations of an abstract interface are interchangeable when they …