CPS 3500J Software Engineering I
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 programdesign language techniques and fast prototyping. A study of the implementation phase, involving validation and verification methods is included. Maintenance and enhancement techniques are developed. (Previously NJCU Course CS-350)