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