User contributions
From WeizmannWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 06:34, 29 April 2014 (diff | hist) . . (+14) . . How to implement Universal Binding
- 06:23, 29 April 2014 (diff | hist) . . (+483) . . PlayGo Feature List (→Play-out strategies)
- 06:20, 29 April 2014 (diff | hist) . . (+9) . . How to define play-in-able Swing GUI application (→Right-click menu) (current)
- 06:19, 29 April 2014 (diff | hist) . . (+47) . . PlayGo HowTo
- 06:18, 29 April 2014 (diff | hist) . . (0) . . N File:GenerateBPJevent.png (current)
- 06: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)
- 06:17, 29 April 2014 (diff | hist) . . (0) . . N File:WallPainting.zip (current)
- 06:12, 29 April 2014 (diff | hist) . . (0) . . N File:ForbidRedUntilRefill.png (current)
- 06:12, 29 April 2014 (diff | hist) . . (0) . . N File:MonitorRED.png (current)
- 06: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...")
- 06:10, 29 April 2014 (diff | hist) . . (-2) . . PlayGo Examples (→Wall Painting)
- 06:09, 29 April 2014 (diff | hist) . . (0) . . N File:Drone.jpg (current)
- 06:07, 29 April 2014 (diff | hist) . . (+798) . . PlayGo Examples
- 08:13, 23 March 2014 (diff | hist) . . (+8) . . How to implement Universal Binding
- 16:02, 19 March 2014 (diff | hist) . . (+11) . . How to view a specification: in the LSC editor and in the UML editor (current)
- 15:51, 13 March 2014 (diff | hist) . . (+20) . . Download PlayGo
- 15:41, 13 March 2014 (diff | hist) . . (0) . . N File:Playgo win32.win32.x86 64.v20140220-1851.withNewFormalJar.zip (current)
- 09:06, 2 March 2014 (diff | hist) . . (-10) . . Third party components (current)
- 09:06, 2 March 2014 (diff | hist) . . (+156) . . Third party components
- 09: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...)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)