This paper describes the implementation of a prototype system that supports fine-grained
configuration and version management. The development has been undertaken in the …

Over the last couple of decades the advantages of including formal proof within the
development process for computer based systems has become increasingly clear. This has …

This paper describes a tool that manages a hierarchical," is a subsystem of"-structure on a
set of software development artefacts and that provides configuration management (CM) for …

While CASE tools for formal methods have been relatively successful in industry, the up-take
of the theorem proving technology has been quite slow. This suggests that more focus …

For large software developments, process modelling can be used to guide and monitor the
use of development tools. This paper explores the addition of “behavioural properties” to …

Existing software configuration management (CM) tools are limited in the support they
provide for configuration and change management of hierarchically structured software …

Reactive integrated development environments for software engineering have lead to an
increase in productivity and quality of programs produced. They have done so by replacing …

This paper describes the facilities currently available to support auditing and traceability
within a system which provides fine-grained configuration and version management. We …

During the last years, the interest in formal methods for software development has been
growing rapidly. One of the reasons for this is the availability of tools to support the …

This bibliography contains a list of Z references that are either available as published
papers, books or technical reports from institutions, from the author, the Oxford University …