Precise scenarios - a customer-friendly foundation for formal specifications

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Oliver T.S. Au, Roger Stone, John Cooke
Format: Default Preprint
Published: 2007
Subjects:
Other information and computing sciences not elsewhere classified
precise scenario
formal method
requirements specification
use case
Information and Computing Sciences not elsewhere classified
Online Access:https://hdl.handle.net/2134/2647
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://hdl.handle.net/2134/2647

Similar Items