The goal of this book is to provide a comprehensive and systematic introduction to the
important and highly applicable method of data refinement and the simulation methods used …

Object-oriented design methods are commonplace in computing systems development, but
are often dismissed as' boxes & arrows'. If systems developers are to gain full advantage …

The main goal of the series has been to develop, illustrate and promulgate the scientific
basis of computer programming, and its application in software engineering on an industrial …

We illustrate the application of Nitpick, a specification checker, to the design of a style
mechanism for a word processor. The design is cast, along with some expected properties …

Recent advances in software specification methods, model checking, and theorem proving
have generated new tools for the use of formal methods in both industry and academia. Yet …

Specifications that are used in detailed design and in the documentation of existing code are
primarily written and read by programmers. However, most formal specification languages …

Achieving privacy preservation in a data-sharing computing environment is a challenging
problem. The requirements for a privacy preserving data access policy should be formally …

The Knowledge Acquisition and Representation Language (KARL) combines a description
of a knowledge based system at the conceptual level (a so called model of expertise) with a …

We describe the current status of “VDMTools”, a group of tools supporting the analysis of
system models expressed in the formal language of the Vienna Development Method. Three …

This book gives a practical introduction to the B specification language and method, an
approach to the development of high-quality software using rigorous CASE techniques. It is …