MIT6.005-Software Construction 16

• Vison control 2023/06/27
• Testing 2023/06/27
• Static checking 2023/06/27
• Specifications 2023/06/27
• Recursive data types 2023/06/27
• Recursion 2023/06/27
• Mutability & immutability 2023/06/27
• Interface 2023/06/27
• Exception 2023/06/27
• Equality 2023/06/27
• Designing specifications 2023/06/27
• Debugguing 2023/06/27
• Code review 2023/06/27
• Avoiding debugging 2023/06/27
• Abstract data types(23.10.04) 2023/06/27
• Abstraction functions & rep invariants 2023/06/27