Media Summary: Runtime Assertion Checking for Contracts - Review of Eiffel Syntax (e.g., across syntax for logical quantification) Course syllabus - Design by Contract in Java. Weakest Precondition calculation for alternations and sequential compositions - Contracts for loops (invariant and variant)
Eecs3311 2018 11 29 - Detailed Analysis & Overview
Runtime Assertion Checking for Contracts - Review of Eiffel Syntax (e.g., across syntax for logical quantification) Course syllabus - Design by Contract in Java. Weakest Precondition calculation for alternations and sequential compositions - Contracts for loops (invariant and variant) weakest precondition - wp rules for assignment, alternation, sequential composition. Iteration Pattern - Singleton Pattern (motivation, once queries) Reference vs. Shallow vs. Deep Copies - Caching Old Values for Postconditions - Testing of Contracts.
Typing checking rules for inheritance/polymorphism - Generics. Administrative Issues, Design by Contract in Java. Singleton Pattern (Java vs. Eiffel) - Inheritance (code reuse, testing of postcondition)
