SEARCH COURSES

Formal Methods for Software Engineering (V-U)

(45 Lectures Available)


S# Lecture Course Institute Instructor Discipline
1 Introduction to Formal Methods (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
2 Dijkstra's Algorithm, Some useful Equivalances (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
3 Model Building Tools, Propositional and Predicate Calculus, Logic Problem (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
4 Logic and Set Theory, Logic Problem, Properties of Equivalance (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
5 Logic and Proposition, Logic problem, Golden Rule (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
6 Introduction to Hoare's Logic (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
7 Hoare's Logic (Weakest Pre-condition and Loops) (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
8 Hoare's Logic (Conditional and Control Flow, Invariant Condition) (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
9 Hoare's Logic with Example (Tower of Hanoi) (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
10 Hoare's Logic, Verification of Functions (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
11 Specification of Functions using Pre and Post-Conditions (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
12 Output Variables, Ghost Variables (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
13 Constructing Loops, The Dutch National Flag Problem (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
14 The Dutch National Flag Problem (Cont.) (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
15 Defensive Programming, Design by Contract (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
16 Design by Contract and its Components (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
17 Implementation of Design by Contract (jContractor) (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
18 A Pure Java Implementation - Design by Contract (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
19 Object Constraint Language (OCL) (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
20 Object Constraint Language (OCL) (Cont.) (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
21 The Structure Of an Algebraic Specification (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
22 The Structure Of an Algebraic Specification (Cont.) (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
23 Algebraic Specification: Rules and Methods (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
24 New List Specification Methods (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
25 Structure of the File System Specification (V-U) Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences

of 2 45 Lectures Available.