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.
	600.436 High- Assurance Systems
				Fall 01/Introduction			3