loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Formal Approach to Scenario Analysis
March/April 1994 (vol. 11 no. 2)
pp. 33-41
ASCII Text
x 
 
Pei Hsia, Jayarajan Samuel, Jerry Gao, David Kung, Yasafumi Toyoshima, Cris Chen, "Formal Approach to Scenario Analysis," IEEE Software, vol. 11, no. 2, pp. 33-41, March/April, 1994.
 
 
BibTex
x
 
@article{ 10.1109/52.268953,
author = {Pei Hsia and Jayarajan Samuel and Jerry Gao and David Kung and Yasafumi Toyoshima and Cris Chen},
title = {Formal Approach to Scenario Analysis},
journal ={IEEE Software},
volume = {11},
number = {2},
issn = {0740-7459},
year = {1994},
pages = {33-41},
doi = {http://doi.ieeecomputersociety.org/10.1109/52.268953},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Formal Approach to Scenario Analysis
IS - 2
SN - 0740-7459
SP33
EP41
EPD - 33-41
A1 - Pei Hsia,
A1 - Jayarajan Samuel,
A1 - Jerry Gao,
A1 - David Kung,
A1 - Yasafumi Toyoshima,
A1 - Cris Chen,
PY - 1994
KW - formal specification; systems analysis; private telephone exchanges; telecommunications computing; telephone systems; formal verification; formal approach; scenario analysis; requirements analysis; simple PBX system; formal mathematical base; precise scenarios
VL - 11
JA - IEEE Software
ER -
 

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.

Index Terms:
formal specification; systems analysis; private telephone exchanges; telecommunications computing; telephone systems; formal verification; formal approach; scenario analysis; requirements analysis; simple PBX system; formal mathematical base; precise scenarios
Citation:
Pei Hsia, Jayarajan Samuel, Jerry Gao, David Kung, Yasafumi Toyoshima, Cris Chen, "Formal Approach to Scenario Analysis," IEEE Software, vol. 11, no. 2, pp. 33-41, Mar./Apr. 1994, doi:10.1109/52.268953
Usage of this product signifies your acceptance of the Terms of Use.