COMPUTER SYSTEMS RESEARCH
Software Engineering Introduction
Fall/Spring 2006 - 2007
Formal methods
Formal methods
for development (wikipedia)
Formal methods
(CMU)
Review of formal methods
Object oriented design
UML (Unified Modeling Language)
UML tutorial
(Kinnesaw State U.)
UML diagrams
DIA
tool for UML diagrams, see
tutorial
Extreme programming.org