COSC 4P42 Formal Methods in Software Engineering

	COSC 4P42 Formal Methods in Software Engineering

Instructor: Michael Winter, Office J323, Office Hours: Tue & Thu 10:00am - noon, email: mwinter@brocku.ca

Course Overview

Assignments

Lectures

Course Outline
Course Procedure

Assignment 1
Assignment 2
Assignment 3
Project (updated, presented on Mon, Nov 08, in class) Project Specifications

Mon, 7:00pm - 10:00pm, Winter 2010
Room: WH305

Lecture Notes

Important Dates

Supplemental Material

Assignment	Due	Late	Class presentation
1	Sep 29 @ 1:00 pm	Oct 01 @ 1:00 pm	Oct 04 @ 7:00 pm
2	Oct 20 @ 1:00 pm	Oct 22 @ 1:00 pm	Oct 25 @ 7:00 pm
3	Nov 03 @ 1:00 pm	Nov 05 @ 1:00 pm	Nov 08 @ 7:00 pm
Project	Nov 30 @ 1:00 pm	no late date	Dec 02 @ 7:00 pm

Final exam (oral, 30min each): Monday & Tuesday, December 06 & 07, 2010, Schedule

The Formal Semantics of Programming Languages: An Introduction, G. Winskel, The MIT Press (1993), ISBN 0-262-23169-7 (hc), 0-262-73103-7 (pb)
The Design of Well-Structured and Correct Programs, S. Alagic & M.A. Arbib, Springer-Verlag (1978), ISBN 0-387-90299-6
Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, H. Ehrig & B. Mahr, Springer-Verlag (1985), ISBN 0-387-13718-1

All Computer Science courses are subject to the rules and regulations of the University (as described in the calendar ), the Faculty of Mathematics & Sciences and the policies of the Department of Computer Science.

COSC Home Page