
Issue No. 02 - March/April (1994 vol. 11)
ISSN: 0740-7459
pp: 33-41
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.268953
ABSTRACT
<p>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.</p>
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
J. Samuel, P. Hsia, D. Kung, J. Gao, C. Chen and Y. Toyoshima, "Formal Approach to Scenario Analysis," in IEEE Software, vol. 11, no. , pp. 33-41, 1994.
doi:10.1109/52.268953