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