Towards More Flezible Development of Z Specifications
Formal specifications of software systems need to evolve in many ways during system development. Not only are changes required to refine the specification towards an implementation, they are also required in response to changes in requirements, or to incorporate different aspects of the system, e.g., fault tolerance or timing, initially ignored in order to simplify reasoning. This paper presents an approach for evolving Z specifications by the step-wise application of a number of simple rules. These rules not only document the specifications evolution, but also make precise how safety properties of the system evolve with the specification. Hence, reasoning about these properties performed on the original specification need not be repeated on the new specification.
Zheng Fu Graeme Smith
School of Information Technology and Electrical Engineering The University of Queensland, Australia
国际会议
南京
英文
281-288
2008-06-17（万方平台首次上网日期，不代表论文的发表时间）