Use Cases (readings)

Related Papers:

[1]

Whittle, J. Specifying Precise Use Cases. Technical report, George Mason University, 2/2006.

[2]

Whittle, J. and Jayaraman, P. K. Generating hierarchical state machines from use case charts. re, 0:16-25, 2006.

[3]

Harel, D., Kugler, H. and Pnueli, A. Synthesis revisited: generating statechart models from scenario-based requirements.. Formal methods in software and systems modeling, pages 309-324. 2005.

[4]

Whittle, J. Specifying precise use cases with use case charts.. Models satellite events, pages 290-301. 2005.

[5]

Damm, W. and Harel, D. Lscs: breathing life into message sequence charts.. Formal Methods in System Design, 19(1):45-80, 2001.

[6]

Harel, D. and Kugler, H. Synthesizing state-based object systems from lsc specifications.. Ciaa, pages 1-33. 2000.