Behavioral Programming (BP) is a novel programming paradigm. BP has many interesting traits for software engineering: it is modular, asynchronous, concurrent, and (eventually) intuitive. Unlike objects or functions, BP threads align well with business requirements. Most importantly, systems written in BP are verifiable - it is possible to formally prove they contain no bugs. Even a programs written in "scripting" languages can be proven reliable and be used in mission critical systems. In fact, we are currently building a satellite controller prototype using this paradigm. In JavaScript.

Participants will learn about one possible future of Software Engineering, and how they can start exploring it today, using BPjs - an open-source BP tool suite for JavaScript b-programs.