|
INSE 6280/2/WW - Quality Assurance for Systems Engineering Fall 2008 |
|
|
|
Final exam samples are posted under Assignments link
The final exam will cover lectures 4 to 7
Assignment Solution and 2 exam samples are posted under Assignments link
Tutorial next Saturday, October 11th, 2008. Local: H-427, from 10:00h
The assignment is posted
A tutorial about propositional and temporal logics will be organized most likely on Saturday 11th October. More information about time and location will be posted later...
Time: Thursday, 17h45 – 20h15 Classroom: CL-225 Office hours: Wednesday, 10h00 – 12h00 or by appointment (Office: EV7.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/inse6280.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) Systems Engineering and Analysis, (4th Edition), 2006 Benjamin S. Blanchard, Wolter J. Fabrycky Prentice Hall ISBN: 0-13-186977-9 This book covers several parts about the engineering of systems. The parts which will be covered by the course are: Part1 (Introduction to systems) and part 4 (Design for operational feasibility).
2)
Assurance Technologies Principles and Practices: A Product, Process,
and System Safety Perspective, (2nd Edition), 2006 ISBN: 0-471-74491-3 This book covers the main principals of assurance technologies including quality, system safety, reliability, maintainability, human engineering, logistics, software integrity, and system integration.
3) Principles of Model Checking J-P. Katoen Formal Methods and Tools Group, University of Twente |