997 | -- | 998 | Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle. Guest Editorial: Special Section on Interaction and State-Based Modeling |
999 | -- | 1014 | Yves Bontemps, Patrick Heymans, Pierre Yves Schobbens. From Live Sequence Charts to State Machines and Back: A Guided Tour |
1015 | -- | 1027 | Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh. Interaction Protocols as Design Abstractions for Business Processes |
1028 | -- | 1041 | Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero. A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties |
1042 | -- | 1055 | Xiang Fu, Tevfik Bultan, Jianwen Su. Synchronizability of Conversations among Web Services |
1056 | -- | 1073 | Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde. Generating Annotated Behavior Models from End-User Scenarios |
1074 | -- | 1092 | Bernd G. Freimut, Lionel C. Briand, Ferdinand Vollei. Determining Inspection Cost-Effectiveness by Combining Project Data and Expert Opinion |