From Tests to ProofExplores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.
From Tests to ProofExplores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
Software Engineering EssentialsCovers software engineering essentials, emphasizing requirements, modularity, and abstraction, with practical insights and examples.
Introduction to Design ReviewsCovers the objective, steps, and stakeholders in design reviews, emphasizing the importance of risk analysis and verification.