Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Co

Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and impl

Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theor

This book is the proceedings of the Workshop on the Performance Engineering of Computer and Telecommunications Systems. The workshop Was held at Liverpool John

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now p