Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
Explores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.
Covers software engineering essentials, emphasizing requirements, modularity, and abstraction, with practical insights and examples.
Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.
Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
