To search, Click below search items.
All Published Papers Search Service
Title
A Statechart-Based Approach of Eliciting Implied Scenarios
Author
Hongyuan Wang, Jiachen Zhang, Tie Feng
Vol. 6 No. 2 pp. 57~62
Keywords
UML, Scenarios, Sequence diagrams, Statechart, Implied state transition path, Implied Scenario
A New approach to Detect Safety Violations in UML Statechart Models
Prashanth C.M., K. Chandrashekar Shet
Vol. 8 No. 7 pp. 167-174
UML Statecharts, Software verification, Reactive Systems