In these lecture notes we describe an algebraic approach to programming, suitable both for
the derivation of individual programs and for the study of programming techniques in …

01• Aerospace and Electronic Systems Page 1 1 Page 2 i WILEY ENCYCLOPEDIA OF ELECTRICAL
AND ELECTRONICS ENGINEERING 24 Volume Set (Hardcover) by John G. Webster (Editor) …

Specware supports the systematic construction of formal specifications and their stepwise
refinement into programs. The fundamental operations in Specware are that of composing …

Problem-solving methods provide reusable architectures and components for implementing
the reasoning part of knowledge-based systems. The Unified Problem-Solving Method …

Problem solving methods (PSMs) describe the reasoning components of knowledge-based
systems as patterns of behavior that can be reused across applications. While the …

Dynamic programming is a strategy for solving optimisation problems. In this paper, we
show how many problems that may be solved by dynamic programming are instances of the …

A systematic approach is given for deriving incremental programs from non-incremental
programs written in a standard functional programming language. We exploit a number of …

The algebraic programming language OPAL has been designed as a testbed for
experiments with the specification and development of functional programs. The language …

Global search is an enumerative approach to problem solving that generalizes the
computational paradigms of binary search, backtracking, branch-and-bound, heuristic …

Abstract Theory interpretation is a logical technique for relating one axiomatic theory to
another with important applications in mathematics and computer science as well as in logic …