CS4710: Tentative Lecture Schedule for spring 2012

Note: Please read each subject prior to its lecture!

	Date	Class Topic	Reading requirements	Homework handed-out	Homework Due/Exam
Week 1	01/10	Intro to Modeling	Lecture
	01/12	OMG Model-Driven Architecture	Lecture	Reading Assignment (RA) 1
Week 2	01/17	Recap on Propositional Logic	Lecture
	01/19	Recap on Predicate Logic	Lecture
Week 3	01/24	Recap on Predicate Logic	Lecture
	01/26	Recap on Predicate Logic	Lecture	Individual Assignment (IA)  1	RA 1 is due
Week 4	01/31	Intro. to Alloy	Chapters 1, 2
	02/02	Intro. to Alloy	Chapters 1, 2	Group Assignment (GA) 1	IA 1
Week 5	02/07	Alloy Logic/Language	Chapter 3
	02/09	Alloy Logic/Language	Chapters 4, 5
Week 6	02/14	Alloy Logic/Language	Chapters 4, 5
	02/16	Alloy Logic/Language	Chapters 4, 5
Week 7	02/21	Alloy Logic/Language	Chapters 4, 5	RA 2	GA 1
	02/23	Student Presentation
Week 8	02/28	Student Presentation
	03/01	Student Presentation
Week 9	03/06	Spring Break
	03/08	Spring Break
Week 10	03/13	Intro. to Temporal Logic		RA 3,	RA 2
	03/15	Intro. to Temporal Logic		IA 2
Week 11	03/20	Promela
	03/22	Promela			IA 2
Week 12	03/27	Sequential Models
	03/29	Sequential Models & Simulation using SPIN		GA 2
Week 13	04/03	Verification of Safety Requirements			RA 3
	04/05	Concurrency & Model Checking
Week 14	04/10	Concurrency & Model Checking
	04/12	Student Presentation			GA 2
week 15	04/17	Student Presentation
	04/19	Student Presentation