Lectures related to Behavior-driven development

Covers software engineering essentials, emphasizing requirements, modularity, and abstraction, with practical insights and examples.

Covers the design, implementation, and formal verification of distributed systems, focusing on verifiable distributed systems and organizations.

Covers testing, TDD, coverage, debugging, naming conventions, comments, and solutions for coding issues.

Covers the implementation of a smart contract for a simple coin and discusses financial blockchain applications.