PURPOSE
This course aims to provide a broad survey of the discipline of software engineering. By the end of the course the student should be able to identify and explain problems and methods of software management, issues and methods of software validation, object-oriented and function-oriented approaches to software design, issues and methods of software specification, and tools of the software engineering process.
INTENDED AUDIENCE
This course is designed for seniors, graduate students, and professionals who wish to become aquainted with the basic concepts of the discipline. CS 361 (data structures) is a required prerequisite.
TEXTBOOK/READINGS
Ian Sommerville, Software Engineering, fourth edition, Addison-Wesley, 1992. Other reading may be assigned.
TOPICS:
A. Introduction:
Software Requirements Definition
Software Design.
Verification and Validation.
Software Management.
B. Software Management
Project Planning and Scheduling.
Software Cost Estimation.
Software Quality Assurance.
C. Verification and Validation.
Software Reliability.
Software Safety.
Defect Testing.
Static Verification.
D. Programming for Reliability and Reuse
E. Software Design
Object Oriented Design.
Function Oriented Design.
F. Software Specification
System Modelling.
Requirements Specification.
Software Prototyping.
Formal Specification.
Algebraic Specification.
Model-Based Specification.
G. Software Engineering Tools
Computer-Aided Software Engineering.
Software Development Environments.
Testing and Debugging Tools.
Static Verification Tools.