PlayGo Examples - Revision history

Smadar: /* Memory Game LSC project */

2015-12-20T11:37:00Z

‎Memory Game LSC project

Smadar: /* Memory game final application (runnable jar) */

2015-12-20T11:35:10Z

‎Memory game final application (runnable jar)

Smadar: /* Memory game final application (runnable jar) */

2015-12-20T11:34:53Z

‎Memory game final application (runnable jar)

Smadar: /* Memory game final application (runnable jar) */

2015-12-20T11:33:46Z

‎Memory game final application (runnable jar)

Smadar: /* Download the Memory Game Example */

2015-12-20T11:33:15Z

‎Download the Memory Game Example

Smadar: /* Baby Monitor */

2015-06-01T05:28:56Z

‎Baby Monitor

Smadar: /* After A occurs, B must occur, unless exception C occurs */

2014-12-23T14:08:10Z

‎After A occurs, B must occur, unless exception C occurs

Smadar: /* Water Tap */

2014-12-23T14:03:58Z

‎Water Tap

Smadar: /* Memory Game LSC project */

2014-12-23T14:02:15Z

‎Memory Game LSC project

Smadar: /* Memory game final application (runnable jar) */

2014-12-23T14:01:52Z

‎Memory game final application (runnable jar)

@@ Line 26: / Line 26: @@
 #[[Download PlayGo|Download PlayGo]].
-#From the File menu choose New-->Example....-->PlayGo Examples-->Memory Game
+#From the 'File' menu choose New-->Example....-->PlayGo Examples-->Memory Game
 #Click the 'Finish' button.
 #The memory game example project is now part of your workspace. You can start playing with it. For details refer to [[How to Play-Out|how to play out]] and [[How_to_Play-In|how to play in]].

@@ Line 19: / Line 19: @@
 ===== Memory game final application (runnable jar) =====
-[[https://weizmann.box.com/s/dina60yqs7dgd6oljzv1|Runnable Memory Game with Swing GUI]]
+[https://weizmann.box.com/s/dina60yqs7dgd6oljzv1 Runnable Memory Game with Swing GUI]
 To run the memory game, simply extract the downloaded zip and double click the jar file.

@@ Line 19: / Line 19: @@
 ===== Memory game final application (runnable jar) =====
-[[/playgo/images/playgo/MemoryGameSwingGUI.zip|Runnable Memory Game with Swing GUI]]
+[[https://weizmann.box.com/s/dina60yqs7dgd6oljzv1|Runnable Memory Game with Swing GUI]]
 To run the memory game, simply extract the downloaded zip and double click the jar file.

@@ Line 19: / Line 19: @@
 ===== Memory game final application (runnable jar) =====
-[[/harelgroup/images/harelgroup/MemoryGameSwingGUI.zip|Runnable Memory Game with Swing GUI]]
+[[/playgo/images/playgo/MemoryGameSwingGUI.zip|Runnable Memory Game with Swing GUI]]
 To run the memory game, simply extract the downloaded zip and double click the jar file.

@@ Line 13: / Line 13: @@
 <br>
-==== Download the Memory Game Example  ====
+==== Download the Memory Game Example ====
-Below are downloads of the memory game final application, as well as of the LSC project that can be opened and modified in PlayGo.
+Below is a download of the memory game final application, as well as instructions for creating the memory game example in PlayGo.
 ===== Memory game final application (runnable jar) =====
-[https://weizmann.box.com/s/dina60yqs7dgd6oljzv1 Runnable Memory Game with Swing GUI] <br>
+[[/harelgroup/images/harelgroup/MemoryGameSwingGUI.zip|Runnable Memory Game with Swing GUI]]
 To run the memory game, simply extract the downloaded zip and double click the jar file.
@@ Line 25: / Line 25: @@
 ===== Memory Game LSC project =====
 #[[Download PlayGo|Download PlayGo]].
-#Import the downloaded project to your workspace:
+#From the File menu choose New-->Example....-->PlayGo Examples-->Memory Game
-##From the File menu choose Import--&gt;General--&gt;Existing Projects into Workspace.
+#Click the 'Finish' button.
-##Click the 'Next' button.
+#The memory game example project is now part of your workspace. You can start playing with it. For details refer to [[How to Play-Out|how to play out]] and [[How_to_Play-In|how to play in]].
-##When prompted, select the directory to which you extracted the downloaded memory game example.
-##Click finish.
 #The memory game example project is now part of your workspace. You can start playing with it. For details refer to [[How to Play-Out|how to play out]].
 === Baby Monitor ===

@@ Line 40: / Line 40: @@
 === Baby Monitor ===
-[[Image:BabyMonitor.Lsc12.jpg|frame|left]][[Image:BabyMonitor.png|235px]]<br><br> The baby monitor application includes 14 LSCs, each of which includes 3-4 lifelines. The specification demonstrates various features of PlayGo and the underlying language. <br>Most of the LSCs were created by [[PlayGo_Feature_List#Natural_language_play-in|NL play-in]], and others by [[Language & Concepts#Play-In|basic play-in]]. <br><br> To see the system's requirements in controlled English click [[Baby Monitor Specification|here]]. <br><br> The Baby Monitor application is included in the workspace provided with the PlayGo download.
+[[Image:BabyMonitor.Lsc12.jpg|frame|left]][[Image:BabyMonitor.png|235px]]<br><br> The baby monitor application includes 14 LSCs, each of which includes 3-4 lifelines. The specification demonstrates various features of PlayGo and the underlying language. <br>Most of the LSCs were created by [[PlayGo_Feature_List#Natural_language_play-in|NL play-in]], and others by [[Language & Concepts#Play-In|basic play-in]]. <br><br> To see the system's requirements in controlled English click [[Baby Monitor Specification|here]].
-−
-*[[Getting Started with PlayGo]]
-*[[PlayGo_HowTo|PlayGo HowTo]]
 === Water Tap ===

← Older revision		Revision as of 14:08, 23 December 2014
Line 106:		Line 106:
	[[Image:BMustOccurUnlessC invalidBehavior.png]] <br><br>		[[Image:BMustOccurUnlessC invalidBehavior.png]] <br><br>

−	[https://weizmann.box.com/s/~~ap1t6gzra4y40en7vq1f~~ Download this design pattern] <br> [http://www.weizmann.ac.il/mediawiki/playgo/index.php/Instructions_for_creating_LSC_project_from_LSC_file Instructions for playing with this specification] <br><br>	+	[https://weizmann.box.com/s/l3a2rt13tec5ik2bauem Download this design pattern] <br> [http://www.weizmann.ac.il/mediawiki/playgo/index.php/Instructions_for_creating_LSC_project_from_LSC_file Instructions for playing with this specification] <br><br>

@@ Line 56: / Line 56: @@
 *Loops are demonstrated here, bounded by a fixed limit (e.g., 5 times in the addHotFiveTimes LSC) or unbounded (in the Interleave LSC).
-[https://weizmann.box.com/s/7lrx0nawqnvqt5nb4vy1 Download Water Tap application] <br>
+[https://weizmann.box.com/s/xe31fgyg28q7netcezel Download Water Tap application] <br>
 [[Instructions for creating LSC project from LSC file | Instructions for playing with the Water Tap application]]
 <br><br>

@@ Line 25: / Line 25: @@
 ===== Memory Game LSC project =====
-[https://weizmann.box.com/s/kjfnhci108hjslcxltoa The Memory Game LSC Project (for development purposes)] <br>
+[https://weizmann.box.com/s/p6dd9q3vutop85s2m9qy The Memory Game LSC Project (for development purposes)] <br>
 ====== Installation Instructions ======