A study of the software life cycle with emphasis on system analysis and design. Methodologies based on data flows and on objects will be surveyed. A component on professional ethics is included. 5392 Formal Methods in Software Engineering. The use of design and specification languages in producing software systems.
Emphasis is placed on proving correctness of designs and implementations.
5393 Software Quality. The latter half of the software life cycle is discussed. Topics include testing, performance evaluation, and software metrics. Appropriate software tools are studied and used. 5394 Software Engineering Practicum.