Tentative Schedule
(Subject to change)





March 30
 Intoductory lectures
 Slides, 1, 2



 The User Case method for requirements.
(Sept 29)
 slides

Mar 31 (D)
Android basics




Apr 1
Patterns



Apr 3
Patterns



Apr  6
Patterns



Apr 7 (D)
Servlet Basics


Apr 8
Patterns Patterns slides ,

Apr  10
Patterns
Source code: pattern version templates: without inheritance , and with

Apr 13
 Patterns



Apr 14 (D)
Eclipse Basics



Apr 15
Software process
CMM Slides, Open Source Outline; XP Slides Slides  Paper on Process 

Apr 17
Open Source, XP



Apr 20th
Open Source, XP, Requirements Engineering
(Switched with
Discussion, Prem is
away)
Prem's Slides on Process
(Combined)

Read this classsic manifesto of the open source development
movement by Eric Raymond, one of its leading Gurus.

Apr 21 (D)
More Android
Requirements slides A7E
Paper on requirements.

Apr 22
GUI Design Principles GUI Slides

Apr 24
GUI design, Software design basics Outline of Software Design
introductory lecture,
Haskell examples covered in class. More on Haskell
Introduction, and the IBM Guidelines


Apr 28 (D)
More Android



Apr 27
Basic/Architectural Design Lecture slides: 1 , 2 , 3 , Also EJB slides.

Apr 29
Architectural Styles



May 1
Architectural Styles



May 4
MIDTERM!!



May 5  (D)
TBD



May 6
Basics of J2ee/corba



May 8
Petri Nets
Slides

May  11
Petri Nets (Contd)
Prem is away, Switched
with Discusion section)



May 12 (D)
Veterans Day Holiday




May 13
Petri Nets / Verification basics

 Experiment with these animated petri-net examples and make sure you understand how they work.

May 15
Verification - Inspection
Slides

May 18
TBD



May 19 (D)




May 20

Slides

May 22
Testing
    testing slides

Final Project Due noon June 3. NO EXTENSIONS. 
May 25
Memorial Day Holiday



May 26
Testing/Ethics
Ethics
Required reading on ACM Web site Project Demos and Testing this week.
May 28, Jun 1, Jun 3, Jun 5
Z and Asserts
Notes on Z
 Notes on Asserts

Jun 2
Discussion TBD








June 8, 10
TBD