home · mobile · catalog · 

CSCI 5828 (3). Foundations of Software Engineering

Explores techniques, languages, and tools for development and maintenance of software systems. Topics include specification languages, configuration modeling, testing techniques, process modeling, program annotations, and program proofs.

Offered:

CU Catalog:

Coordinator: Kenneth Anderson

Department of Computer Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
webmaster@cs.colorado.edu
www.cs.colorado.edu
May 5, 2012 (14:25)
XHTML 1.0/CSS2
©2012