CS709 - Formal Methods For Software Engineering
Mcqs
Q & A
Video
Online Test
Foram
Course Category: Computer Science/Information Technology
Course Level: Graduate
Credit Hours: 3
Pre-requisites: CS504, MTH502
Share this page on:
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