Scenarios offer promise as a way to tame requirements analysis, but progress has been impeded by the lack of a systematic way to analyze, generate, and validate them. The authors propose such a method and apply it to a simple PBX system. Their method has a formal mathematical base, generates precise scenarios, accommodates change, and keeps users involved in the process.
%0 Journal Article
%1 Hsia1994
%A Hsia, Pei
%A Samuel, Jayarajan
%A Gao, Jerry
%A Kung, David
%A Toyoshima, Yasufumi
%A Chen, Cris
%C Los Alamitos, CA, USA
%D 1994
%I IEEE Computer Society Press
%J IEEE Softw.
%K analysis formal scenario scenarios
%P 33--41
%R 10.1109/52.268953
%T Formal Approach to Scenario Analysis
%U http://portal.acm.org/citation.cfm?id=176948.176952
%V 11
%X Scenarios offer promise as a way to tame requirements analysis, but progress has been impeded by the lack of a systematic way to analyze, generate, and validate them. The authors propose such a method and apply it to a simple PBX system. Their method has a formal mathematical base, generates precise scenarios, accommodates change, and keeps users involved in the process.
@article{Hsia1994,
abstract = {Scenarios offer promise as a way to tame requirements analysis, but progress has been impeded by the lack of a systematic way to analyze, generate, and validate them. The authors propose such a method and apply it to a simple PBX system. Their method has a formal mathematical base, generates precise scenarios, accommodates change, and keeps users involved in the process.},
acmid = {176952},
added-at = {2011-04-29T15:02:44.000+0200},
address = {Los Alamitos, CA, USA},
author = {Hsia, Pei and Samuel, Jayarajan and Gao, Jerry and Kung, David and Toyoshima, Yasufumi and Chen, Cris},
biburl = {https://www.bibsonomy.org/bibtex/2a94b66d81966a2185006907b1a18c8cb/enitsirhc},
description = {Formal Approach to Scenario Analysis},
doi = {10.1109/52.268953},
interhash = {3af416b21a3545c9e119ab23da85a81d},
intrahash = {a94b66d81966a2185006907b1a18c8cb},
issn = {0740-7459},
issue = {2},
journal = {IEEE Softw.},
keywords = {analysis formal scenario scenarios},
month = {March},
numpages = {9},
pages = {33--41},
publisher = {IEEE Computer Society Press},
timestamp = {2011-04-29T15:02:44.000+0200},
title = {Formal Approach to Scenario Analysis},
url = {http://portal.acm.org/citation.cfm?id=176948.176952},
volume = 11,
year = 1994
}