Rethinking Software Systems - A Friendly Introduction to Behavioral Programming
Explore a novel programming paradigm in this 41-minute conference talk that introduces Behavioral Programming (BP) and its potential to transform software engineering. Learn about the principles of BP, including its modular and concurrent nature, and how it aligns with business requirements. Discover BPjs, an open-source toolset for running and verifying behavioral programs written in Javascript. Gain insights into formal verification techniques that can prove the reliability of critical system components, even in scripting languages. Follow along as the speaker demonstrates BP concepts through examples, including a "Hello, World!" program and a house model. Understand how BP can be applied to real-world scenarios, such as space applications and satellite controller prototypes. Delve into the verification process, runtime stack, and requirement alignment in BP systems. By the end of this talk, grasp the potential future of software engineering and how to start implementing BP concepts in your projects today. Read more