INSE 6250/1 AA - Quality Methodologies for Software
Concordia Institute for Information Systems Engineering (CIISE)
New: The assignment is posted. The due date is June 16 in class.
If you need help on NuSMV, Please contact Faisal AL-Saqqar <firstname.lastname@example.org>. 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.
Office hours: Thursday, 11h00 – 12h00 (Office: EV.7.630)
Tel: 514-848-2424 Ext. 5382
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.
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