skip to main content

Department of Computer Science

University of Colorado Boulder

cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu

cs: about | calendar | directory | catalog | schedules | mobile | contact cs

	home \| quick links \| site map \| who's where \| cs a-z

· faculty · staff · students · alumni · phone directory · committees · academic advisors · student groups · advisory board · mail lists · who's where

· calendar · colloquia · mailing list · scheduling · defenses · bactac · department meetings · lecture series · cats · tabbs

· catalog · class schedules · spring 2012 · summer 2012 · fall 2012 · prerequisites · web pages · coordinators · caete online classes · fcqs · ta awards · defunct

· bs degree · requirements · foundation and core · tracks · advising · degree audits · concurrent bs/ms degree · minor · senior project · senior thesis · co-ops and internships · inspirational teachers · forms · faqs · prospective student guide · continuous improvement policy · why computer science?

· ms degree · me degree · phd degree · admissions · forms · financial aid · housing · incoming phd guide · grad student handbook · prospective student guide · why computer science?

· Center for Computational Pharmacology (CCP) · Center for Lifelong Learning and Design (L3D) · Colorado Computer Systems Research (CCSR) · Computational Language and Education Research (CLEAR) · Computational Science and Engineering Research Group · ConnectivITy Lab · Database Research Group · Intelligence in Action Lab · MultimodAl NeTworks of In-situ Sensors (MANTIS) · Neural and Statistical Computation Research Group · Protein Folding by Global Optimization · Robotics and Smart Materials · Scalable Game Design · Software Engineering Research Laboratory (SERL) · TerraSpark Geosciences · Tool-Supported Programming Languages Curriculum · Translator Construction (Eli) · University of Colorado Policy Lab (UCPL) · Wellness Innovation and Interaction Lab (WII)

· site map · a to z · who's where · site outline · hot links · about the site · search

home · courses ·

CSCI 5828. Foundations of Software Engineering

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.

CU Catalog:

Coordinator: Kenneth Anderson

CSCI 5828 (3).	Foundations of Software Engineering
Spring 2012	sec. 001	26185	30	ICAL		09:30am-10:45am	TR	ECCS 1B28	Kenneth Anderson
		Possibly offered through CAETE.
Spring 2013	sec. 001	TBD	30	ICAL		09:30am-10:45am	TR	TBD	Kenneth Anderson

See also:

Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA

Questions/Comments?
Send email to

Engineering Center Office Tower
ECOT 717
+1-303-492-7514
FAX +1-303-492-2844

©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks

February 10, 2012 (00:20)