%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 }