Latest revision as of 09:40, 29 April 2014

BPJ Documentation and Examples

@@ 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 | 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]]
-*[[BPMC | 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]]