Difference between revisions of "User Guide"
From BP Wiki
| Line 1: | Line 1: | ||
'''BPJ User Guide <br>''' Contents: | '''BPJ User Guide <br>''' Contents: | ||
| − | *[[Download | Download, install and configure the BPJ library and examples]] | + | *[[Download | Download, install and configure the BPJ library and the provided examples]] |
*[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPJ%20Introduction.pdf A general introduction to behavioral programming presentation] | *[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPJ%20Introduction.pdf A general introduction to behavioral programming presentation] | ||
*[[The_BPJ_Library | The BPJ library: b-threads, events, b-programs, event sets, etc.]] | *[[The_BPJ_Library | The BPJ library: b-threads, events, b-programs, event sets, etc.]] | ||
Revision as of 12:32, 5 August 2013
BPJ User Guide
Contents:
- Download, install and configure the BPJ library and the provided examples
- A general introduction to behavioral programming presentation
- The BPJ library: b-threads, events, b-programs, event sets, etc.
- Designing and developing your application
- Running your application
- Symbolic and dynamic and b-threads
- Tracing and visualizing behavioral Java programs with TraceVis
- Verifying your application with BPmc
- Using BPJ for hybrid fuzzy control with BFUZ
