Difference between revisions of "PlayGo HowTo"
From WeizmannWiki
| Line 6: | Line 6: | ||
*[[How_to_play_out_with_the_system_model | How to play-out with system model]] | *[[How_to_play_out_with_the_system_model | How to play-out with system model]] | ||
*[[How to change a play-out strategy]] | *[[How to change a play-out strategy]] | ||
| + | *[[How to train a model for statistical play-in | How to train a model for statistical play-in]] | ||
| + | *[[How to parse requirements using a trained statistical model]] | ||
*[[How to implement Universal Binding|How to implement universal binding]] | *[[How to implement Universal Binding|How to implement universal binding]] | ||
*[[How to create an LSC specification using the Java API]] | *[[How to create an LSC specification using the Java API]] | ||
| Line 14: | Line 16: | ||
*[[How to generate a Tracer log|How to generate and view a Trace log]] | *[[How to generate a Tracer log|How to generate and view a Trace log]] | ||
*[[How to generate and view a TraceVis log]] | *[[How to generate and view a TraceVis log]] | ||
| − | *[[ | + | *[[How to define a play-in-able Swing GUI application]] |
*[[How to run an LSC project outside the context of PlayGo]] | *[[How to run an LSC project outside the context of PlayGo]] | ||
*[[How to create S2A-BPJ integrated solution]] | *[[How to create S2A-BPJ integrated solution]] | ||
Revision as of 07:07, 9 November 2014
- How to create a new LSC project
- How to create a system model
- How to play in
- How to play out
- How to debug
- How to play-out with system model
- How to change a play-out strategy
- How to train a model for statistical play-in
- How to parse requirements using a trained statistical model
- How to implement universal binding
- How to create an LSC specification using the Java API
- How to view LSC specification using the LSC editor or 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 work with multiple model files
- How to generate and view a Trace log
- How to generate and view a TraceVis log
- How to define a play-in-able Swing GUI application
- How to run an LSC project outside the context of PlayGo
- How to create S2A-BPJ integrated solution
