26th International Conference on Software Engineering - W5S Workshop "Third International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04)"

Buy conference proceeding
(plus tax if applicable)
  • Location: Edinburgh, UK
  • Conference date: 25 May 2004
  • ISBN: 0 86341 420 6
  • Conference number: 2004/905
  • The following topics are dealt with: formal specification; formal verification; scenario based specification; specification languages; systems analysis; state charts; UML; message sequence charts; scenario synthesis; finite state machines; software tools

11 items found

  • Difficulties with behaviour modelling in software and systems development
  • Systematically combining specifications of internal and external system behavior using statecharts
  • A methodology for scenario-based requirements capture
  • Simulating textual scenarios using state charts
  • As fast as sound lightweight formal scenario synthesis and verification
  • Imprecise synthesis [Message Sequence Charts requirements specification]
  • Analysis and synthesis for parameterized timed sequence diagrams
  • Using behavior trees to model the Autonomous Shuttle System
  • Minimally adequate teacher synthesizes shuttles, too
  • Systematic story driven modeling: a case study
  • Executable use cases as links between application domain requirements and machine specifications
Items per page 20 | 50 | 100
This is a required field
Please enter a valid email address