Next:
Tutorial J
Up:
ZUM'95 Tutorials: 4-6th September 1995
Previous:
Tutorial H
WEDNESDAY 6th September 1995 (afternoon)
Using Z to Rigorously Review Structured Specifications
Lesley Semmens (Leeds Metropolitan University, UK)
The Rigorous Review Technique is a formal V &V procedure developed during a collaboration between BT and LMU. It involves the transformation of the outputs of structured analysis (eg SSADM or Yourdon) into Z and is used to reveal errors and inconsistencies in the structured specification.
The tutorial is aimed at developers who are familiar with structured analysis techniques such as Entity Relationship and Data Flow Diagrams and will involve a case study which illustrates the common types of error revealed by the technique. Delegates should hope to gain an understanding of the technique and its application to critical or complex sub-systems.
Lesley Semmens has been researching in the area of methods integration for more than seven years. She was British Telecom Research Fellow in Structured and Formal Methods from 1989-92 and was centrally involved in the development and piloting of the Rigorous Review Technique.