This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specifi

Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as ho

To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way

Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the cla