Dr. Fakhar Lodhi

Name Dr. Fakhar Lodhi
Degree D.Sc. Computer Science
University George Washington University, USA.
Subject(s) CS709 CS605 CS508 CS504
Handouts CS709 CS605 CS508 CS504
 Videos CS709 CS605 CS508 CS504
Profile(s) VU LinkedIn ResearchGate Facebook
Related Books:
Design by contract by example by Richard Mitchell and Jim McKim Object-Oriented Software Construction
 by Bertrand Meyer
Program Construction and Verification
by Roland C. Backhouse
Program Construction: Calculating Implementation
by Roland Backhouse
Software Engineering
by Ian Sommerville
The Object Constraint Language, precise modeling with UML by Jos Warmer and Anneke Kleppe The Specification of Complex Systems
by B. Cohen, W. T. Harwood and M. I. Jackson
Using Z: Specification, Refinement, and Proof
by Jim Woodcock & Jim Davies

The Unified Modeling
Language User Guide
by Grady Booch
 Software Engineering: A Practitioner’s Approach
 by Roger S. Pressman
 Concepts of Programming Languages by Robert W. Sebesta