Difference between revisions of "PlayGo HowTo"
From WeizmannWiki
| Line 1: | Line 1: | ||
| − | *[[Getting_Started_with_PlayGo# | + | *[[Getting_Started_with_PlayGo#Create_your_first_LSC_project|How to create a new LSC project]] |
*[[How to view a specification: in the LSC editor and in the UML editor]] | *[[How to view a specification: in the LSC editor and in the UML editor]] | ||
*[[How to see the locations in the LSC Editor]] | *[[How to see the locations in the LSC Editor]] | ||
Revision as of 07:27, 2 December 2012
- How to create a new LSC project
- How to view a specification: in the LSC editor and in the UML editor
- How to see the locations in the LSC Editor
- How to change the way elements are shown in the LSC editor
- How to play in
- How to play out
- How to debug
- How to play out with the system model
- How to change a play-out strategy
- How to work with multiple model files
- How to generate a Tracer log
- How to create an LSC specification using the Java API
- How to define a play-in-able Swing GUI application
- How to run an LSC project outside the context of PlayGo
