Concordia University - Montreal, Quebec, Canada

INSE 6250/1 AA - Quality Methodologies for Software

(Summer 2015)

Concordia Institute for Information Systems Engineering (CIISE)

Concordia University

 

 Home

 

 Syllabus

 

 Useful Links

 

 Lectures

 

 Assignments

 

 

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

If you need help on NuSMV, Please contact Faisal AL-Saqqar <faisalalsaqqar1@gmail.com>. 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

E-mail: bentahar@ciise.concordia.ca    

Tel: 514-848-2424 Ext. 5382

Course Web:              http://www.ciise.concordia.ca/~bentahar/inse6250.html

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.

 Textbooks:        

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