From Tests to ProofExplores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
Python Scripting BasicsCovers Python scripting basics, variable types, arithmetic operations, and running scripts in the terminal.
From Tests to ProofExplores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.
Error Handling and ExceptionsCovers error management, exceptions, and debugging techniques in C++, emphasizing the importance of making code more robust and easier to debug.
DebuggingCovers testing, TDD, coverage, debugging, naming conventions, comments, and solutions for coding issues.
Generics and SubtypingCovers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.