Capturing and Executing Behavioral Requirements : The Play-In / Play-Out Approach

@inproceedings{Harel2001CapturingAE,
  title={Capturing and Executing Behavioral Requirements : The Play-In / Play-Out Approach},
  author={David Harel and Rami Marelly},
  year={2001}
}
A powerful methodology for specifying scenario-based requirements of reactive systems is described, in which the behavior is \played in" directly from the system's GUI or some abstract version thereof, and can then be \played out". The approach is supported and illustrated by a tool, which we call the play-engine. As the requirements are played in, the play-engine automatically generates a formal version in the language of live sequence charts (LSCs). As they are played out, it causes the… CONTINUE READING
12 Citations
25 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 25 references

Genetic Software Engineering

  • R. Dromey
  • Manuscript,
  • 2001
1 Excerpt

uth. Visual Temporal Logic as a Rapid Prototyping Tool

  • M. Franzel, L K.
  • Vis. Lang. and Compu.,
  • 2001
1 Excerpt

Extreme Modeling

  • M. Boger, T. Baier, F. Wienberg, W. Lamersdorf
  • Extreme Programming and Flexible Processes in…
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…