Tagged with kiniry
Lectures
HSE #12: Code Standards and Metrics
Hardcore Software Engineering Joseph Kiniry talks about Static Analysis: "Code Standards and...
Lectures
HSE #11: Applying BON to Java and JML
Joseph Kiniry talks about Applying BON to Java and JML
Lectures
HSE #9: Introduction to JML
Joseph Kiniry talks about the introduction to JML
Lectures
HSE #17: Testing with Specifications
Hardcore Software Engineering Joseph Kiniry talks about System Validation: "Testing with...
Lectures
HSE #16: Unit Testing and Testing in Practice
Hardcore Software Engineering Joseph Kiniry talks about System Validation: "Unit Testing and...
Lectures
HSE #18: Kinds of Verification
Hardcore Software Engineering Joseph Kiniry talks about Verification: "Kinds of Verification"
Lectures
HSE #19: Details of a Verification Tool
Hardcore Software Engineering Joseph Kiniry talks about Verification: "Details of a Verification...
Lectures
HSE #20: Model Checking
Hardcore Software Engineering Joseph Kiniry talks about Verification: "Model Checking"
Lectures
HSE #21: Using Verification Effectively
Hardcore Software Engineering Joseph Kiniry talks about Verification: "Using Verification...