Difference between revisions of "User Guide"

From BP Wiki
Jump to: navigation, search
m (Protected "User Guide" [edit=autoconfirmed:move=autoconfirmed:read=autoconfirmed])
(33 intermediate revisions by 3 users not shown)
Line 1: Line 1:
'''BPJ User Guide &nbsp;<br>''' Contents:&nbsp;&nbsp;
= BPJ Documentation and Examples =
*[[Download | Downloading, Installation and configuration ]]
*[[Download|Downloading, installing and configuring the BPJ library, related tools and examples]]
*The BPJ library
*[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPintroduction.pdf A slide presentation: a general introduction to behavioral programming]
*Designing and developing your application
*[[The BPJ Library|The BPJ library: about b-threads, events, b-programs, etc.]]
*Running your application
*[[Dynamic b-threads|Symbolic and dynamic and b-threads]]
*Debugging with TraceVis
*[[TraceVis|Tracing and visualizing behavioral Java programs with TraceVis]]
*Verifying your application with BPmc
*[[BPJ Model Checking|Verifying your application with the BPJ model checking]]
*Using BPJ for hybrid fuzzy control with BFUZ
*[[BPJ Programming Examples | BPJ Programming Examples]]
*See introduction to behavioral programming in the BP Overview presentation<br>
[[Main Page|Prev]]<span style="line-height: 1.5em;"> </span>[[UserGuidePage1|Next]]
= Advanced Topics =
*[http://www.wisdom.weizmann.ac.il/~amarron/FuzzIeee12.pdf Using BPJ for hybrid fuzzy control with BFUZ].
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]]
*[[Learning | Adaptive Behavioral Programming]]

Latest revision as of 11:40, 29 April 2014

BPJ Documentation and Examples

Advanced Topics