LEJ Knowledge Hub

Lecture

Right Arrow

SEARCH COURSES / LECTURES

Left Arrow

Formal Methods for Software Engineering (V-U)

(45 Lectures Available)

S# Lecture Course Institute Instructor Discipline
1
  • A Pure Java Implementation - Design by Contract (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
2
  • Activities, Limitations and Acceptance of Formal Methods, Seven Myths of Formal Methods (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
3
  • Algebraic Specification: Rules and Methods (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
4
  • Constructing Loops, The Dutch National Flag Problem (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
5
  • Defensive Programming, Design by Contract (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
6
  • Design by Contract and its Components (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
7
  • Development of Concurrent System (Petri Nets), Behavioural Properties with Examples (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
8
  • Development of Concurrent System, Conflict, Concurrency and Confusion, Behavioural Properties (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
9
  • Dijkstra's Algorithm, Some useful Equivalances (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
10
  • 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
11
  • Hoare's Logic (Weakest Pre-condition and Loops) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
12
  • Hoare's Logic with Example (Tower of Hanoi) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
13
  • Hoare's Logic, Verification of Functions (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
14
  • How to Specify Concurrent and Real Time System, Introduction to Petri Nets (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
15
  • How to use Specification of Boolean, Pair, List, Quad and Bimap (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
16
  • Implementation of Design by Contract (jContractor) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
17
  • Interface of Algebraic Specification and Larch (Family of Specification) Languages (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
18
  • Introduction to Formal Methods (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
19
  • Introduction to Hoare's Logic (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
20
  • Larch Specification Languages (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
21
  • Logic and Proposition, Logic problem, Golden Rule (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
22
  • 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
23
  • Model Based Specification, VDM (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
24
  • 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
25
  • New List Specification Methods (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences

Basic and Health Sciences

Applied Sciences

Social Sciences