User contributions
From WeizmannWiki
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 08:34, 18 March 2012 (diff | hist) . . (0) . . N File:WaterTap.zip
- 08:33, 18 March 2012 (diff | hist) . . (0) . . N File:WaterTap.uml (current)
- 10:34, 15 March 2012 (diff | hist) . . (+1) . . PlayGo HowTo
- 10:34, 15 March 2012 (diff | hist) . . (+2) . . PlayGo HowTo
- 10:33, 15 March 2012 (diff | hist) . . (-6) . . PlayGo Examples
- 10:31, 15 March 2012 (diff | hist) . . (+30) . . Instructions for creating LSC project from LSC file
- 10:30, 15 March 2012 (diff | hist) . . (+8) . . Instructions for creating LSC project from LSC file
- 10:29, 15 March 2012 (diff | hist) . . (0) . . N File:New.lscProjectByModel.jpg
- 10:28, 15 March 2012 (diff | hist) . . (0) . . N File:NewLSCProject.jpg (current)
- 10:25, 15 March 2012 (diff | hist) . . (+420) . . N Instructions for creating LSC project from LSC file (New page: # Download and install PlayGo #Start PlayGo #Create a new LSC project as follows: ## File Menu-->New-->LSC Project ## In the new LSC project dialog, check the 'choose ...)
- 10:15, 15 March 2012 (diff | hist) . . (+54) . . PlayGo Examples (→Water Tap)
- 10:13, 15 March 2012 (diff | hist) . . (0) . . N File:WaterTap.png (current)
- 10:09, 15 March 2012 (diff | hist) . . (0) . . N File:WaterTapUI.jpg (current)
- 10:04, 15 March 2012 (diff | hist) . . (0) . . N File:Lsc14.jpg
- 10:04, 15 March 2012 (diff | hist) . . (0) . . N File:NL13.jpg
- 10:04, 15 March 2012 (diff | hist) . . (0) . . N File:NL12.jpg
- 10:03, 15 March 2012 (diff | hist) . . (0) . . N File:NL11.jpg
- 10:03, 15 March 2012 (diff | hist) . . (0) . . N File:Lsc10.jpg
- 10:02, 15 March 2012 (diff | hist) . . (0) . . N File:NL9.jpg
- 10:02, 15 March 2012 (diff | hist) . . (0) . . N File:NL8.jpg
- 10:02, 15 March 2012 (diff | hist) . . (-141) . . Baby Monitor Specification
- 10:01, 15 March 2012 (diff | hist) . . (0) . . N File:Lsc7.jpg
- 10:00, 15 March 2012 (diff | hist) . . (0) . . N File:NL6.jpg
- 10:00, 15 March 2012 (diff | hist) . . (0) . . N File:NL5.jpg
- 10:00, 15 March 2012 (diff | hist) . . (0) . . N File:NL4.jpg
- 09:59, 15 March 2012 (diff | hist) . . (0) . . N File:NL3.jpg
- 09:59, 15 March 2012 (diff | hist) . . (0) . . N File:NL2.jpg
- 09:58, 15 March 2012 (diff | hist) . . (0) . . N File:NL1.jpg
- 09:58, 15 March 2012 (diff | hist) . . (-1) . . Baby Monitor Specification
- 09:56, 15 March 2012 (diff | hist) . . (+5,325) . . N Baby Monitor Specification (New page: <sub></sub> <sub></sub><sup></sup>The list below is the Baby Monitor system's requirements in [http://en.wikipedia.org/wiki/Controlled_natural_language controlled English]. These are vali...)
- 09:55, 15 March 2012 (diff | hist) . . (-1) . . PlayGo Examples (→Baby Monitor)
- 09:53, 15 March 2012 (diff | hist) . . (0) . . N File:BabyMonitor.png (current)
- 09:53, 15 March 2012 (diff | hist) . . (0) . . N File:BabyMonitor.Lsc12.jpg (current)
- 09:50, 15 March 2012 (diff | hist) . . (+8) . . PlayGo Examples (→Memory Game)
- 09:50, 15 March 2012 (diff | hist) . . (+4) . . PlayGo Examples (→Memory Game)
- 09:49, 15 March 2012 (diff | hist) . . (0) . . N File:MemoryGameUI.png
- 09:48, 15 March 2012 (diff | hist) . . (+3,199) . . N PlayGo Examples (New page: ==Applications== ===Memory Game=== leftImage:MemoryGameUI.png<br><br> The memory game is a simple application containing a single LSC that specifies th...)
- 09:47, 15 March 2012 (diff | hist) . . (+22) . . PlayGo
- 07:36, 23 January 2012 (diff | hist) . . (+9) . . Live sequence charts (current)
- 07:35, 23 January 2012 (diff | hist) . . (+8) . . Live sequence charts
- 07:55, 28 December 2011 (diff | hist) . . (-62) . . Download PlayGo
- 07:54, 28 December 2011 (diff | hist) . . (+62) . . Download PlayGo
- 13:52, 20 December 2011 (diff | hist) . . (+2) . . Download PlayGo
- 12:55, 18 December 2011 (diff | hist) . . (0) . . N File:Playin.systemmodel.png
- 12:54, 18 December 2011 (diff | hist) . . (0) . . File:View.properties.jpg (uploaded a new version of "Image:View.properties.jpg") (current)
- 12:54, 18 December 2011 (diff | hist) . . (0) . . File:Playin.toolbar3.JPG (uploaded a new version of "Image:Playin.toolbar3.JPG") (current)
- 12:53, 18 December 2011 (diff | hist) . . (0) . . File:Playin.toolbar2.JPG (uploaded a new version of "Image:Playin.toolbar2.JPG") (current)
- 12:53, 18 December 2011 (diff | hist) . . (0) . . File:Playin.toolbar1.JPG (uploaded a new version of "Image:Playin.toolbar1.JPG") (current)
- 12:51, 18 December 2011 (diff | hist) . . (-1) . . S2A Configuration (→S2A play-out properties) (current)
- 12:51, 18 December 2011 (diff | hist) . . (+1) . . S2A Configuration (→S2A play-out properties)
- 12:51, 18 December 2011 (diff | hist) . . (+4) . . S2A Configuration (→S2A play-out properties)
- 12:50, 18 December 2011 (diff | hist) . . (-10) . . S2A Configuration (→S2A play-out properties)
- 12:48, 18 December 2011 (diff | hist) . . (0) . . File:S2a.playout.properties.jpeg (uploaded a new version of "Image:S2a.playout.properties.jpeg")
- 12:46, 18 December 2011 (diff | hist) . . (-1) . . S2A Configuration (→S2A builder properties)
- 12:46, 18 December 2011 (diff | hist) . . (0) . . N File:S2a.properties.png (current)
- 12:42, 18 December 2011 (diff | hist) . . (0) . . File:New.LSC.project.JPG (uploaded a new version of "Image:New.LSC.project.JPG")
- 12:41, 18 December 2011 (diff | hist) . . (0) . . File:Debug.jpg (uploaded a new version of "Image:Debug.jpg") (current)
- 12:36, 18 December 2011 (diff | hist) . . (0) . . How to define play-in-able Swing GUI application (→Binding expression for dynamic instances)
- 12:35, 18 December 2011 (diff | hist) . . (+3,758) . . N How to define play-in-able Swing GUI application (New page: ===Create a new LSC project=== From PlayGo perspective: File-->New-->LSC Project ===Write your Swing code=== ====Using WindowBuilder plugin==== One possible option for creating the Swing ...)
- 12:33, 18 December 2011 (diff | hist) . . (+1,302) . . N How to Play In (New page: == Basic play-in== Here are some instructions for playing in: * Clicking an object in the GUI creates a diagram snippet reflecting that operation. * Use the Play-In toolbar to control some...)
- 12:32, 18 December 2011 (diff | hist) . . (-25) . . Troubleshoot
- 12:31, 18 December 2011 (diff | hist) . . (-6) . . Troubleshoot
- 12:31, 18 December 2011 (diff | hist) . . (+842) . . N Troubleshoot (New page: If play-out fails, it is recommended to compile it and then re-try. For compiling it, select the example project and from the menu bar, choose '''Project->Build All'''. If this is a GWT-ba...)
- 12:30, 18 December 2011 (diff | hist) . . (+242) . . S2A Configuration
- 12:29, 18 December 2011 (diff | hist) . . (-6,128) . . Getting Started with PlayGo
- 07:36, 30 October 2011 (diff | hist) . . (0) . . Download PlayGo
- 06:25, 28 October 2011 (diff | hist) . . (0) . . PlayGo Screenshots
- 06:22, 28 October 2011 (diff | hist) . . (-49) . . About PlayGo (→Implementation Overview)
- 06:18, 28 October 2011 (diff | hist) . . (0) . . Java API (current)
- 06:17, 28 October 2011 (diff | hist) . . (+5,192) . . N Java API (New page: Below are code snippets for commonly used operations. === Create LSC === <span style="font-size: larger;"> LSCModel topModel; topModel = (LSCModel) UMLFactory.eINSTANCE.createModel(); ...)
- 06:16, 28 October 2011 (diff | hist) . . (0) . . N File:SIVExample.png (current)
- 06:16, 28 October 2011 (diff | hist) . . (+10) . . PlayGo Feature List (→Java API for LSC Creation)
- 06:15, 28 October 2011 (diff | hist) . . (+5) . . PlayGo Feature List (→Java API for LSC Creation)
- 06:14, 28 October 2011 (diff | hist) . . (0) . . N File:TraceVis.png (current)
- 06:13, 28 October 2011 (diff | hist) . . (0) . . N File:Tracer.png (current)
- 06:12, 28 October 2011 (diff | hist) . . (0) . . N File:ATM.ZoomOut.png (current)
- 06:12, 28 October 2011 (diff | hist) . . (0) . . N File:ATM.png (current)
- 06:12, 28 October 2011 (diff | hist) . . (+459) . . N LSC Language Reference (New page: ==Super Step== Every execution of an event is considered a step. Sometimes, multiple events that are defined to be simultaneous are executed in a single step. In execution context, some ev...)
- 06:10, 28 October 2011 (diff | hist) . . (+15,493) . . N PlayGo Feature List (New page: == Play-out strategies == LSC specifications or `programs' may be underspecified, since the language allows various kinds of non-determinism. Thus, a special mechanism is needed in order...)
- 06:09, 28 October 2011 (diff | hist) . . (0) . . N File:SystemModel.png (current)
- 06:08, 28 October 2011 (diff | hist) . . (-1) . . Language & Concepts (→Debugging)
- 06:07, 28 October 2011 (diff | hist) . . (0) . . File:LSCDebug2.png (uploaded a new version of "Image:LSCDebug2.png") (current)
- 06:05, 28 October 2011 (diff | hist) . . (0) . . N File:LSCExample.png
- 06:05, 28 October 2011 (diff | hist) . . (+7,659) . . N Language & Concepts (New page: == Live Sequence Charts (LSC) == [[Image:LSCExample.png | frame | <span style="color: rgb(0, 128, 128);"><span style="font-family: Tahoma;">Figure 1: An LSC describing the basic move of a ...)
- 06:04, 28 October 2011 (diff | hist) . . (-4,517) . . About PlayGo
- 06:03, 28 October 2011 (diff | hist) . . (+463) . . PlayGo
- 09:05, 8 August 2011 (diff | hist) . . (-234) . . PlayGo Screenshots
- 09:02, 8 August 2011 (diff | hist) . . (+4) . . PlayGo Screenshots (→S2A Properties)
- 09:02, 8 August 2011 (diff | hist) . . (0) . . N File:Playgo.properties.png (current)
- 09:01, 8 August 2011 (diff | hist) . . (+414) . . PlayGo Screenshots
- 08:59, 8 August 2011 (diff | hist) . . (+7) . . PlayGo Screenshots (→LSC Debugger - Cut and Locations)
- 08:59, 8 August 2011 (diff | hist) . . (0) . . N File:LSCDebug2.png
- 08:58, 8 August 2011 (diff | hist) . . (0) . . N File:LSCDebug.png (current)
- 08:58, 8 August 2011 (diff | hist) . . (+13) . . PlayGo Screenshots
- 08:57, 8 August 2011 (diff | hist) . . (0) . . PlayGo Screenshots (→Play-out)
- 08:56, 8 August 2011 (diff | hist) . . (-12) . . PlayGo Screenshots
- 08:55, 8 August 2011 (diff | hist) . . (+19) . . PlayGo Screenshots
- 08:55, 8 August 2011 (diff | hist) . . (-6) . . PlayGo Screenshots
- 08:54, 8 August 2011 (diff | hist) . . (+6) . . PlayGo Screenshots (→The LSC Editor)
- 08:54, 8 August 2011 (diff | hist) . . (0) . . PlayGo Screenshots (→The LSC Editor)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)