Incremental elaboration of scenario-based specifications and behavior models using implied scenarios

  title={Incremental elaboration of scenario-based specifications and behavior models using implied scenarios},
  author={Sebasti{\'a}n Uchitel and Jeff Kramer and Jeff Magee},
  journal={ACM Trans. Softw. Eng. Methodol.},
Behavior modeling has proved to be successful in helping uncover design flaws of concurrent and distributed systems. Nevertheless, it has not had a widespread impact on practitioners because model construction remains a difficult task and because the benefits of behavior analysis appear at the end of the model construction effort. In contrast, scenario-based specifications have a wide acceptance in industry and are well suited for developing first approximations of intended behavior; however… CONTINUE READING
Highly Influential
This paper has highly influenced 20 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 222 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 149 extracted citations

223 Citations

Citations per Year
Semantic Scholar estimates that this publication has 223 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 12 references

Message Sequence Charts, International Telecommunications Union

  • ITU.
  • Telecommunication Standardisation Sector.
  • 1996
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…