A formal specification, written in a mathematical notation, 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. With only a few simple Z concepts, a precise scenario describes an operation by its effects on the system state. 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 afford user involvement that improves the odds of a formal specification fully capturing the user requirements. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Au, O., Stone, R., & Cooke, J. (2007). Precise scenarios - A customer-friendly foundation for formal specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4591 LNCS, pp. 21–36). Springer Verlag. https://doi.org/10.1007/978-3-540-73210-5_2
Mendeley helps you to discover research relevant for your work.