Formal approach to scenario analysis
Pei Hsia, Jayarajan Samuel, Jerry Zeyu Gao, David Chenho Kung, Yasufumi Toyoshima, C. Chen · IEEE Software · 1994
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.>