CS709 - Formal Methods For Software Engineering
Mcqs
Q & A
Video
Online Test
Foram

CS709 - Video Lectures

CS709 - Formal Methods for Software Engineering - Lecture 01 CS709 - Formal Methods for Software Engineering - Lecture 02 CS709 - Formal Methods for Software Engineering - Lecture 03 CS709 - Formal Methods for Software Engineering - Lecture 04 CS709 - Formal Methods for Software Engineering - Lecture 05 CS709 - Formal Methods for Software Engineering - Lecture 06 CS709 - Formal Methods for Software Engineering - Lecture 07 CS709 - Formal Methods for Software Engineering - Lecture 08 CS709 - Formal Methods for Software Engineering - Lecture 09 CS709 - Formal Methods for Software Engineering - Lecture 10 CS709 - Formal Methods for Software Engineering - Lecture 11 CS709 - Formal Methods for Software Engineering - Lecture 12 CS709 - Formal Methods for Software Engineering - Lecture 13 CS709 - Formal Methods for Software Engineering - Lecture 14 CS709 - Formal Methods for Software Engineering - Lecture 15 CS709 - Formal Methods for Software Engineering - Lecture 16 CS709 - Formal Methods for Software Engineering - Lecture 17 CS709 - Formal Methods for Software Engineering - Lecture 18 CS709 - Formal Methods for Software Engineering - Lecture 19 CS709 - Formal Methods for Software Engineering - Lecture 20 CS709 - Formal Methods for Software Engineering - Lecture 21 CS709 - Formal Methods for Software Engineering - Lecture 22 CS709 - Formal Methods for Software Engineering - Lecture 23 CS709 - Formal Methods for Software Engineering - Lecture 24 CS709 - Formal Methods for Software Engineering - Lecture 25 CS709 - Formal Methods for Software Engineering - Lecture 26 CS709 - Formal Methods for Software Engineering - Lecture 27 CS709 - Formal Methods for Software Engineering - Lecture 28 CS709 - Formal Methods for Software Engineering - Lecture 29 CS709 - Formal Methods for Software Engineering - Lecture 30 CS709 - Formal Methods for Software Engineering - Lecture 31 CS709 - Formal Methods for Software Engineering - Lecture 32 CS709 - Formal Methods for Software Engineering - Lecture 33 CS709 - Formal Methods for Software Engineering - Lecture 34 CS709 - Formal Methods for Software Engineering - Lecture 35 CS709 - Formal Methods for Software Engineering - Lecture 36 CS709 - Formal Methods for Software Engineering - Lecture 37 CS709 - Formal Methods for Software Engineering - Lecture 38 CS709 - Formal Methods for Software Engineering - Lecture 39 CS709 - Formal Methods for Software Engineering - Lecture 40 CS709 - Formal Methods for Software Engineering - Lecture 41 CS709 - Formal Methods for Software Engineering - Lecture 42 CS709 - Formal Methods for Software Engineering - Lecture 43 CS709 - Formal Methods for Software Engineering - Lecture 44 CS709 - Formal Methods for Software Engineering - Lecture 45
Course Instructor

Dr. Fakhar Lodhi D.Sc.
Computer Science George Washington University, USA
Books

Program Construction: Calculating Implementation from Specifications by Roland Backhouse

Design by contract, by example by Richard Mitchell and Jim McKim

The Object Constraint Language, precise modeling with UML by Jos Warmer and Anneke Kleppe

Software Engineering by Sommerville

The Specification of Complex Systems by B. Cohen, W. T. Harwood and M. I. Jackson

Using Z: Specification, Refinement, and Proof by Jim Woodcock and Jim Davies

Program Construction and Verification by Roland C. Backhouse

Object-Oriented Software Construction by Bertrand Meyer