The Play-in/Play-out Approach and Tool: Specifying and Executing Behavioral Requirements. The Israeli workshop on programming languages and Development Environments (2002) [2 citations — 0 self]

Download:
pdf

by David Harel, Hillel Kugler, Rami Marelly

The Israeli Workshop on Programming Languages & Development Environments (PLE'02

http://www.haifa.il.ibm.com/info/ple/papers/play.pdf

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Harel02theplay-in/play-out,
    author = {David Harel and Hillel Kugler and Rami Marelly},
    title = {The Play-in/Play-out Approach and Tool: Specifying and Executing Behavioral Requirements. The Israeli workshop on programming languages and Development Environments},
    booktitle = {The Israeli Workshop on Programming Languages & Development Environments (PLE'02},
    year = {2002}
}

Abstract:

Citations

752	Object-Oriented Software Engineering: A Use Case Driven Approach – Jacobson, Jonsson, et al. - 1992
491	On Visual Formalisms – Harel - 1988
278	Executable object modeling with statecharts – Harel, Gery - 1997
208	LSCs: Breathing life into message sequence charts – Damm, Harel - 2001
48	Synthesizing state-based object systems from LSC specifications – Harel, Kugler
45	From Play-In Scenarios to Code: an Achievable Dream – Harel - 2001
28	Specifying and executing behavioral requirements: the play-in/play-out approach – Harel, Rami - 2003
28	Smart play-out of behavioral requirements – Harel, Kugler, et al. - 2002
24	Multiple Instances and Symbolic Variables in Executable Sequence Charts – Marelly, Harel, et al. - 2002
14	Playing with time: On the specification and execution of time-enriched LSCs – Harel, Marelly - 2002
4	Visual Temporal Logic as a Rapid Prototyping Tool – Fränzle, Lüth - 2001
1	available from the Object Management Group (OMG), http://www.omg.org – documentation
1	I.Jacobson and G.Booch, The UML Reference Manual – Rumbaugh - 1999

View or Download | Add to My Collection | Correct Errors