Abstract
This report summarizes the Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, held in St. Louis, Missouri, USA, on 21 May 2005, in conjunction with the International Conference on Software Engineering (ICSE 2005). The workshop consisted of a keynote and nine presentations. The workshop web page, which includes presented papers and the keynote presentation, can be found at http://www.info.fundp.ac.be/~ybo/scesm05/.
- T. Alspaugh, D. Richardson and T. Standish Scenarios, State Machines and Purpose-Driven Testing, In Proc. of ICSE 2005 Workshop: Scenarios and State Machines: Models, Algorithms and Tools, 2005]] Google ScholarDigital Library
- R. Alur, M. Yannakakis, Model Checking of Message Sequence Charts in Proc. of CONCUR'99, 1999.]] Google ScholarDigital Library
- I. Diethelm, L. Geiger, T. Maier, and A. Zündorf, Turning Collaboration Diagram Strips into Storycharts, In Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools, available at http://www.cs.tut.fi/~tsysta/ICSE/Program.html, 2002.]]Google Scholar
- H.-D. Ehrich, Harmonizing Intra- and Inter-Object Specification and Verification: a Multi-Object Logics Approach,, In Proc. of ICSE 2005 Workshop: Scenarios and State Machines: Models, Algorithms and Tools, 2005]] Google ScholarDigital Library
- L. Geiger and A. Zündorf Story-Driven Testing - SDT,, In Proc. of ICSE 2005 Workshop: Scenarios and State Machines: Models, Algorithms and Tools, 2005.]] Google ScholarDigital Library
- H. Giese, E. Kindler, F. Klein and R. Wagner Reconciling Scenario-Centered Controller Design with State-Based System Models,, In Proc. of ICSE 2005 Workshop: Scenarios and State Machines: Models, Algorithms and Tools, 2005.]] Google ScholarDigital Library
- M. Glinz, An Integrated Formal Model of Scenarios Based on Statecharts, LNCS 989, Springer-Verlag, 1995, 254--271.]] Google ScholarDigital Library
- I. Krüger, R. Mathew and M. Meisinger From Scenarios to Aspects: Exploring Product Lines,, In Proc. of ICSE 2005 Workshop: Scenarios and State Machines: Models, Algorithms and Tools, 2005.]] Google ScholarDigital Library
- D. Harel, H. Kugler, Synthesizing state-based object systems from LSC specifications, In Proc. CIAA 2000.]] Google ScholarDigital Library
- S. Leue, L. Mehrmann, M. Rezai, Synthesizing software architecture descriptions from message sequence chart specification. In Proc. of ASE'98, 1998, pp. 192--195.]] Google ScholarDigital Library
- H. Muccini, Detecting Implied Scenarios analyzing nonlocal Branching Choices,. In: Proc. Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2003), ETAPS 2003, Warsaw, Poland, April 2003. LNCS 2621, Springer.]]Google Scholar
- E. Mäkinen and T. Systä, An Interactive Synthesizer to Support Behavioral Modeling in UML, In Proc. of ICSE'01, 2001, pp. 15--24.]] Google ScholarDigital Library
- J. Pazos-Arias, J.-Garcia-Duque, M. Lopez-Nore and B. Barragans-Martinez, Eliciting Requirements and Scenarios Using the SCTL-MUS methodology: The Shuttle System Case Study,, In Proc. of ICSE 2005 Workshop: Scenarios and State Machines: Models, Algorithms and Tools, 2005.]] Google ScholarDigital Library
- S. Schönberger, R. Keller, I. Khriss, Algorithmic Support for Model Transformation in Object-Oriented Software Development, In TAPOS, John Wiley & Sons, 2000.]]Google Scholar
- S. Some, Beyond Scenarios: Generating State Models from Use Cases, In Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools, available at http://www.cs.tut.fi/~tsysta/ICSE/Program.html, 2002.]]Google Scholar
- T. Systä, R. Keller, and K. Koskimies, Scenario-based Round-trip Engineering, OOPSLA 2000 Workshop summary, SIGSOFT Software Engineering Notes, March 2001, vol 26, no 2.]] Google ScholarDigital Library
- T. Systä (ed.), Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October, 2000.]]Google Scholar
- S. Uchitel, J. Kramer, J. Magee, Detecting Implied Scenarios in Message Sequence Chart Specifications. In Proc. ESEC/FSE'01, 2001, pp. 74--82.]] Google ScholarDigital Library
- J. Whittle and J. Schumann, Statechart Synthesis From Scenarios: an Air Traffic Control Case Study, In Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools, available at http://www.cs.tut.fi/~tsysta/ICSE/Program.html, 2002.]]Google Scholar
- J. Whittle and J. Schumann, Generating statechart designs from scenarios. In Proc. of ICSE'00, 2000, pp. 314--323.]] Google ScholarDigital Library
Index Terms
- Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop
Recommendations
A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools"
This summary reports on the third workshop in the SCESM (SCEnarios and State Machines) series held at the International Conference on Software Engineering (ICSE) in 2004 in Edinburgh, Scotland. SCESM'04 continues the very successful preceding workshops ...
Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM)
ICSE '06: Proceedings of the 28th international conference on Software engineeringSCESM '06 is the 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools. It is a one day ICSE '06 workshop. Details about SCESM '06 may be found at http://ise.gmu.edu/scesm06/.
5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM)
SCESM'06 was the 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools. It was a one day ICSE'06 workshop taking place on May 27, 2006. Details about SCESM'06 may be found at http://ise.gmu.edu/scesm06/.
Comments