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
26
  • OBJ (Family of Specification) (Cont.) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
27
  • OBJ (Family of Specification) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
28
  • Object Constraint Language (OCL) (Cont.) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
29
  • Object Constraint Language (OCL) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
30
  • Operating System Scheduler, Operations: Delete Start, Middle and End (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
31
  • Output Variables, Ghost Variables (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
32
  • Specification of Functions using Pre and Post-Conditions (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
33
  • Structure of the File System Specification (Cont.) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
34
  • Structure of the File System Specification (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
35
  • The Dutch National Flag Problem (Cont.) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
36
  • The Structure Of an Algebraic Specification (Cont.) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
37
  • The Structure Of an Algebraic Specification (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
38
  • Tools for Algebraic Specification (Sub-System Interfaces) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
39
  • Using Z-Specification, Application of Operating System Components (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
40
  • Z-Specification (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
41
  • Z-Specification, Refinement and Totalization (Cont.) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
42
  • Z-Specification, Refinement and Totalization (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
43
  • Z-Specification, Structure and Schema (A Birthday Book) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
44
  • Z-Specification, Structure and Schema (A Birthday Book). (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences
45
  • Z-Specification, Structure and Schema(A Birthday Book) (V-U)
Formal Methods for Software Engineering (V-U) Virtual University Dr. Fakhar Lodhi Applied Sciences

Basic and Health Sciences

Applied Sciences

Social Sciences