A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf
.
Rule-based verification of scenarios with pre-conditions and post-conditions
2005
13th IEEE International Conference on Requirements Engineering (RE'05)
Scenarios that describe concrete situations of software operation play an important role in software development, especially in requirements engineering. Since scenarios are informal, the correctness of scenarios is hard to be verified. The authors have developed a language for describing scenarios in which simple action traces are embellished. The purposes are to include typed frames based on a simple case grammar of actions and to describe the sequence among events. Based on this scenario
doi:10.1109/re.2005.63
dblp:conf/re/ToyamaO05
fatcat:lsdfirwlkned3otafmdtxmcybi