Concordia University - Montreal, Quebec, Canada

INSE 6250/1 AA - Quality Methodologies for Software

(Summer 2015)

Concordia Institute for Information Systems Engineering (CIISE)

Concordia University






 Useful Links







New: The assignment is posted. The due date is June 16 in class.

If you need help on NuSMV, Please contact Faisal AL-Saqqar <>. He is available this Friday from 10:30-13:00. He is also available on every Wednesday from 10:00-13:00. Local: EV. 4. 180.

Additional office hours: Monday from 10h00 to 1045.

Exam Samples

    2007    -    2008(1)    -    2008(2)    -    2009(1)    -    2009(2)

Time:                          Tuesday and Thursday, 14h45 17h15

Classroom:                 H-420            

Office hours:              Thursday, 11h00 12h00 (Office: EV.7.630)

Instructor:               Dr. J. Bentahar


Tel: 514-848-2424 Ext. 5382

Course Web:    

You can use this web site to get lecture notes, useful links, assignments, and other useful information. It is highly advised to visit the web site regularly.


1) Quality Software Project Management
Robert T. Futrell, Donald F. Shafer, Linda I. Shafer
Prentice Hall, 2002

ISBN: 0-13-091297-2


This book covers several issues related to software quality. Some important chapters are: process overview, selecting software developments life cycles, developing the software requirements specification, introduction to software engineering, software metrics, and validation and verification.



2) Principles of Model Checking (A preliminary version of this book is Available here)

C. Baier and J-P. Katoen

MIT Press, 2008

Formal Methods and Tools Group, University of Twente