User contributions
From WeizmannWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 14:45, 18 October 2010 (diff | hist) . . (+74) . . N File:Mainviewandoverview.PNG (Main view and overview screen capture from the Tracer's PacMan case study.) (current)
- 14:35, 18 October 2010 (diff | hist) . . (+539) . . N Tracer's gallery: PacMan game (New page: The scenario-based execution traces for the examples below were generated for the Tracer using the S2A compiler. The program traced for the examples below is adopted from a public...)
- 14:32, 18 October 2010 (diff | hist) . . (+30) . . Tracer's gallery (current)
- 12:29, 18 October 2010 (diff | hist) . . (0) . . Live sequence charts
- 00:04, 18 October 2010 (diff | hist) . . (+526) . . N PacMan game (New page: The scenario-based execution traces for the examples below were generated for the Tracer using the S2A compiler. The program traced for the examples below is adopted from a public...) (current)
- 23:58, 17 October 2010 (diff | hist) . . (+242) . . N Tracer's gallery (New page: This page provides links to screen captures of the Tracer, from several case study applications: * PacMan game * Smartphone, scenario-based testing of a Nokia smartphone * [[R...)
- 23:52, 17 October 2010 (diff | hist) . . (+36) . . The Tracer
- 23:51, 17 October 2010 (diff | hist) . . (+4) . . The Tracer
- 23:50, 17 October 2010 (diff | hist) . . (+1,846) . . The Tracer
- 23:34, 17 October 2010 (diff | hist) . . (-38) . . PlayGo
- 23:32, 17 October 2010 (diff | hist) . . (+1,586) . . Live sequence charts
- 23:17, 17 October 2010 (diff | hist) . . (+75) . . Live sequence charts
- 23:15, 17 October 2010 (diff | hist) . . (+1,177) . . N Live sequence charts (New page: Live sequence charts (LSC) constitute a visual formalism for inter-object scenario-based speci�cation and programming, which extends the partial-order semantics of classical message sequ...)
- 23:06, 17 October 2010 (diff | hist) . . (+377) . . The LSC Compiler (→References)
- 22:57, 17 October 2010 (diff | hist) . . (0) . . The LSC Compiler
- 05:54, 5 September 2010 (diff | hist) . . (0) . . The LSC Compiler (→References)
- 05:54, 5 September 2010 (diff | hist) . . (+92) . . The LSC Compiler
- 23:21, 4 September 2010 (diff | hist) . . (+6) . . PlayGo (→Related Tools)
- 23:20, 4 September 2010 (diff | hist) . . (+184) . . The LSC Compiler (→References)
- 23:15, 4 September 2010 (diff | hist) . . (+3) . . The Tracer (→References)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
