Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/2647

Title: Precise scenarios - a customer-friendly foundation for formal specifications
Authors: Au, Oliver T.S.
Stone, R.G.
Cooke, John
Keywords: precise scenario
formal method
requirements specification
use case
Z
Issue Date: 2007
Abstract: A 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.
Description: This is a pre-print of a paper submitted to IFM 2007: Integrated formal methods: http://www.softeng.ox.ac.uk/ifm2007/index.html.
URI: https://dspace.lboro.ac.uk/2134/2647
Appears in Collections:Pre-Prints (Computer Science)

Files associated with this item:

File Description SizeFormat
Customer-Friendly%20Foundation.pdf176.61 kBAdobe PDFView/Open

 

SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.