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 notion of anâ€¦ (More)

ion, based on behavioural equivalence of algebras. In the above, similar mo344 8 Behavioural specifications tivation led to a new notion of behavioural satisfaction, and consequently to a behaviouralâ€¦ (More)

This paper presents a number of concepts of a mapping between logical systems modelled as institutions, discusses their mutual merits and demerits, and sketches their role in the process of systemâ€¦ (More)

The program development process is viewed as a sequence of implementation steps leading from a spe-ciication to a program. Based on an elementary notion of reenement, two notions of implementationâ€¦ (More)

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 notions of implementationâ€¦ (More)

UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to descriptions of systemâ€¦ (More)

The properties of a simple and natural notion of observational equivalence of algebras and the corresponding specification-building operation are studied. We begin with a defmition of observationalâ€¦ (More)