Software Engineering I

Catalog description

This course embodies the general scientific principles commonly known as software engineering. It discusses the software life-cycle, using a large software system as model. Topics covered include requirements-specification analysis, requirements-type languages and specification checking using mathematical techniques. The design phase is analyzed by considering program design language techniques and fast prototyping. A study of the implementation phase, involving validation and verification methods is included. Maintenance and enhancement techniques are developed.