User contributions
From WeizmannWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 11: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)
- 11: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...)
- 11:32, 18 October 2010 (diff | hist) . . (+30) . . Tracer's gallery (current)
- 09:29, 18 October 2010 (diff | hist) . . (0) . . Live sequence charts
- 21:04, 17 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)
- 20: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...)
- 20:52, 17 October 2010 (diff | hist) . . (+36) . . The Tracer
- 20:51, 17 October 2010 (diff | hist) . . (+4) . . The Tracer
- 20:50, 17 October 2010 (diff | hist) . . (+1,846) . . The Tracer
- 20:34, 17 October 2010 (diff | hist) . . (-38) . . PlayGo
- 20:32, 17 October 2010 (diff | hist) . . (+1,586) . . Live sequence charts
- 20:17, 17 October 2010 (diff | hist) . . (+75) . . Live sequence charts
- 20: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...)
- 20:06, 17 October 2010 (diff | hist) . . (+377) . . The LSC Compiler (→References)
- 19:57, 17 October 2010 (diff | hist) . . (0) . . The LSC Compiler
- 02:54, 5 September 2010 (diff | hist) . . (0) . . The LSC Compiler (→References)
- 02:54, 5 September 2010 (diff | hist) . . (+92) . . The LSC Compiler
- 20:21, 4 September 2010 (diff | hist) . . (+6) . . PlayGo (→Related Tools)
- 20:20, 4 September 2010 (diff | hist) . . (+184) . . The LSC Compiler (→References)
- 20:15, 4 September 2010 (diff | hist) . . (+3) . . The Tracer (→References)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)