User contributions
From WeizmannWiki
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 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)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
