CS709 - Formal Methods For Software Engineering
Q & A
Online Test
Short Question & Answers
Course Instructor

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

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