COMPUTER SYSTEMS RESEARCH
Software Engineering Introduction
Agile
software development
Scrum
Extreme programming.org
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