INSE 6280/2/WW - Quality Assurance for Systems Engineering

Fall 2008

 

 Home

 

 Syllabus

 

 Useful Links

 

 Lectures

 

 Assignments

 

 Verification book

 

 

 

Systems Engineering Design: http://syseng.omg.org/

 

American Society for Quality: http://www.asq.org

 

Model Checking: http://www.cs.cmu.edu/~modelcheck//

 

Multi-Agent Systems: http://www.multiagent.com/fmas

 

Systems Simulation: http://www.isima.fr/ecosim/simul/simul.html

 

Defense Modeling and Simulation Office (DoD): https://www.dmso.mil/public/

 

Model-based Specification

 

Multi-Agent Systems book

 

An Introduction to Z

 

The Z Book

 

The Systems Engineering Book