User contributions
From WeizmannWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 06:08, 27 February 2014 (diff | hist) . . (0) . . File:WristWatchExampleSystemModelGUI.zip (uploaded a new version of "Image:WristWatchExampleSystemModelGUI.zip") (current)
- 06:07, 27 February 2014 (diff | hist) . . (0) . . File:WristWatch.zip (uploaded a new version of "Image:WristWatch.zip") (current)
- 06:06, 27 February 2014 (diff | hist) . . (0) . . File:WristWatchExampleSwingGUI.zip (uploaded a new version of "Image:WristWatchExampleSwingGUI.zip") (current)
- 15:31, 25 February 2014 (diff | hist) . . (-837) . . How to define play-in-able Swing GUI application
- 15:28, 25 February 2014 (diff | hist) . . (+51) . . PlayGo HowTo
- 15: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)
- 15:26, 25 February 2014 (diff | hist) . . (-324) . . How to view a specification: in the LSC editor and in the UML editor
- 15:25, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaCode2.png (current)
- 15:24, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaCode3.png (current)
- 15:24, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaCode1.png (current)
- 15:24, 25 February 2014 (diff | hist) . . (0) . . N File:ConcreteLSCSpec.png (current)
- 15:23, 25 February 2014 (diff | hist) . . (0) . . N File:ConcreteLSC.png (current)
- 15:23, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaConcretization.png (current)
- 15: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...)
- 15:21, 25 February 2014 (diff | hist) . . (+24) . . PlayGo HowTo
- 15:18, 25 February 2014 (diff | hist) . . (+140) . . PlayGo HowTo
- 15:03, 25 February 2014 (diff | hist) . . (0) . . N File:Phone.zip (current)
- 15:01, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC22.png (current)
- 15:01, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC23.png (current)
- 15:01, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC20.png (current)
- 15:00, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC17.png (current)
- 15:00, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC12.png (current)
- 14:52, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC16.png (current)
- 14:52, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC15.png (current)
- 14:52, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC14.png (current)
- 14:51, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC18.png (current)
- 14:51, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC013.png (current)
- 14:50, 25 February 2014 (diff | hist) . . (0) . . N File:LSC012.png (current)
- 14:50, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC24.png (current)
- 14:49, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC0011.png (current)
- 14:49, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC010.png (current)
- 12:14, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC11.png (current)
- 12:14, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC08.png (current)
- 12:14, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC06.png (current)
- 12:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC05.png (current)
- 12:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC07.png (current)
- 12:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC04.png (current)
- 12:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC03.png (current)
- 12:12, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC2.png (current)
- 12:12, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC01.png (current)
- 12:11, 25 February 2014 (diff | hist) . . (0) . . N File:Systemmodel GUI.png (current)
- 12: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....)
- 12:10, 25 February 2014 (diff | hist) . . (-1) . . PlayGo Examples (→Phone)
- 12:09, 25 February 2014 (diff | hist) . . (0) . . File:New.lscProjectByModel.jpg (uploaded a new version of "Image:New.lscProjectByModel.jpg") (current)
- 12:03, 25 February 2014 (diff | hist) . . (0) . . Instructions for creating LSC project from LSC file
- 12:03, 25 February 2014 (diff | hist) . . (+64) . . PlayGo Examples (→Water Tap)
- 12:01, 25 February 2014 (diff | hist) . . (0) . . File:WaterTap.zip (uploaded a new version of "Image:WaterTap.zip") (current)
- 12:01, 25 February 2014 (diff | hist) . . (0) . . PlayGo Examples
- 11:58, 25 February 2014 (diff | hist) . . (0) . . N File:BabyMonitorSwing.zip (current)
- 11:58, 25 February 2014 (diff | hist) . . (+5) . . Baby Monitor Specification (→Baby Monitor LSC project)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
