Formal Methods for Software Engineering (V-U)

• Introduction to Formal Methods (V-U)
• Dijkstra's Algorithm, Some useful Equivalances (V-U)
• Model Building Tools, Propositional and Predicate Calculus, Logic Problem (V-U)
• Logic and Set Theory, Logic Problem, Properties of Equivalance (V-U)
• Introduction to Hoare's Logic (V-U)
• Hoare's Logic (Weakest Pre-condition and Loops) (V-U)
• Hoare's Logic (Conditional and Control Flow, Invariant Condition) (V-U)
• Hoare's Logic with Example (Tower of Hanoi) (V-U)
• Hoare's Logic, Verification of Functions (V-U)
• Specification of Functions using Pre and Post-Conditions (V-U)
• Output Variables, Ghost Variables (V-U)
• Constructing Loops, The Dutch National Flag Problem (V-U)
• The Dutch National Flag Problem (Cont.) (V-U)
• Defensive Programming, Design by Contract (V-U)
• Design by Contract and its Components (V-U)
• Implementation of Design by Contract (jContractor) (V-U)
• A Pure Java Implementation - Design by Contract (V-U)
• Object Constraint Language (OCL) (V-U)
• Object Constraint Language (OCL) (Cont.) (V-U)
• The Structure Of an Algebraic Specification (V-U)
• The Structure Of an Algebraic Specification (Cont.) (V-U)
• Algebraic Specification: Rules and Methods (V-U)
• New List Specification Methods (V-U)
• Structure of the File System Specification (V-U)
• Structure of the File System Specification (Cont.) (V-U)