Search For:

Displaying 1-1 out of 1 total
Synthesizing Modal Transition Systems from Triggered Scenarios
Found in: IEEE Transactions on Software Engineering
By German Emir Sibay,Victor Braberman,Sebastian Uchitel,Jeff Kramer
Issue Date:July 2013
pp. 975-1001
Synthesis of operational behavior models from scenario-based specifications has been extensively studied. The focus has been mainly on either existential or universal interpretations. One noteworthy exception is Live Sequence Charts (LSCs), which provides ...