Customer-Friendly%20Foundation.pdf (176.61 kB)
Precise scenarios - a customer-friendly foundation for formal specifications
preprint
posted on 2007-02-09, 13:51 authored by Oliver T.S. Au, Roger Stone, John CookeA formal specification is beyond the comprehension of the average software customer. As a result, the customer cannot provide useful feedback regarding its correctness and completeness. To address this problem, we suggest the formalism expert to work with the customer to create precise scenarios. A precise scenario describes an operation by its effects on the system state with only few simple Z
concepts. The customer would find a concrete precise scenario easier to understand than its corresponding abstract schema. The Z expert derives schemas based on the precise scenarios. Precise scenarios affords user involvement that improves the odds of a formal specification fully capturing the user requirements.
History
School
- Science
Department
- Computer Science
Pages
153071 bytesPublication date
2007Notes
This is a pre-print of a paper submitted to IFM 2007: Integrated formal methods: http://www.softeng.ox.ac.uk/ifm2007/index.html.Language
- en