User contributions
From WeizmannWiki
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)
- 06:57, 29 April 2014 (diff | hist) . . (+485) . . LSC Language Reference
- 06:55, 29 April 2014 (diff | hist) . . (+20) . . How to implement Universal Binding (current)
- 06:47, 29 April 2014 (diff | hist) . . (0) . . N File:LSC Language Reference PlayGo.pdf
- 06:45, 29 April 2014 (diff | hist) . . (+12) . . LSC Language Reference
- 06:45, 29 April 2014 (diff | hist) . . (0) . . LSC Language Reference (→Step and Superstep)
- 06:45, 29 April 2014 (diff | hist) . . (+92) . . LSC Language Reference
- 06:42, 29 April 2014 (diff | hist) . . (+4) . . LSC Language Reference (→Step and Superstep)
- 06:41, 29 April 2014 (diff | hist) . . (+7) . . LSC Language Reference (→Step and Superstep)
- 06:41, 29 April 2014 (diff | hist) . . (-28) . . LSC Language Reference (→Step and Superstep)
- 06:40, 29 April 2014 (diff | hist) . . (-19) . . LSC Language Reference (→LSC Specification)
- 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...)
- 08:07, 27 February 2014 (diff | hist) . . (0) . . File:AlarmDisplay.png (uploaded a new version of "Image:AlarmDisplay.png") (current)
- 08:06, 27 February 2014 (diff | hist) . . (0) . . File:AlarmOff.png (uploaded a new version of "Image:AlarmOff.png") (current)
- 08:05, 27 February 2014 (diff | hist) . . (0) . . File:AlarmBeep.png (uploaded a new version of "Image:AlarmBeep.png") (current)
- 08:04, 27 February 2014 (diff | hist) . . (0) . . File:BlinkAlarm.png (uploaded a new version of "Image:BlinkAlarm.png") (current)
- 08:03, 27 February 2014 (diff | hist) . . (0) . . File:EnableAlarm.png (uploaded a new version of "Image:EnableAlarm.png") (current)
- 08:02, 27 February 2014 (diff | hist) . . (0) . . File:AlarmState.png (uploaded a new version of "Image:AlarmState.png") (current)
- 08:01, 27 February 2014 (diff | hist) . . (0) . . File:DisplayDate.png (uploaded a new version of "Image:DisplayDate.png") (current)
- 08:00, 27 February 2014 (diff | hist) . . (0) . . File:LightState.png (uploaded a new version of "Image:LightState.png") (current)
- 07:59, 27 February 2014 (diff | hist) . . (0) . . File:ShowTime.png (uploaded a new version of "Image:ShowTime.png") (current)
- 07:58, 27 February 2014 (diff | hist) . . (0) . . File:TimeTicks.png (uploaded a new version of "Image:TimeTicks.png") (current)
- 07:57, 27 February 2014 (diff | hist) . . (0) . . File:TypeChangeUpdate.png (uploaded a new version of "Image:TypeChangeUpdate.png") (current)
- 07:56, 27 February 2014 (diff | hist) . . (0) . . File:UpdateTypeBlink.png (uploaded a new version of "Image:UpdateTypeBlink.png") (current)
- 07:55, 27 February 2014 (diff | hist) . . (0) . . File:UpdateType.png (uploaded a new version of "Image:UpdateType.png") (current)
- 07:53, 27 February 2014 (diff | hist) . . (0) . . File:UpdateSeconds.png (uploaded a new version of "Image:UpdateSeconds.png") (current)
- 07:52, 27 February 2014 (diff | hist) . . (0) . . File:IncreaseTime.png (uploaded a new version of "Image:IncreaseTime.png") (current)
- 07:51, 27 February 2014 (diff | hist) . . (0) . . File:ModeAlarmHoursEnd.png (uploaded a new version of "Image:ModeAlarmHoursEnd.png") (current)
- 07:48, 27 February 2014 (diff | hist) . . (0) . . File:ModeAlarmEnd.png (uploaded a new version of "Image:ModeAlarmEnd.png") (current)
- 07:46, 27 February 2014 (diff | hist) . . (0) . . File:ModesAlarm.png (uploaded a new version of "Image:ModesAlarm.png") (current)
- 07:45, 27 February 2014 (diff | hist) . . (0) . . File:Modes.png (uploaded a new version of "Image:Modes.png") (current)
- 07:38, 27 February 2014 (diff | hist) . . (0) . . File:WatchModes.png (uploaded a new version of "Image:WatchModes.png") (current)
- 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)
- 11:57, 25 February 2014 (diff | hist) . . (-114) . . Baby Monitor Specification (→Baby Monitor final application (runnable jar))
- 11:57, 25 February 2014 (diff | hist) . . (0) . . N File:BabyMonitorExampleSwingGUI.zip (current)
- 11:56, 25 February 2014 (diff | hist) . . (0) . . File:Lsc14.jpg (uploaded a new version of "Image:Lsc14.jpg") (current)
- 11:56, 25 February 2014 (diff | hist) . . (0) . . File:NL13.jpg (uploaded a new version of "Image:NL13.jpg") (current)
- 11:55, 25 February 2014 (diff | hist) . . (0) . . File:NL12.jpg (uploaded a new version of "Image:NL12.jpg") (current)
- 11:55, 25 February 2014 (diff | hist) . . (0) . . File:NL11.jpg (uploaded a new version of "Image:NL11.jpg") (current)
- 11:55, 25 February 2014 (diff | hist) . . (0) . . File:Lsc10.jpg (uploaded a new version of "Image:Lsc10.jpg") (current)
- 11:54, 25 February 2014 (diff | hist) . . (0) . . File:NL9.jpg (uploaded a new version of "Image:NL9.jpg") (current)
- 11:54, 25 February 2014 (diff | hist) . . (0) . . File:NL8.jpg (uploaded a new version of "Image:NL8.jpg") (current)
- 11:54, 25 February 2014 (diff | hist) . . (0) . . File:Lsc7.jpg (uploaded a new version of "Image:Lsc7.jpg") (current)
- 11:53, 25 February 2014 (diff | hist) . . (0) . . File:NL6.jpg (uploaded a new version of "Image:NL6.jpg") (current)
- 11:53, 25 February 2014 (diff | hist) . . (0) . . File:NL5.jpg (uploaded a new version of "Image:NL5.jpg") (current)
- 11:53, 25 February 2014 (diff | hist) . . (0) . . File:NL4.jpg (uploaded a new version of "Image:NL4.jpg") (current)
- 11:52, 25 February 2014 (diff | hist) . . (0) . . File:NL3.jpg (uploaded a new version of "Image:NL3.jpg") (current)
- 11:47, 25 February 2014 (diff | hist) . . (0) . . File:NL2.jpg (uploaded a new version of "Image:NL2.jpg") (current)
- 11:47, 25 February 2014 (diff | hist) . . (0) . . File:NL1.jpg (uploaded a new version of "Image:NL1.jpg") (current)
- 11:46, 25 February 2014 (diff | hist) . . (-372) . . Baby Monitor Specification
- 08:56, 25 February 2014 (diff | hist) . . (-1) . . PlayGo Examples (→Baby Monitor)
- 08:55, 25 February 2014 (diff | hist) . . (0) . . File:MemoryGameSwingGUI.zip (uploaded a new version of "Image:MemoryGameSwingGUI.zip")
- 08:54, 25 February 2014 (diff | hist) . . (0) . . File:MemoryGame.zip (uploaded a new version of "Image:MemoryGame.zip") (current)
- 08:53, 25 February 2014 (diff | hist) . . (0) . . N File:B or C must occur.zip (current)
- 08:53, 25 February 2014 (diff | hist) . . (0) . . N File:BMustOccurUnlessC invalidBehavior.png (current)
- 08:52, 25 February 2014 (diff | hist) . . (0) . . N File:BMustOccurUnlessC validBehavior.png (current)
- 08:52, 25 February 2014 (diff | hist) . . (0) . . N File:BMustOccurUnlessC.png (current)
- 08:51, 25 February 2014 (diff | hist) . . (-931) . . PlayGo Examples
- 08:51, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneGUI.png (current)
- 08:50, 25 February 2014 (diff | hist) . . (0) . . N File:SampleLSC.png (current)
- 08:48, 25 February 2014 (diff | hist) . . (0) . . PlayGo Examples (→Memory Game LSC project)
- 08:48, 25 February 2014 (diff | hist) . . (+3,430) . . PlayGo Examples
- 08:43, 25 February 2014 (diff | hist) . . (0) . . N File:Playgo linux.gtk.x86 64.v20140220-1851.tar.gz (current)
- 08:43, 25 February 2014 (diff | hist) . . (0) . . N File:Playgo win32.win32.x86 64.v20140220-1851.zip (current)
- 08:41, 25 February 2014 (diff | hist) . . (0) . . N File:Sourcecode-archive v20140220-1851.tar.gz (current)
- 08:40, 25 February 2014 (diff | hist) . . (+33) . . Download PlayGo
- 08:33, 25 February 2014 (diff | hist) . . (0) . . N File:Playgo linux.gtk.x86 64.v20140220-1851-with-jre.tar.gz (current)
- 08:32, 25 February 2014 (diff | hist) . . (+9) . . Download PlayGo (→PlayGo for Linux)
- 08:31, 25 February 2014 (diff | hist) . . (0) . . N File:Playgo win32.win32.x86 64.v20140220-1851-with-jre.zip (current)
- 08:30, 25 February 2014 (diff | hist) . . (+299) . . Download PlayGo
- 07:58, 25 February 2014 (diff | hist) . . (+4) . . PlayGo
- 07:57, 25 February 2014 (diff | hist) . . (-5) . . PlayGo
- 07:57, 25 February 2014 (diff | hist) . . (+15) . . PlayGo
- 07:55, 25 February 2014 (diff | hist) . . (+1,839) . . N License (New page: Copyright (c) 2009-2013, Weizmann Institute of Science and Ben Gurion University<br> All rights reserved. Redistribution and use in source and binary forms, with or without modification, ...) (current)
- 07:55, 25 February 2014 (diff | hist) . . (-1) . . PlayGo
- 07:54, 25 February 2014 (diff | hist) . . (0) . . File:Download.jpg (uploaded a new version of "Image:Download.jpg") (current)
- 07:53, 25 February 2014 (diff | hist) . . (0) . . File:Download.jpg (uploaded a new version of "Image:Download.jpg")
- 07:52, 25 February 2014 (diff | hist) . . (+1) . . PlayGo
- 07:52, 25 February 2014 (diff | hist) . . (0) . . File:Download.jpg (uploaded a new version of "Image:Download.jpg")
- 07:51, 25 February 2014 (diff | hist) . . (0) . . PlayGo
- 07:51, 25 February 2014 (diff | hist) . . (-1) . . PlayGo
- 07:50, 25 February 2014 (diff | hist) . . (0) . . File:Download.jpg (uploaded a new version of "Image:Download.jpg")
- 07:46, 25 February 2014 (diff | hist) . . (0) . . File:Download.jpg (uploaded a new version of "Image:Download.jpg")
- 07:46, 25 February 2014 (diff | hist) . . (0) . . N File:Download.jpg
- 07:45, 25 February 2014 (diff | hist) . . (+143) . . PlayGo
- 10:00, 24 February 2014 (diff | hist) . . (-7) . . Getting Started with PlayGo (→Create your first LSC project)
- 09:59, 24 February 2014 (diff | hist) . . (-6) . . Getting Started with PlayGo
- 09:56, 24 February 2014 (diff | hist) . . (0) . . File:SpecFile.png (uploaded a new version of "Image:SpecFile.png") (current)
- 09:50, 24 February 2014 (diff | hist) . . (0) . . Getting Started with PlayGo (→Startup PlayGo)
- 09:47, 24 February 2014 (diff | hist) . . (0) . . N File:Playgo.install.dir.jpg (current)
- 09:47, 24 February 2014 (diff | hist) . . (0) . . Getting Started with PlayGo (→Install PlayGo)
- 15:11, 11 February 2014 (diff | hist) . . (+2) . . Language & Concepts (→Play-Out)
- 15:06, 11 February 2014 (diff | hist) . . (+581) . . How to define play-in-able Swing GUI application (→Using the WindowBuilder plugin)
- 15:02, 11 February 2014 (diff | hist) . . (0) . . N File:Show&tell.quickFix.png (current)
- 15:02, 11 February 2014 (diff | hist) . . (0) . . N File:Show&Tell.png (current)
- 15:01, 11 February 2014 (diff | hist) . . (+982) . . How to Play In
- 14:53, 11 February 2014 (diff | hist) . . (0) . . PlayGo HowTo
- 14:51, 11 February 2014 (diff | hist) . . (0) . . PlayGo HowTo
- 14:50, 11 February 2014 (diff | hist) . . (0) . . PlayGo HowTo
- 14:46, 11 February 2014 (diff | hist) . . (0) . . N File:BrowserSettings.png (current)
- 14:45, 11 February 2014 (diff | hist) . . (+983) . . N How to generate and view a TraceVis log (New page: Configuring TraceVis is done from the project's properties page. Once configured and after playing out, a TraceVis log is generated at the location you c...) (current)
- 14:45, 11 February 2014 (diff | hist) . . (+44) . . PlayGo HowTo
- 14:34, 11 February 2014 (diff | hist) . . (0) . . N File:Tracer.OpenTrace.png (current)
- 14:34, 11 February 2014 (diff | hist) . . (0) . . N File:Tracer.OpenModel.png (current)
- 14:33, 11 February 2014 (diff | hist) . . (+1) . . How to generate a Tracer log (current)
- 14:32, 11 February 2014 (diff | hist) . . (-1) . . How to generate a Tracer log
- 14:32, 11 February 2014 (diff | hist) . . (0) . . N File:LaunchTracer.png (current)
- 14:31, 11 February 2014 (diff | hist) . . (+533) . . How to generate a Tracer log
- 13:24, 11 February 2014 (diff | hist) . . (-140) . . PlayGo Feature List
- 08:42, 5 February 2014 (diff | hist) . . (+6) . . PlayGo Feature List
- 08:42, 5 February 2014 (diff | hist) . . (+39) . . PlayGo Feature List
- 08:42, 5 February 2014 (diff | hist) . . (+75) . . PlayGo Feature List
- 07:40, 12 January 2014 (diff | hist) . . (+1) . . How to Play Out (current)
- 07:40, 12 January 2014 (diff | hist) . . (+16) . . How to Play Out
- 07:39, 12 January 2014 (diff | hist) . . (+10) . . How to Play Out
- 11:38, 2 January 2014 (diff | hist) . . (-3) . . Eclipse Orientation (current)
- 11:37, 2 January 2014 (diff | hist) . . (+404) . . N Eclipse Orientation (New page: == Workspace == A workspace is a directory on your hard drive where Eclipse stores the projects that you define.<br> [http://eclipse.dzone.com/articles/eclipse-workspace-tips More about Ec...)
- 11:37, 2 January 2014 (diff | hist) . . (+24) . . Create an LSC project (current)
- 11:34, 2 January 2014 (diff | hist) . . (0) . . N File:Open.perspective.jpg (current)
- 11:33, 2 January 2014 (diff | hist) . . (+1,939) . . Troubleshoot
- 11:32, 2 January 2014 (diff | hist) . . (0) . . N File:GreenQuickFix1.jpg (current)
- 11:32, 2 January 2014 (diff | hist) . . (+1) . . Getting Started with PlayGo (→Create your first LSC project)
- 11:27, 2 January 2014 (diff | hist) . . (0) . . N File:GreenQuickFix.jpg (current)
- 11:27, 2 January 2014 (diff | hist) . . (0) . . File:Playgo.install.dir.JPG (uploaded a new version of "Image:Playgo.install.dir.JPG") (current)
- 11:26, 2 January 2014 (diff | hist) . . (-3,105) . . Getting Started with PlayGo
- 11:25, 2 January 2014 (diff | hist) . . (+26) . . Language & Concepts (→System Model)
- 11:24, 2 January 2014 (diff | hist) . . (-5) . . About PlayGo (current)
- 11:17, 2 January 2014 (diff | hist) . . (+235) . . About PlayGo
- 07:46, 29 December 2013 (diff | hist) . . (-6) . . Language & Concepts (→System Model)
- 15:15, 17 December 2013 (diff | hist) . . (0) . . File:WaterTap.zip (uploaded a new version of "Image:WaterTap.zip")
- 14:58, 17 December 2013 (diff | hist) . . (0) . . N File:Playgo linux.gtk.x86 64.v20131217-0954.tar.gz (current)
- 14:57, 17 December 2013 (diff | hist) . . (+3) . . Download PlayGo (→PlayGo for Linux)
- 14:55, 17 December 2013 (diff | hist) . . (0) . . N File:Playgo win32.win32.x86 64.v20131217-1534-with-jre.zip (current)
- 14:54, 17 December 2013 (diff | hist) . . (+34) . . Download PlayGo (→PlayGo for Windows)
- 14:54, 17 December 2013 (diff | hist) . . (-307) . . Download PlayGo
- 14:51, 17 December 2013 (diff | hist) . . (0) . . N File:MemoryGame.zip
- 14:50, 17 December 2013 (diff | hist) . . (+1) . . PlayGo Examples (→Memory Game LSC project)
- 14:50, 17 December 2013 (diff | hist) . . (0) . . N File:MemoryGameSwingGUI.zip
- 14:49, 17 December 2013 (diff | hist) . . (0) . . File:MemoryGameUI.png (uploaded a new version of "Image:MemoryGameUI.png") (current)
- 14:49, 17 December 2013 (diff | hist) . . (0) . . File:LSCExample.png (uploaded a new version of "Image:LSCExample.png") (current)
- 14:48, 17 December 2013 (diff | hist) . . (+863) . . PlayGo Examples (→Applications)
- 09:35, 17 December 2013 (diff | hist) . . (-5) . . Wristwatch Example (→Download the Wristwatch Example)
- 07:40, 25 November 2013 (diff | hist) . . (+104) . . LSC Language Reference
- 07:37, 25 November 2013 (diff | hist) . . (+8) . . PlayGo Feature List (→Smart play-out)
- 07:37, 25 November 2013 (diff | hist) . . (+8) . . LSC Language Reference (→Super Step)
- 07:29, 25 November 2013 (diff | hist) . . (-19) . . Language & Concepts (→Live Sequence Charts (LSC))
- 07:29, 25 November 2013 (diff | hist) . . (+1) . . Language & Concepts (→Live Sequence Charts (LSC))
- 07:28, 25 November 2013 (diff | hist) . . (+18) . . Language & Concepts (→Live Sequence Charts (LSC))
- 07:36, 10 November 2013 (diff | hist) . . (+40) . . How to Play Out
- 07:34, 10 November 2013 (diff | hist) . . (+40) . . How to Play Out
- 09:32, 7 November 2013 (diff | hist) . . (-3) . . Language & Concepts (→Play-Out)
- 07:59, 3 November 2013 (diff | hist) . . (+13) . . How to Play In (→Learn from Examples)
- 07:59, 3 November 2013 (diff | hist) . . (-15) . . How to Play In (→Learn from Examples)
- 07:26, 3 November 2013 (diff | hist) . . (-305) . . Chess Game Example (→Discussion)
- 07:26, 3 November 2013 (diff | hist) . . (-671) . . Chess Game Example (→Example 3 - a non working LSC)
- 07:24, 3 November 2013 (diff | hist) . . (-65) . . Chess Game Example (→Graph and Connections)
- 07:22, 3 November 2013 (diff | hist) . . (-3) . . Chess Game Example (→Download the ChessGame Example)
- 07:20, 3 November 2013 (diff | hist) . . (-96) . . Chess Game Example (→Example 2 (ChessGame - square.umlseq))
- 07:19, 3 November 2013 (diff | hist) . . (+1) . . Chess Game Example (→ChessProject LSC project)
- 07:18, 3 November 2013 (diff | hist) . . (-3) . . Chess Game Example (→Download the ChessProject Example)
- 07:18, 3 November 2013 (diff | hist) . . (-95) . . Chess Game Example (→Example 1 (ChessProject - chesswithNL.umlseq) with NL-Play-In)
- 07:16, 3 November 2013 (diff | hist) . . (+51) . . Chess Game Example
- 07:15, 3 November 2013 (diff | hist) . . (+4) . . Chess Game Example
- 07:15, 3 November 2013 (diff | hist) . . (-148) . . Chess Game Example
- 07:14, 3 November 2013 (diff | hist) . . (+45) . . Chess Game Example
- 07:13, 3 November 2013 (diff | hist) . . (+81) . . Chess Game Example
- 06:42, 24 October 2013 (diff | hist) . . (+4) . . PlayGo Examples (→Wristwatch)
- 09:54, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.importFromModelFile.jpg (current)
- 09:54, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.objectUpdate.jpg (current)
- 09:54, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.objectRemove.jpg (current)
- 09:53, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.addObjectDialog.jpg (current)
- 09:53, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.addObject.jpg (current)
- 09:52, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.classAddPropertyDialog.jpg (current)
- 09:52, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.classAddProperty.jpg (current)
- 09:52, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.classAddMethod.jpg (current)
- 09:51, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.classAddMethod.png (current)
- 09:50, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.classRemove.png (current)
- 09:50, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.addClassDialog.png (current)
- 09:49, 31 July 2013 (diff | hist) . . (0) . . N File:SystemModel.addClass.png (current)
- 09:49, 31 July 2013 (diff | hist) . . (+7,219) . . N How to create a system model (New page: The System Model provides details on the classes and objects that participate in the LSCs. Once defined, the system model can be used for playing in a ...) (current)
- 09:49, 31 July 2013 (diff | hist) . . (+35) . . PlayGo HowTo
- 06:26, 29 July 2013 (diff | hist) . . (+89) . . Play-in view (current)
- 06:03, 29 July 2013 (diff | hist) . . (0) . . N File:Systemmodel.createMessage.png (current)
- 06:03, 29 July 2013 (diff | hist) . . (0) . . N File:Systemmodel.callotherobj.png (current)
- 06:02, 29 July 2013 (diff | hist) . . (0) . . File:SystemModel.callMessage.self.png (uploaded a new version of "Image:SystemModel.callMessage.self.png") (current)
- 05:59, 29 July 2013 (diff | hist) . . (0) . . N File:SystemModel.callMessage.self.png
- 05:59, 29 July 2013 (diff | hist) . . (+13) . . How to Play In (→Common operations)
- 05:54, 29 July 2013 (diff | hist) . . (0) . . File:Playin.systemmodel.png (uploaded a new version of "Image:Playin.systemmodel.png") (current)
- 05:52, 29 July 2013 (diff | hist) . . (0) . . File:SystemModel.createMessage.fromUser.png (uploaded a new version of "Image:SystemModel.createMessage.fromUser.png") (current)
- 05:51, 29 July 2013 (diff | hist) . . (0) . . N File:Systemmodel.playin.png (current)
- 05:51, 29 July 2013 (diff | hist) . . (-25) . . How to Play In (→System model play-in)
- 05:47, 29 July 2013 (diff | hist) . . (0) . . N File:SystemModel.createMessage.fromUser.png
- 05:43, 29 July 2013 (diff | hist) . . (0) . . N File:BasicPlayIn.png (current)
- 05:43, 29 July 2013 (diff | hist) . . (0) . . N File:Systemmodel.createMessage.fromUser.png (current)
- 05:42, 29 July 2013 (diff | hist) . . (+1,352) . . How to Play In (→System model play-in)
- 05:28, 29 July 2013 (diff | hist) . . (+344) . . N Create an LSC project (New page: Creating a new LSC project is done from the 'File' menu: choose New --> LSC Project. Note: if you are not using the PlayGo perspective you may not see this option, in which case choose ...)
- 05:27, 29 July 2013 (diff | hist) . . (0) . . N File:NL.play-in.view+.png (current)
- 05:26, 29 July 2013 (diff | hist) . . (0) . . N File:NL.plus.jpg (current)
- 05:26, 29 July 2013 (diff | hist) . . (0) . . N File:NL.grammer.error.quickFix.png (current)
- 05:25, 29 July 2013 (diff | hist) . . (0) . . N File:NL.grammer.error.png (current)
- 05:25, 29 July 2013 (diff | hist) . . (0) . . File:Playin.view.ambigous.png (uploaded a new version of "Image:Playin.view.ambigous.png") (current)
- 05:24, 29 July 2013 (diff | hist) . . (0) . . N File:NL.ambiguity.error.png (current)
- 05:24, 29 July 2013 (diff | hist) . . (0) . . N File:NL.model.error.quickFix.png (current)
- 05:23, 29 July 2013 (diff | hist) . . (0) . . N File:NL.model.error.png (current)
- 05:23, 29 July 2013 (diff | hist) . . (0) . . N File:NL.play-in.view.overview.png (current)
- 05:22, 29 July 2013 (diff | hist) . . (0) . . File:NL.play-in.start.png (uploaded a new version of "Image:NL.play-in.start.png") (current)
- 05:21, 29 July 2013 (diff | hist) . . (0) . . N File:NL.sentence.png (current)
- 05:21, 29 July 2013 (diff | hist) . . (+6,394) . . How to Play In
- 05:20, 29 July 2013 (diff | hist) . . (-22) . . How to Play In
- 11:33, 21 July 2013 (diff | hist) . . (-1) . . Play-in view
- 11:30, 21 July 2013 (diff | hist) . . (-15) . . Play-in view
- 11:28, 21 July 2013 (diff | hist) . . (+2) . . Play-in view
- 11:27, 21 July 2013 (diff | hist) . . (0) . . N File:Playin.view.png (current)
- 11:26, 21 July 2013 (diff | hist) . . (+1,506) . . N Play-in view (New page: Using the play-in view, the user can insert a message arguments. The play-in view is automatically open when needed, during the play-in session, with the relevant properties, letting the u...)
- 11:26, 21 July 2013 (diff | hist) . . (+22) . . How to Play In
- 11:16, 20 June 2013 (diff | hist) . . (-1) . . Download PlayGo
- 09:09, 20 June 2013 (diff | hist) . . (-80) . . Download PlayGo
- 09:08, 20 June 2013 (diff | hist) . . (+80) . . Download PlayGo
- 06:03, 20 June 2013 (diff | hist) . . (+394) . . Download PlayGo
- 10:55, 11 June 2013 (diff | hist) . . (0) . . File:ChessSIV-example2.png (uploaded a new version of "Image:ChessSIV-example2.png") (current)
- 10:54, 11 June 2013 (diff | hist) . . (0) . . File:SivChessGame.png (uploaded a new version of "Image:SivChessGame.png") (current)
- 06:08, 27 May 2013 (diff | hist) . . (0) . . Language & Concepts (→System Model)
- 09:22, 10 April 2013 (diff | hist) . . (-39) . . How to Play In (→Natural language play-in)
- 09:21, 10 April 2013 (diff | hist) . . (-1) . . PlayGo Examples (→Wristwatch)
- 11:29, 2 April 2013 (diff | hist) . . (0) . . File:NL.play-in.start.png (uploaded a new version of "Image:NL.play-in.start.png")
- 09:33, 2 April 2013 (diff | hist) . . (-51) . . Download PlayGo
- 07:50, 28 February 2013 (diff | hist) . . (0) . . N File:WristWatchGUI.jpg (current)
- 07:49, 28 February 2013 (diff | hist) . . (+125) . . PlayGo Examples (→Wristwatch)
- 07:39, 28 February 2013 (diff | hist) . . (+4) . . Wristwatch Example (→Installation Instructions)
- 07:39, 28 February 2013 (diff | hist) . . (+2) . . Wristwatch Example (→Date)
- 07:38, 28 February 2013 (diff | hist) . . (+2) . . Wristwatch Example (→Alarm)
- 07:38, 28 February 2013 (diff | hist) . . (-3) . . Wristwatch Example (→Alarm)
- 07:37, 28 February 2013 (diff | hist) . . (+1) . . Wristwatch Example (→Alarm)
- 07:36, 28 February 2013 (diff | hist) . . (-7) . . Wristwatch Example (→Alarm)
- 07:33, 28 February 2013 (diff | hist) . . (+2) . . Wristwatch Example (→Time)
- 07:32, 28 February 2013 (diff | hist) . . (+24) . . Wristwatch Example (→Updates)
- 07:30, 28 February 2013 (diff | hist) . . (+38) . . Wristwatch Example (→Watch Modes)
- 07:27, 28 February 2013 (diff | hist) . . (-1) . . Wristwatch Example (→Download the Wrist Watch Example)
- 07:26, 28 February 2013 (diff | hist) . . (+1) . . Wristwatch Example
- 07:26, 28 February 2013 (diff | hist) . . (+10) . . Wristwatch Example
- 10:12, 26 February 2013 (diff | hist) . . (+72) . . Wristwatch Example
- 10:01, 26 February 2013 (diff | hist) . . (-1) . . PlayGo Examples (→Wrist Watch)
- 10:00, 26 February 2013 (diff | hist) . . (0) . . m Wristwatch Example (WristWatch Example moved to Wristwatch Example)
- 10:00, 26 February 2013 (diff | hist) . . (+32) . . N WristWatch Example (WristWatch Example moved to Wristwatch Example) (current)
- 10:00, 26 February 2013 (diff | hist) . . (0) . . m Wristwatch Example (Wrist Watch Example moved to WristWatch Example)
- 10:00, 26 February 2013 (diff | hist) . . (+32) . . N Wrist Watch Example (Wrist Watch Example moved to WristWatch Example)
- 08:09, 20 February 2013 (diff | hist) . . (-695) . . Wristwatch Example
- 08:09, 20 February 2013 (diff | hist) . . (-33) . . Wristwatch Example (→Download the Wrist Watch Example)
- 08:08, 20 February 2013 (diff | hist) . . (+472) . . Wristwatch Example
- 08:06, 20 February 2013 (diff | hist) . . (+156) . . Wristwatch Example (→Download the Wrist Watch Example)
- 08:05, 20 February 2013 (diff | hist) . . (+80) . . Wristwatch Example (→Download the Wrist Watch Example)
- 09:18, 19 February 2013 (diff | hist) . . (0) . . N File:Workspace ver1.4.4.zip (current)
- 09:17, 19 February 2013 (diff | hist) . . (0) . . N File:Playgo ver1.4.4.zip (current)
- 09:16, 19 February 2013 (diff | hist) . . (0) . . Download PlayGo
- 08:52, 19 February 2013 (diff | hist) . . (+10) . . Chess Game Example
- 08:47, 19 February 2013 (diff | hist) . . (+52) . . N Chess Game Example (New page: This is a protected page for the Chess Game Example.)
- 12:49, 18 February 2013 (diff | hist) . . (0) . . N File:WristWatch.zip
- 12:48, 18 February 2013 (diff | hist) . . (-23) . . Wristwatch Example (→Download the Wrist Watch Example)
- 12:41, 18 February 2013 (diff | hist) . . (+60) . . Wristwatch Example (→Installation Instructions)
- 10:56, 13 February 2013 (diff | hist) . . (+22) . . Wristwatch Example (→Installation Instructions)
- 08:24, 13 February 2013 (diff | hist) . . (+5) . . Wristwatch Example (→Notes)
- 08:22, 13 February 2013 (diff | hist) . . (0) . . Wristwatch Example (→Installation Instructions)
- 08:22, 13 February 2013 (diff | hist) . . (+1) . . Wristwatch Example (→Installation Instructions)
- 08:21, 13 February 2013 (diff | hist) . . (+35) . . Wristwatch Example
- 08:16, 13 February 2013 (diff | hist) . . (+387) . . Wristwatch Example (→Installation Instructions)
- 08:09, 13 February 2013 (diff | hist) . . (+212) . . Wristwatch Example (→Download the Wrist Watch Example)
- 08:06, 13 February 2013 (diff | hist) . . (+4) . . Wristwatch Example
- 07:56, 13 February 2013 (diff | hist) . . (-50) . . Wristwatch Example
- 12:26, 6 February 2013 (diff | hist) . . (+27) . . Wristwatch Example
- 12:25, 6 February 2013 (diff | hist) . . (+35) . . Wristwatch Example
- 12:24, 6 February 2013 (diff | hist) . . (+116) . . Wristwatch Example
- 12:21, 6 February 2013 (diff | hist) . . (-10) . . Wristwatch Example
- 12:20, 6 February 2013 (diff | hist) . . (-1) . . Wristwatch Example (→Time)
- 12:20, 6 February 2013 (diff | hist) . . (-79) . . Wristwatch Example
- 12:18, 6 February 2013 (diff | hist) . . (+70) . . Wristwatch Example
- 10:07, 9 January 2013 (diff | hist) . . (0) . . File:WristWatchExampleSwingGUI.zip (uploaded a new version of "Image:WristWatchExampleSwingGUI.zip")
- 08:56, 9 January 2013 (diff | hist) . . (0) . . File:WristWatchExampleSwingGUI.zip (uploaded a new version of "Image:WristWatchExampleSwingGUI.zip")
- 19:01, 8 January 2013 (diff | hist) . . (-106) . . Wristwatch Example (→Installation Instructions)
- 10:45, 8 January 2013 (diff | hist) . . (+136) . . Wristwatch Example (→Installation Instructions)
- 10:45, 8 January 2013 (diff | hist) . . (0) . . Wristwatch Example (→Installation Instructions)
- 10:44, 8 January 2013 (diff | hist) . . (+158) . . Wristwatch Example (→Installation Instructions)
- 10:42, 8 January 2013 (diff | hist) . . (-4) . . Wristwatch Example (→Download the Wrist Watch Example)
- 10:42, 8 January 2013 (diff | hist) . . (0) . . N File:WristWatchExampleSystemModelGUI.zip
- 10:41, 8 January 2013 (diff | hist) . . (0) . . N File:WristWatchExampleSwingGUI.zip
- 10:41, 8 January 2013 (diff | hist) . . (+9) . . Wristwatch Example (→Download the Wrist Watch Example)
- 10:41, 8 January 2013 (diff | hist) . . (+70) . . Wristwatch Example (→Download the Wrist Watch Example)
- 10:40, 8 January 2013 (diff | hist) . . (+154) . . Wristwatch Example
- 10:38, 8 January 2013 (diff | hist) . . (+37) . . Wristwatch Example
- 09:59, 2 January 2013 (diff | hist) . . (+198) . . PlayGo Examples
- 09:03, 2 December 2012 (diff | hist) . . (+11) . . How to Play In (→Natural language play-in)
- 08:58, 2 December 2012 (diff | hist) . . (+65) . . How to Play In (→Natural language play-in)
- 08:57, 2 December 2012 (diff | hist) . . (0) . . m How to Play Out (How to Play-Out moved to How to Play Out)
- 08:57, 2 December 2012 (diff | hist) . . (+29) . . N How to Play-Out (How to Play-Out moved to How to Play Out) (current)
- 08:57, 2 December 2012 (diff | hist) . . (0) . . m How to Play In (How to Play-In moved to How to Play In)
- 08:57, 2 December 2012 (diff | hist) . . (+28) . . N How to Play-In (How to Play-In moved to How to Play In) (current)
- 07:32, 2 December 2012 (diff | hist) . . (0) . . How to change the way elements are shown in the LSC editor (current)
- 07:32, 2 December 2012 (diff | hist) . . (0) . . File:Preferences.lsceditor.jpg (uploaded a new version of "Image:Preferences.lsceditor.jpg") (current)
- 07:27, 2 December 2012 (diff | hist) . . (0) . . PlayGo HowTo
- 07:23, 2 December 2012 (diff | hist) . . (+8) . . PlayGo Screenshots (→Play-out properties) (current)
- 07:21, 2 December 2012 (diff | hist) . . (-1) . . PlayGo Screenshots (→Play-out properties)
- 07:21, 2 December 2012 (diff | hist) . . (+1) . . PlayGo Screenshots (→Play-out properties)
- 07:18, 2 December 2012 (diff | hist) . . (+10) . . PlayGo Screenshots
- 07:09, 2 December 2012 (diff | hist) . . (+88) . . Play-Out Configuration (→Behaviors) (current)
- 07:07, 2 December 2012 (diff | hist) . . (+563) . . PlayGo Feature List
- 12:41, 29 November 2012 (diff | hist) . . (0) . . PlayGo HowTo
- 12:41, 29 November 2012 (diff | hist) . . (0) . . File:SystemModel.callMessage.png (uploaded a new version of "Image:SystemModel.callMessage.png") (current)
- 12:31, 29 November 2012 (diff | hist) . . (0) . . File:SystemModel.callMessage.png (uploaded a new version of "Image:SystemModel.callMessage.png": Reverted to version as of 12:30, 29 November 2012)
- 12:31, 29 November 2012 (diff | hist) . . (0) . . File:SystemModel.callMessage.png (uploaded a new version of "Image:SystemModel.callMessage.png")
- 12:30, 29 November 2012 (diff | hist) . . (0) . . N File:SystemModel.callMessage.png
- 12:30, 29 November 2012 (diff | hist) . . (0) . . N File:SystemModel.viewAndSetPropertyValue.png (current)
- 12:30, 29 November 2012 (diff | hist) . . (0) . . N File:System.model.view.png (current)
- 12:30, 29 November 2012 (diff | hist) . . (+1,374) . . N How to play out with the system model (New page: Using the system model the user can see the values of properties during play-out, and can modify them too. To view a property value during play-out, first make sure that the System Model ...) (current)
- 10:23, 29 November 2012 (diff | hist) . . (0) . . PlayGo HowTo
- 10:19, 29 November 2012 (diff | hist) . . (+4) . . PlayGo HowTo
- 09:54, 29 November 2012 (diff | hist) . . (+37) . . PlayGo HowTo
- 09:54, 29 November 2012 (diff | hist) . . (+66) . . PlayGo HowTo
- 09:52, 29 November 2012 (diff | hist) . . (+6) . . Multiple model files (current)
- 09:52, 29 November 2012 (diff | hist) . . (0) . . N File:Playout.multipleFiles.jpg (current)
- 09:52, 29 November 2012 (diff | hist) . . (0) . . N File:Playout.properties.multipleFiles.jpg (current)
- 09:52, 29 November 2012 (diff | hist) . . (+979) . . N Multiple model files (New page: ==Description== Working with multiple model files allows one to define LSCs in separate files (e.g., each file represents a use case), and execute them in a single play-out session. Workin...)
- 09:47, 29 November 2012 (diff | hist) . . (+1,304) . . How to Play Out
- 09:38, 29 November 2012 (diff | hist) . . (-1,279) . . How to Play Out (Removing all content from page)
- 09:38, 29 November 2012 (diff | hist) . . (0) . . N File:Playout.toolbar.jpg (current)
- 09:37, 29 November 2012 (diff | hist) . . (+1,279) . . N How to Play Out (New page: To play-out LSC project, select the LSC project, by clicking it and then click the 'Play-Out' button:<br> Image:playout.toolbar.jpg The 'Play-Out' toolbar button is a drop-down bottom...)
- 09:36, 29 November 2012 (diff | hist) . . (+37) . . PlayGo HowTo
- 12:41, 28 November 2012 (diff | hist) . . (-7) . . Play-Out Configuration (→Strategy)
- 12:37, 28 November 2012 (diff | hist) . . (0) . . File:Playout.properties.jpg (uploaded a new version of "Image:Playout.properties.jpg") (current)
- 12:37, 28 November 2012 (diff | hist) . . (+2,878) . . Play-Out Configuration
- 12:30, 28 November 2012 (diff | hist) . . (0) . . File:Workspace ver1.4.3.zip (uploaded a new version of "Image:Workspace ver1.4.3.zip") (current)
- 11:43, 28 November 2012 (diff | hist) . . (-3) . . Getting Started with PlayGo (→Run PlayGo with the provided workspace)
- 12:48, 27 November 2012 (diff | hist) . . (+5) . . Getting Started with PlayGo (→Configure the examples)
- 12:45, 27 November 2012 (diff | hist) . . (-2,844) . . Play-Out Configuration (Removing all content from page)
- 12:45, 27 November 2012 (diff | hist) . . (0) . . N File:Playout.properties.jpg
- 12:45, 27 November 2012 (diff | hist) . . (+2,844) . . N Play-Out Configuration (New page: In this properties page, one can control the parameters that will effect the execution. ==Play-out properties== Right-click the project you work on and choose Properties->PlayGo->Play...)
- 12:43, 27 November 2012 (diff | hist) . . (+10) . . How to generate a Tracer log (→Generate Tracer Logs)
- 12:41, 27 November 2012 (diff | hist) . . (+5) . . Troubleshoot
- 12:37, 27 November 2012 (diff | hist) . . (0) . . N File:Toolbar.playout.png (current)
- 12:37, 27 November 2012 (diff | hist) . . (0) . . N File:Specification.sampleProject.png
- 12:37, 27 November 2012 (diff | hist) . . (0) . . N File:SpecFile.png
- 12:36, 27 November 2012 (diff | hist) . . (+772) . . Getting Started with PlayGo
- 12:27, 27 November 2012 (diff | hist) . . (+13) . . How to debug (→Play-Out View)
- 12:26, 27 November 2012 (diff | hist) . . (0) . . N File:DebugView.jpg (current)
- 12:26, 27 November 2012 (diff | hist) . . (0) . . N File:LSCEditor.breakpoint.png (current)
- 12:25, 27 November 2012 (diff | hist) . . (-1) . . How to debug (→Play-Out View)
- 12:25, 27 November 2012 (diff | hist) . . (0) . . File:PlayoutView.filters.png (uploaded a new version of "Image:PlayoutView.filters.png") (current)
- 12:21, 27 November 2012 (diff | hist) . . (-4) . . How to debug
- 12:21, 27 November 2012 (diff | hist) . . (0) . . N File:PlayoutView.filters.png
- 12:20, 27 November 2012 (diff | hist) . . (0) . . N File:PlayoutView.cutChange.jpg (current)
- 12:20, 27 November 2012 (diff | hist) . . (0) . . N File:ViolationCold.gif (current)
- 12:20, 27 November 2012 (diff | hist) . . (0) . . N File:ViolationHot.gif (current)
- 12:20, 27 November 2012 (diff | hist) . . (0) . . N File:Completion.gif (current)
- 12:19, 27 November 2012 (diff | hist) . . (0) . . N File:Binding.gif (current)
- 12:19, 27 November 2012 (diff | hist) . . (0) . . N File:Cut.gif (current)
- 12:19, 27 November 2012 (diff | hist) . . (0) . . N File:Event.gif (current)
- 12:19, 27 November 2012 (diff | hist) . . (-17) . . How to debug (→Play-Out View)
- 12:18, 27 November 2012 (diff | hist) . . (0) . . File:PlayoutView.jpg (uploaded a new version of "Image:PlayoutView.jpg") (current)
- 12:13, 27 November 2012 (diff | hist) . . (0) . . N File:PlayoutView.jpg
- 12:12, 27 November 2012 (diff | hist) . . (0) . . N File:Playout.properties.general.jpg (current)
- 12:11, 27 November 2012 (diff | hist) . . (+2,506) . . N How to debug (New page: Debugging is by default enabled whenever you play out. To disable/enable debugging, check the corresponding flag in the 'Play-Out' properties by right-clicking your project and choosing pr...)
- 12:11, 27 November 2012 (diff | hist) . . (+18) . . PlayGo HowTo
- 09:17, 27 November 2012 (diff | hist) . . (-21) . . How to Play In
- 09:16, 27 November 2012 (diff | hist) . . (+30) . . How to Play In
- 09:13, 27 November 2012 (diff | hist) . . (-15) . . How to Play In
- 09:13, 27 November 2012 (diff | hist) . . (+22) . . How to Play In
- 09:11, 27 November 2012 (diff | hist) . . (0) . . N File:Playin.systemmodel1.png (current)
- 09:11, 27 November 2012 (diff | hist) . . (+535) . . How to Play In (→Playing-in from system model)
- 09:10, 27 November 2012 (diff | hist) . . (+5) . . How to Play In (→Basic play-in)
- 09:10, 27 November 2012 (diff | hist) . . (0) . . N File:Properties.view.rightClickMenu.png (current)
- 09:09, 27 November 2012 (diff | hist) . . (+15) . . How to Play In (→Basic play-in)
- 09:06, 27 November 2012 (diff | hist) . . (+1) . . How to Play In (→Basic play-in)
- 09:05, 27 November 2012 (diff | hist) . . (-2) . . How to Play In (→Basic play-in)
- 09:04, 27 November 2012 (diff | hist) . . (+211) . . How to Play In (→Basic play-in)
- 09:03, 27 November 2012 (diff | hist) . . (0) . . N File:Playin.view.ambigous.png
- 09:02, 27 November 2012 (diff | hist) . . (0) . . N File:NL.play-in.view.png (current)
- 09:02, 27 November 2012 (diff | hist) . . (0) . . N File:NL.play-in.start.png
- 09:02, 27 November 2012 (diff | hist) . . (+1,663) . . How to Play In
- 08:42, 27 November 2012 (diff | hist) . . (+9) . . PlayGo Feature List (→Show & tell play-in)
- 08:11, 26 November 2012 (diff | hist) . . (-8) . . PlayGo Feature List (→Show & tell play-in)
- 07:29, 26 November 2012 (diff | hist) . . (+11) . . PlayGo Feature List (→Counter play-out)
- 07:28, 26 November 2012 (diff | hist) . . (+1) . . PlayGo Feature List (→Polymorphism)
- 11:56, 25 November 2012 (diff | hist) . . (+660) . . PlayGo Feature List
- 08:11, 25 November 2012 (diff | hist) . . (0) . . Download PlayGo
- 08:10, 25 November 2012 (diff | hist) . . (0) . . N File:Workspace ver1.4.3.zip
- 07:54, 25 November 2012 (diff | hist) . . (0) . . N File:Playgo ver1.4.3.zip (current)
- 08:54, 29 October 2012 (diff | hist) . . (-39) . . PlayGo Feature List (→Trace exploration and visualization)
- 08:49, 29 October 2012 (diff | hist) . . (+49) . . PlayGo Feature List (→Trace exploration and visualization)
- 08:46, 29 October 2012 (diff | hist) . . (0) . . PlayGo Feature List (→Synthesis)
- 08:43, 29 October 2012 (diff | hist) . . (0) . . PlayGo Feature List (→Counter play-out)
- 08:42, 29 October 2012 (diff | hist) . . (+104) . . PlayGo Feature List (→Synthesis)
- 08:36, 24 October 2012 (diff | hist) . . (+5) . . How to Play In
- 08:34, 24 October 2012 (diff | hist) . . (-4) . . How to change a play-out strategy (current)
- 08:33, 24 October 2012 (diff | hist) . . (+30) . . How to change a play-out strategy
- 08:32, 24 October 2012 (diff | hist) . . (+10) . . How to change a play-out strategy
- 09:29, 10 October 2012 (diff | hist) . . (0) . . N File:Playin.ignore.JPG (current)
- 09:27, 10 October 2012 (diff | hist) . . (+8) . . How to Play In (→Basic play-in)
- 09:26, 10 October 2012 (diff | hist) . . (+100) . . How to Play In
- 07:58, 10 October 2012 (diff | hist) . . (+9) . . How to change a play-out strategy
- 07:57, 10 October 2012 (diff | hist) . . (+241) . . How to change a play-out strategy
- 07:53, 10 October 2012 (diff | hist) . . (-1) . . How to change a play-out strategy
- 11:24, 28 March 2012 (diff | hist) . . (0) . . N File:CommandLine.png (current)
- 11:23, 28 March 2012 (diff | hist) . . (+1,375) . . N How to run an LSC project outside the context of PlayGo (New page: == From Eclipse == * Open the project in Eclipse * Remove the following System Arguments (if exists): '''-DlscDebug=true -Dport=2080''' (these arguments are responsible for the LSC debuggi...) (current)
- 11:23, 28 March 2012 (diff | hist) . . (0) . . PlayGo HowTo
- 11:22, 28 March 2012 (diff | hist) . . (+51) . . PlayGo HowTo
- 11:17, 28 March 2012 (diff | hist) . . (+862) . . N How to create an LSC specification using the Java API (New page: You can create new LSCs by coding them in Java. The il.ac.wis.cs.common project, provided with the PlayGo download, contains an example for creating LSCs by coding them in Java. You can us...)
- 11:16, 28 March 2012 (diff | hist) . . (+199) . . N How to generate a Tracer log (New page: ====Generate Tracer Logs==== Configuring the tracer is done from the S2A project's properties page. The generated log files can be explored using the [[The Tracer ...)
- 11:15, 28 March 2012 (diff | hist) . . (0) . . File:S2a.playout.properties.jpeg (uploaded a new version of "Image:S2a.playout.properties.jpeg") (current)
- 11:12, 28 March 2012 (diff | hist) . . (+167) . . N How to change a play-out strategy (New page: Changing the active play-out strategy is possible from the project Properties page: Image:S2a.playout.properties.jpeg)
- 11:09, 28 March 2012 (diff | hist) . . (0) . . How to change the way elements are shown in the LSC editor
- 11:07, 28 March 2012 (diff | hist) . . (0) . . N File:Preferences.lsceditor.png (current)
- 11:06, 28 March 2012 (diff | hist) . . (+214) . . N How to change the way elements are shown in the LSC editor (New page: You can affect the way elements are displayed in the editor by changing some of the values in the Preferences. From the Windows menu select Preferences --> PlayGo --> LSCEditor: [[Image:p...)
- 11:05, 28 March 2012 (diff | hist) . . (+587) . . N LSC Locations in PlayGo (New page: A location is the intersection of a lifeline with any other LSC construct, such as message, condition, sub chart. A location is marked graphically by a solid, filled, red or blue circle. ...) (current)
- 11:03, 28 March 2012 (diff | hist) . . (+782) . . N How to view a specification: in the LSC editor and in the UML editor (New page: An LSC specification can be viewed using the LSC editor. Since PlayGo contains the UML variant of LSC, one can also view the LSC specification using the UML editor provided as part of [ht...)
- 11:01, 28 March 2012 (diff | hist) . . (0) . . N File:Play-in-able.jpg (current)
- 10:59, 28 March 2012 (diff | hist) . . (-256) . . How to define play-in-able Swing GUI application
- 10:58, 28 March 2012 (diff | hist) . . (0) . . File:New.LSC.project.JPG (uploaded a new version of "Image:New.LSC.project.JPG") (current)
- 10:55, 28 March 2012 (diff | hist) . . (+551) . . PlayGo HowTo
- 10:55, 28 March 2012 (diff | hist) . . (+37) . . PlayGo
- 12:00, 27 March 2012 (diff | hist) . . (0) . . PlayGo Feature List (→Synthesis)
- 11:40, 27 March 2012 (diff | hist) . . (+1,145) . . PlayGo Feature List
- 11:39, 27 March 2012 (diff | hist) . . (+323) . . PlayGo Feature List (→Synthesis)
- 18:48, 21 March 2012 (diff | hist) . . (+1) . . Getting Started with PlayGo (→Install PlayGo)
- 18:47, 21 March 2012 (diff | hist) . . (+29) . . Download PlayGo
- 08:34, 18 March 2012 (diff | hist) . . (0) . . PlayGo Examples (→Water Tap)
- 08:34, 18 March 2012 (diff | hist) . . (0) . . N File:WaterTap.zip
- 08:33, 18 March 2012 (diff | hist) . . (0) . . N File:WaterTap.uml (current)
- 10:34, 15 March 2012 (diff | hist) . . (+1) . . PlayGo HowTo
- 10:34, 15 March 2012 (diff | hist) . . (+2) . . PlayGo HowTo
- 10:33, 15 March 2012 (diff | hist) . . (-6) . . PlayGo Examples
- 10:31, 15 March 2012 (diff | hist) . . (+30) . . Instructions for creating LSC project from LSC file
- 10:30, 15 March 2012 (diff | hist) . . (+8) . . Instructions for creating LSC project from LSC file
- 10:29, 15 March 2012 (diff | hist) . . (0) . . N File:New.lscProjectByModel.jpg
- 10:28, 15 March 2012 (diff | hist) . . (0) . . N File:NewLSCProject.jpg (current)
- 10:25, 15 March 2012 (diff | hist) . . (+420) . . N Instructions for creating LSC project from LSC file (New page: # Download and install PlayGo #Start PlayGo #Create a new LSC project as follows: ## File Menu-->New-->LSC Project ## In the new LSC project dialog, check the 'choose ...)
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)