MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  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

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