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 the logical and mathematical foundations of CafeOBJ, which is a
successor of the famous algebraic specification language OBJ but adds to it several new …

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 …

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 …

Because of the growing importance of object-oriented programming, a number of testing
strategies have been proposed. They are based either on pure black-box or white-box …

Network Algebra considers the algebraic study of networks and their behaviour. It contains
general results on the algebraic theory of networks, recent results on the algebraic theory of …

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive
introduction to OBJ, the most widely used algebraic specification system. As a formal …

This paper builds on the theory of institutions, a version of abstract model theory that
emerged in computer science studies of software specification and semantics. To handle …

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