From Live Sequence Charts to State Machines and Back: A Guided Tour.
- Published in:
- IEEE Transactions on Software Engineering, 2005, v. 31, n. 12, p. 999, doi. 10.1109/TSE.2005.137
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2005 AND VI 31 AND IP 12
Results: 7
1
2
Generating Annotated Behavior Models from End-User Scenarios.
- Published in:
- IEEE Transactions on Software Engineering, 2005, v. 31, n. 12, p. 1056, doi. 10.1109/TSE.2005.138
- By:
- Publication type:
- Article
3
Synchronizability of Conversations among Web Services.
- Published in:
- IEEE Transactions on Software Engineering, 2005, v. 31, n. 12, p. 1042
- By:
- Publication type:
- Article
4
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.
- Published in:
- IEEE Transactions on Software Engineering, 2005, v. 31, n. 12, p. 1028, doi. 10.1109/TSE.2005.131
- By:
- Publication type:
- Article
5
Interaction Protocols as Design Abstractions for Business Processes.
- Published in:
- IEEE Transactions on Software Engineering, 2005, v. 31, n. 12, p. 1015, doi. 10.1109/TSE.2005.140
- By:
- Publication type:
- Article
6
Determining Inspection Cost-Effectiveness by Combining Project Data and Expert Opinion.
- Published in:
- IEEE Transactions on Software Engineering, 2005, v. 31, n. 12, p. 1074, doi. 10.1109/TSE.2005.136
- By:
- Publication type:
- Article
7
Guest Editorial: Special Section on Interaction and State-Based Modeling.
- Published in:
- IEEE Transactions on Software Engineering, 2005, v. 31, n. 12, p. 997, doi. 10.1109/TSE.2005.139
- By:
- Publication type:
- Article