600.436
High-Assurance Systems
Fall 01/Introduction
3
Grading Policy
¨Class participation
(15%)
–Reading should be done
before the relevant class session.
¨Homework: (50%)
–Producing certain
documentation artifacts required by CC/CEM
–Analyzing the current documentation and features provided by the EROS system (code reading)
–Performing certain parts of the evaluation process using these documents and artifacts.
–Except as noted in assignments, homework is to be done individually.
¨Final exam
(35%)
–May replace this with
a manageable final project.