User contributions
From WeizmannWiki
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)
- 12:53, 28 April 2021 (diff | hist) . . (+178) . . Download PlayGo (current)
- 12:50, 28 April 2021 (diff | hist) . . (+49) . . Troubleshoot (current)
- 10:46, 21 September 2020 (diff | hist) . . (+1) . . Download PlayGo (→= Version 5.0)
- 10:46, 21 September 2020 (diff | hist) . . (+208) . . Download PlayGo
- 17:32, 12 July 2020 (diff | hist) . . (+95) . . Troubleshoot (→Error when launching PlayGo)
- 17:29, 12 July 2020 (diff | hist) . . (+4) . . Troubleshoot (→Error when launching PlayGo)
- 17:29, 12 July 2020 (diff | hist) . . (-2) . . Troubleshoot (→Error when launching PlayGo)
- 17:29, 12 July 2020 (diff | hist) . . (+531) . . Troubleshoot (→Error when launching PlayGo)
- 14:03, 20 April 2017 (diff | hist) . . (-31) . . PlayGo (→Related Tools)
- 14:02, 20 April 2017 (diff | hist) . . (+31) . . N The Latex to LSC Compiler (Created page with "== The Latex to LSC Compiler ==")
- 14:01, 20 April 2017 (diff | hist) . . (+31) . . PlayGo (→Related Tools)
- 13:20, 28 February 2017 (diff | hist) . . (0) . . File:LSC Language Reference PlayGo.pdf (Smadar uploaded a new version of "File:LSC Language Reference PlayGo.pdf") (current)
- 10:46, 28 December 2015 (diff | hist) . . (+135) . . How to debug (current)
- 10:43, 28 December 2015 (diff | hist) . . (+71) . . How to debug (→Applying breakpoints)
- 10:41, 28 December 2015 (diff | hist) . . (+11) . . Troubleshoot (→Play-out does not stop at breakpoint)
- 10:41, 28 December 2015 (diff | hist) . . (0) . . N File:EnableJavaDebug.png (current)
- 10:40, 28 December 2015 (diff | hist) . . (0) . . Troubleshoot (→Play-out does not stop at breakpoint)
- 10:39, 28 December 2015 (diff | hist) . . (-6) . . Troubleshoot (→Play-out does not stop at breakpoint)
- 10:38, 28 December 2015 (diff | hist) . . (+15) . . Troubleshoot (→Play-out does not stop at breakpoint)
- 10:38, 28 December 2015 (diff | hist) . . (+256) . . Troubleshoot (→Play-out does not stop at breakpoint)
- 10:34, 28 December 2015 (diff | hist) . . (+44) . . Troubleshoot
- 11:46, 21 December 2015 (diff | hist) . . (0) . . Download PlayGo (→PlayGo for Linux)
- 11:46, 21 December 2015 (diff | hist) . . (0) . . Download PlayGo (→PlayGo for Linux)
- 11:46, 21 December 2015 (diff | hist) . . (0) . . Download PlayGo
- 11:45, 21 December 2015 (diff | hist) . . (0) . . Download PlayGo
- 11:45, 21 December 2015 (diff | hist) . . (0) . . Download PlayGo (→PlayGo for Windows)
- 11:44, 21 December 2015 (diff | hist) . . (0) . . Download PlayGo
- 10:53, 21 December 2015 (diff | hist) . . (-1,244) . . How to Play In (→System model play-in) (current)
- 14:53, 20 December 2015 (diff | hist) . . (-215) . . Wristwatch Example (→Download the Wristwatch Example) (current)
- 14:50, 20 December 2015 (diff | hist) . . (-6) . . Phone Specification (current)
- 14:50, 20 December 2015 (diff | hist) . . (+6) . . Phone Specification
- 14:50, 20 December 2015 (diff | hist) . . (-628) . . Phone Specification (→Requirements)
- 14:49, 20 December 2015 (diff | hist) . . (+418) . . Phone Specification
- 14:49, 20 December 2015 (diff | hist) . . (+203) . . Phone Specification
- 14:48, 20 December 2015 (diff | hist) . . (+2) . . Phone Specification
- 14:48, 20 December 2015 (diff | hist) . . (+253) . . Phone Specification
- 14:47, 20 December 2015 (diff | hist) . . (-30) . . Phone Specification
- 14:46, 20 December 2015 (diff | hist) . . (-116) . . Phone Specification
- 14:46, 20 December 2015 (diff | hist) . . (+36) . . Phone Specification
- 14:45, 20 December 2015 (diff | hist) . . (-208) . . Phone Specification
- 14:43, 20 December 2015 (diff | hist) . . (+14) . . Phone Specification
- 14:42, 20 December 2015 (diff | hist) . . (0) . . Instructions for creating LSC project from LSC file (current)
- 14:41, 20 December 2015 (diff | hist) . . (-38) . . Baby Monitor Specification (→Baby Monitor LSC project) (current)
- 14:39, 20 December 2015 (diff | hist) . . (-186) . . Baby Monitor Specification (→Download the Baby Monitor Example)
- 14:37, 20 December 2015 (diff | hist) . . (+2) . . PlayGo Examples (→Memory Game LSC project) (current)
- 14:35, 20 December 2015 (diff | hist) . . (-2) . . PlayGo Examples (→Memory game final application (runnable jar))
- 14:34, 20 December 2015 (diff | hist) . . (+3) . . PlayGo Examples (→Memory game final application (runnable jar))
- 14:33, 20 December 2015 (diff | hist) . . (-8) . . PlayGo Examples (→Memory game final application (runnable jar))
- 14:33, 20 December 2015 (diff | hist) . . (-315) . . PlayGo Examples (→Download the Memory Game Example)
- 14:29, 20 December 2015 (diff | hist) . . (+72) . . Download PlayGo
- 15:28, 8 July 2015 (diff | hist) . . (0) . . How to Play In
- 15:28, 8 July 2015 (diff | hist) . . (-525) . . How to Play In (→Basic play-in)
- 08:28, 1 June 2015 (diff | hist) . . (-167) . . PlayGo Examples (→Baby Monitor)
- 15:53, 6 January 2015 (diff | hist) . . (0) . . Download PlayGo
- 10:29, 4 January 2015 (diff | hist) . . (0) . . Download PlayGo
- 10:29, 4 January 2015 (diff | hist) . . (0) . . Download PlayGo
- 10:28, 4 January 2015 (diff | hist) . . (0) . . Download PlayGo
- 10:27, 4 January 2015 (diff | hist) . . (0) . . Download PlayGo
- 10:27, 4 January 2015 (diff | hist) . . (0) . . Download PlayGo
- 10:26, 4 January 2015 (diff | hist) . . (0) . . Download PlayGo
- 17:08, 23 December 2014 (diff | hist) . . (0) . . PlayGo Examples (→After A occurs, B must occur, unless exception C occurs)
- 17:07, 23 December 2014 (diff | hist) . . (0) . . Wall Painting Example (→Download the Wall Painting Example) (current)
- 17:06, 23 December 2014 (diff | hist) . . (0) . . Wristwatch Example (→Wristwatch LSC project)
- 17:06, 23 December 2014 (diff | hist) . . (0) . . Wristwatch Example (→Wristwatch final application (runnable jar))
- 17:05, 23 December 2014 (diff | hist) . . (+15) . . Phone Specification
- 17:03, 23 December 2014 (diff | hist) . . (0) . . PlayGo Examples (→Water Tap)
- 17:03, 23 December 2014 (diff | hist) . . (0) . . Baby Monitor Specification (→Baby Monitor LSC project)
- 17:02, 23 December 2014 (diff | hist) . . (0) . . Baby Monitor Specification (→Baby Monitor final application (runnable jar))
- 17:02, 23 December 2014 (diff | hist) . . (0) . . PlayGo Examples (→Memory Game LSC project)
- 17:01, 23 December 2014 (diff | hist) . . (0) . . PlayGo Examples (→Memory game final application (runnable jar))
- 16:58, 23 December 2014 (diff | hist) . . (0) . . Download PlayGo
- 16:57, 23 December 2014 (diff | hist) . . (0) . . Download PlayGo (→PlayGo for Linux)
- 16:57, 23 December 2014 (diff | hist) . . (0) . . Download PlayGo (→PlayGo for Linux)
- 16:55, 23 December 2014 (diff | hist) . . (0) . . Download PlayGo (→PlayGo for Linux)
- 16:54, 23 December 2014 (diff | hist) . . (-104) . . Download PlayGo (→PlayGo for Windows)
- 10:12, 9 November 2014 (diff | hist) . . (+2) . . How to parse requirements using a trained statistical model (current)
- 10:11, 9 November 2014 (diff | hist) . . (+3) . . How to parse requirements using a trained statistical model
- 10:09, 9 November 2014 (diff | hist) . . (+992) . . N How to parse requirements using a trained statistical model (Created page with "You may have chosen to create a grammar file based on previously created LSC examples (as described in How to train a model for statistical play-in). In order to use this ...")
- 10:08, 9 November 2014 (diff | hist) . . (-56) . . PlayGo HowTo (current)
- 10:07, 9 November 2014 (diff | hist) . . (+111) . . PlayGo HowTo
- 10:06, 9 November 2014 (diff | hist) . . (0) . . N File:TrainDialogWeights.png (current)
- 10:05, 9 November 2014 (diff | hist) . . (0) . . N File:TrainDialogAdd.png (current)
- 10:05, 9 November 2014 (diff | hist) . . (0) . . N File:TrainDialogBrowse.png (current)
- 10:05, 9 November 2014 (diff | hist) . . (0) . . N File:TrainAction.png (current)
- 10:04, 9 November 2014 (diff | hist) . . (+1,728) . . N How to train a model for statistical play-in (Created page with "For NL play-in, one can improve the performance of the statistical parser by adding training examples. A training example is a file with an '''.st''' suffix that contains the ...") (current)
- 10:02, 9 November 2014 (diff | hist) . . (0) . . N File:Properties.playin.statisticalNL.png (current)
- 10:01, 9 November 2014 (diff | hist) . . (+3,624) . . How to Play In
- 09:56, 9 November 2014 (diff | hist) . . (+1,128) . . PlayGo Feature List (→Natural language play-in) (current)
- 15:15, 21 October 2014 (diff | hist) . . (-92) . . How to Play In (→Learn from Examples)
- 14:02, 23 September 2014 (diff | hist) . . (+655) . . Language & Concepts (current)
- 11:30, 23 September 2014 (diff | hist) . . (+23) . . Language & Concepts (→Additional Information)
- 11:29, 23 September 2014 (diff | hist) . . (-7) . . Language & Concepts (→Additional Information)
- 11:28, 23 September 2014 (diff | hist) . . (+26) . . Language & Concepts (→Additional Information)
- 16:36, 11 September 2014 (diff | hist) . . (0) . . File:Specification.sampleProject.png (Smadar uploaded a new version of "File:Specification.sampleProject.png") (current)
- 16:32, 11 September 2014 (diff | hist) . . (0) . . File:Specification.sampleProject.png (Smadar uploaded a new version of "File:Specification.sampleProject.png")
- 11:35, 10 September 2014 (diff | hist) . . (+3) . . Wristwatch Example (→Wristwatch final application (runnable jar))
- 11:35, 10 September 2014 (diff | hist) . . (+25) . . Wristwatch Example (→Wristwatch LSC project)
- 11:17, 10 September 2014 (diff | hist) . . (+95) . . Download PlayGo (→PlayGo for Linux)
- 11:16, 10 September 2014 (diff | hist) . . (+104) . . Download PlayGo (→PlayGo for Windows)
- 11:01, 10 September 2014 (diff | hist) . . (+18) . . PlayGo Examples (→After A occurs, B must occur, unless exception C occurs)
- 11:00, 10 September 2014 (diff | hist) . . (+23) . . Wall Painting Example (→Download the Wall Painting Example)
- 10:56, 10 September 2014 (diff | hist) . . (-103) . . Wristwatch Example (→Wristwatch final application (runnable jar))
- 10:54, 10 September 2014 (diff | hist) . . (+34) . . Phone Specification
- 10:53, 10 September 2014 (diff | hist) . . (+30) . . Phone Specification
- 10:50, 10 September 2014 (diff | hist) . . (+27) . . PlayGo Examples (→Water Tap)
- 10:49, 10 September 2014 (diff | hist) . . (-3) . . PlayGo Examples (→Baby Monitor)
- 10:48, 10 September 2014 (diff | hist) . . (+19) . . Baby Monitor Specification (→Baby Monitor LSC project)
- 10:48, 10 September 2014 (diff | hist) . . (+9) . . Baby Monitor Specification (→Baby Monitor final application (runnable jar))
- 10:46, 10 September 2014 (diff | hist) . . (+25) . . PlayGo Examples (→Memory Game LSC project)
- 10:45, 10 September 2014 (diff | hist) . . (+17) . . PlayGo Examples (→Memory game final application (runnable jar))
- 10:25, 10 September 2014 (diff | hist) . . (0) . . File:MemoryGameSwingGUI.zip (Smadar uploaded a new version of "File:MemoryGameSwingGUI.zip") (current)
- 10:09, 10 September 2014 (diff | hist) . . (-110) . . Troubleshoot (→Play-out failure)
- 10:08, 10 September 2014 (diff | hist) . . (+198) . . Troubleshoot (→Play-out failure)
- 10:02, 10 September 2014 (diff | hist) . . (-103) . . Download PlayGo
- 15:55, 23 August 2014 (diff | hist) . . (+28) . . Wall Painting Example (→Installation Instructions)
- 15:51, 23 August 2014 (diff | hist) . . (+1) . . Wall Painting Example (→Downloads)
- 15:42, 23 August 2014 (diff | hist) . . (+4) . . Getting Started with PlayGo (→Create your first LSC project) (current)
- 09:29, 30 July 2014 (diff | hist) . . (-17) . . Download PlayGo (→PlayGo for Linux)
- 09:28, 30 July 2014 (diff | hist) . . (-8) . . Download PlayGo (→PlayGo for Linux)
- 13:37, 15 July 2014 (diff | hist) . . (0) . . Download PlayGo
- 11:01, 17 June 2014 (diff | hist) . . (-31) . . Download PlayGo
- 11:01, 17 June 2014 (diff | hist) . . (-35) . . Download PlayGo
- 10:59, 17 June 2014 (diff | hist) . . (-42) . . Download PlayGo
- 10:39, 16 June 2014 (diff | hist) . . (-45) . . Download PlayGo
- 08:19, 8 June 2014 (diff | hist) . . (+60) . . Download PlayGo
- 08:16, 8 June 2014 (diff | hist) . . (+149) . . Download PlayGo
- 10:12, 28 May 2014 (diff | hist) . . (+56) . . Download PlayGo
- 10:11, 28 May 2014 (diff | hist) . . (-56) . . Download PlayGo (→PlayGo for Windows)
- 09:13, 22 May 2014 (diff | hist) . . (0) . . File:Rovtool-source 20140520-1220.zip (Smadar uploaded a new version of "File:Rovtool-source 20140520-1220.zip") (current)
- 09:21, 21 May 2014 (diff | hist) . . (+131) . . Wall Painting Example (→Download the ROV framework)
- 09:16, 21 May 2014 (diff | hist) . . (0) . . N File:Rovtool-source 20140520-1220.zip
- 09:14, 21 May 2014 (diff | hist) . . (+563) . . Wall Painting Example (→Download the Wall Painting Example)
- 12:48, 14 May 2014 (diff | hist) . . (0) . . File:MemoryGameSwingGUI.zip (Smadar uploaded a new version of "File:MemoryGameSwingGUI.zip")
- 11:45, 1 May 2014 (diff | hist) . . (+30) . . PlayGo Feature List (→Java API for LSC Creation)
- 11:44, 1 May 2014 (diff | hist) . . (+4) . . PlayGo Feature List (→Java API for LSC Creation)
- 11:31, 1 May 2014 (diff | hist) . . (-5) . . PlayGo Feature List (→Java API for LSC Creation)
- 11:20, 1 May 2014 (diff | hist) . . (-31) . . PlayGo Feature List (→Java API for LSC Creation)
- 11:14, 1 May 2014 (diff | hist) . . (-12) . . PlayGo Feature List (→Java API for LSC Creation)
- 11:14, 1 May 2014 (diff | hist) . . (+160) . . PlayGo Feature List (→Java API for LSC Creation)
- 11:06, 1 May 2014 (diff | hist) . . (-134) . . How to create an LSC specification using the Java API (current)
- 10:09, 1 May 2014 (diff | hist) . . (+52) . . PlayGo Feature List (→Java API for LSC Creation)
- 10:07, 1 May 2014 (diff | hist) . . (-1) . . How to create an LSC specification using the Java API
- 14:50, 29 April 2014 (diff | hist) . . (0) . . File:LSC Language Reference PlayGo.pdf (Smadar uploaded a new version of "File:LSC Language Reference PlayGo.pdf")
- 12:10, 29 April 2014 (diff | hist) . . (0) . . m LSC Language Reference (Smadar moved page LSC Reference to LSC Language Reference) (current)
- 12:10, 29 April 2014 (diff | hist) . . (+36) . . N LSC Reference (Smadar moved page LSC Reference to LSC Language Reference) (current)
- 10:07, 29 April 2014 (diff | hist) . . (-2) . . LSC Language Reference
- 10:06, 29 April 2014 (diff | hist) . . (+63) . . LSC Language Reference
- 10:04, 29 April 2014 (diff | hist) . . (+86) . . Language & Concepts (→Additional Information)
- 09:58, 29 April 2014 (diff | hist) . . (0) . . LSC Language Reference
- 09:57, 29 April 2014 (diff | hist) . . (-1) . . LSC Language Reference
- 09:57, 29 April 2014 (diff | hist) . . (+485) . . LSC Language Reference
- 09:55, 29 April 2014 (diff | hist) . . (+20) . . How to implement Universal Binding (current)
- 09:47, 29 April 2014 (diff | hist) . . (0) . . N File:LSC Language Reference PlayGo.pdf
- 09:45, 29 April 2014 (diff | hist) . . (+12) . . LSC Language Reference
- 09:45, 29 April 2014 (diff | hist) . . (0) . . LSC Language Reference (→Step and Superstep)
- 09:45, 29 April 2014 (diff | hist) . . (+92) . . LSC Language Reference
- 09:42, 29 April 2014 (diff | hist) . . (+4) . . LSC Language Reference (→Step and Superstep)
- 09:41, 29 April 2014 (diff | hist) . . (+7) . . LSC Language Reference (→Step and Superstep)
- 09:41, 29 April 2014 (diff | hist) . . (-28) . . LSC Language Reference (→Step and Superstep)
- 09:40, 29 April 2014 (diff | hist) . . (-19) . . LSC Language Reference (→LSC Specification)
- 09:34, 29 April 2014 (diff | hist) . . (+14) . . How to implement Universal Binding
- 09:23, 29 April 2014 (diff | hist) . . (+483) . . PlayGo Feature List (→Play-out strategies)
- 09:20, 29 April 2014 (diff | hist) . . (+9) . . How to define play-in-able Swing GUI application (→Right-click menu) (current)
- 09:19, 29 April 2014 (diff | hist) . . (+47) . . PlayGo HowTo
- 09:18, 29 April 2014 (diff | hist) . . (0) . . N File:GenerateBPJevent.png (current)
- 09:18, 29 April 2014 (diff | hist) . . (+1,695) . . N How to create S2A-BPJ integrated solution (Created page with "There is great value in integrating parts of the same specification written in different BP implementations into a single running application. We describe here how to create a...") (current)
- 09:17, 29 April 2014 (diff | hist) . . (0) . . N File:WallPainting.zip (current)
- 09:12, 29 April 2014 (diff | hist) . . (0) . . N File:ForbidRedUntilRefill.png (current)
- 09:12, 29 April 2014 (diff | hist) . . (0) . . N File:MonitorRED.png (current)
- 09:11, 29 April 2014 (diff | hist) . . (+2,160) . . N Wall Painting Example (Created page with "This example demonstrates the integration of [http://www.wisdom.weizmann.ac.il/~bprogram/bpj/ BPJ] scenarios with LSCs. An explanation of the original example and the behavior...")
- 09:10, 29 April 2014 (diff | hist) . . (-2) . . PlayGo Examples (→Wall Painting)
- 09:09, 29 April 2014 (diff | hist) . . (0) . . N File:Drone.jpg (current)
- 09:07, 29 April 2014 (diff | hist) . . (+798) . . PlayGo Examples
- 11:13, 23 March 2014 (diff | hist) . . (+8) . . How to implement Universal Binding
- 19:02, 19 March 2014 (diff | hist) . . (+11) . . How to view a specification: in the LSC editor and in the UML editor (current)
- 18:51, 13 March 2014 (diff | hist) . . (+20) . . Download PlayGo
- 18:41, 13 March 2014 (diff | hist) . . (0) . . N File:Playgo win32.win32.x86 64.v20140220-1851.withNewFormalJar.zip (current)
- 12:06, 2 March 2014 (diff | hist) . . (-10) . . Third party components (current)
- 12:06, 2 March 2014 (diff | hist) . . (+156) . . Third party components
- 12:03, 2 March 2014 (diff | hist) . . (+3,014) . . N Third party components (New page: This software includes the following third party software components. Copies of the licenses can be found in the folder third_party_components_licenses. To obtain additional materials r...)
- 11:07, 27 February 2014 (diff | hist) . . (0) . . File:AlarmDisplay.png (uploaded a new version of "Image:AlarmDisplay.png") (current)
- 11:06, 27 February 2014 (diff | hist) . . (0) . . File:AlarmOff.png (uploaded a new version of "Image:AlarmOff.png") (current)
- 11:05, 27 February 2014 (diff | hist) . . (0) . . File:AlarmBeep.png (uploaded a new version of "Image:AlarmBeep.png") (current)
- 11:04, 27 February 2014 (diff | hist) . . (0) . . File:BlinkAlarm.png (uploaded a new version of "Image:BlinkAlarm.png") (current)
- 11:03, 27 February 2014 (diff | hist) . . (0) . . File:EnableAlarm.png (uploaded a new version of "Image:EnableAlarm.png") (current)
- 11:02, 27 February 2014 (diff | hist) . . (0) . . File:AlarmState.png (uploaded a new version of "Image:AlarmState.png") (current)
- 11:01, 27 February 2014 (diff | hist) . . (0) . . File:DisplayDate.png (uploaded a new version of "Image:DisplayDate.png") (current)
- 11:00, 27 February 2014 (diff | hist) . . (0) . . File:LightState.png (uploaded a new version of "Image:LightState.png") (current)
- 10:59, 27 February 2014 (diff | hist) . . (0) . . File:ShowTime.png (uploaded a new version of "Image:ShowTime.png") (current)
- 10:58, 27 February 2014 (diff | hist) . . (0) . . File:TimeTicks.png (uploaded a new version of "Image:TimeTicks.png") (current)
- 10:57, 27 February 2014 (diff | hist) . . (0) . . File:TypeChangeUpdate.png (uploaded a new version of "Image:TypeChangeUpdate.png") (current)
- 10:56, 27 February 2014 (diff | hist) . . (0) . . File:UpdateTypeBlink.png (uploaded a new version of "Image:UpdateTypeBlink.png") (current)
- 10:55, 27 February 2014 (diff | hist) . . (0) . . File:UpdateType.png (uploaded a new version of "Image:UpdateType.png") (current)
- 10:53, 27 February 2014 (diff | hist) . . (0) . . File:UpdateSeconds.png (uploaded a new version of "Image:UpdateSeconds.png") (current)
- 10:52, 27 February 2014 (diff | hist) . . (0) . . File:IncreaseTime.png (uploaded a new version of "Image:IncreaseTime.png") (current)
- 10:51, 27 February 2014 (diff | hist) . . (0) . . File:ModeAlarmHoursEnd.png (uploaded a new version of "Image:ModeAlarmHoursEnd.png") (current)
- 10:48, 27 February 2014 (diff | hist) . . (0) . . File:ModeAlarmEnd.png (uploaded a new version of "Image:ModeAlarmEnd.png") (current)
- 10:46, 27 February 2014 (diff | hist) . . (0) . . File:ModesAlarm.png (uploaded a new version of "Image:ModesAlarm.png") (current)
- 10:45, 27 February 2014 (diff | hist) . . (0) . . File:Modes.png (uploaded a new version of "Image:Modes.png") (current)
- 10:38, 27 February 2014 (diff | hist) . . (0) . . File:WatchModes.png (uploaded a new version of "Image:WatchModes.png") (current)
- 09:08, 27 February 2014 (diff | hist) . . (0) . . File:WristWatchExampleSystemModelGUI.zip (uploaded a new version of "Image:WristWatchExampleSystemModelGUI.zip") (current)
- 09:07, 27 February 2014 (diff | hist) . . (0) . . File:WristWatch.zip (uploaded a new version of "Image:WristWatch.zip") (current)
- 09:06, 27 February 2014 (diff | hist) . . (0) . . File:WristWatchExampleSwingGUI.zip (uploaded a new version of "Image:WristWatchExampleSwingGUI.zip") (current)
- 18:31, 25 February 2014 (diff | hist) . . (-837) . . How to define play-in-able Swing GUI application
- 18:28, 25 February 2014 (diff | hist) . . (+51) . . PlayGo HowTo
- 18:26, 25 February 2014 (diff | hist) . . (+199) . . N How to see the locations in the LSC editor (New page: To view the locations of the LSC lifelines, first open the LSC in the LSC Editor. Now click the 'Show/Hide Locations' button in the PlayGo toolbar. *[[LSC Locations in PlayGo| More about ...) (current)
- 18:26, 25 February 2014 (diff | hist) . . (-324) . . How to view a specification: in the LSC editor and in the UML editor
- 18:25, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaCode2.png (current)
- 18:24, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaCode3.png (current)
- 18:24, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaCode1.png (current)
- 18:24, 25 February 2014 (diff | hist) . . (0) . . N File:ConcreteLSCSpec.png (current)
- 18:23, 25 February 2014 (diff | hist) . . (0) . . N File:ConcreteLSC.png (current)
- 18:23, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaConcretization.png (current)
- 18:22, 25 February 2014 (diff | hist) . . (+2,007) . . N How to implement Universal Binding (New page: At present [http://www.wisdom.weizmann.ac.il/~maozs/s2a/ S2A Compiler], which is the mechanism used for playing out LSC specification, does not support [[LSC Reference#Universal_Binding|un...)
- 18:21, 25 February 2014 (diff | hist) . . (+24) . . PlayGo HowTo
- 18:18, 25 February 2014 (diff | hist) . . (+140) . . PlayGo HowTo
- 18:03, 25 February 2014 (diff | hist) . . (0) . . N File:Phone.zip (current)
- 18:01, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC22.png (current)
- 18:01, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC23.png (current)
- 18:01, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC20.png (current)
- 18:00, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC17.png (current)
- 18:00, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC12.png (current)
- 17:52, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC16.png (current)
- 17:52, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC15.png (current)
- 17:52, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC14.png (current)
- 17:51, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC18.png (current)
- 17:51, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC013.png (current)
- 17:50, 25 February 2014 (diff | hist) . . (0) . . N File:LSC012.png (current)
- 17:50, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC24.png (current)
- 17:49, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC0011.png (current)
- 17:49, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC010.png (current)
- 15:14, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC11.png (current)
- 15:14, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC08.png (current)
- 15:14, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC06.png (current)
- 15:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC05.png (current)
- 15:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC07.png (current)
- 15:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC04.png (current)
- 15:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC03.png (current)
- 15:12, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC2.png (current)
- 15:12, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC01.png (current)
- 15:11, 25 February 2014 (diff | hist) . . (0) . . N File:Systemmodel GUI.png (current)
- 15:10, 25 February 2014 (diff | hist) . . (+9,846) . . N Phone Specification (New page: The phone example demonstrates the creation of LSCs using NL play-in. It uses the default system model GUI created automatically by PlayGo....)
- 15:10, 25 February 2014 (diff | hist) . . (-1) . . PlayGo Examples (→Phone)
- 15:09, 25 February 2014 (diff | hist) . . (0) . . File:New.lscProjectByModel.jpg (uploaded a new version of "Image:New.lscProjectByModel.jpg") (current)
- 15:03, 25 February 2014 (diff | hist) . . (0) . . Instructions for creating LSC project from LSC file
- 15:03, 25 February 2014 (diff | hist) . . (+64) . . PlayGo Examples (→Water Tap)
- 15:01, 25 February 2014 (diff | hist) . . (0) . . File:WaterTap.zip (uploaded a new version of "Image:WaterTap.zip") (current)
- 15:01, 25 February 2014 (diff | hist) . . (0) . . PlayGo Examples
- 14:58, 25 February 2014 (diff | hist) . . (0) . . N File:BabyMonitorSwing.zip (current)
- 14:58, 25 February 2014 (diff | hist) . . (+5) . . Baby Monitor Specification (→Baby Monitor LSC project)
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)
