Software Engineering EssentialsCovers software engineering essentials, emphasizing requirements, modularity, and abstraction, with practical insights and examples.
DebuggingCovers testing, TDD, coverage, debugging, naming conventions, comments, and solutions for coding issues.
From Tests to ProofExplores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.