Software Engineering

A course that introduces the fundamentals of software engineering, with emphasis on the requirements elicitation and specification, and analysis and design phases of the software life cycle. Specifications are given as a set of operations (with pre- and post-conditions), and using a generic data model, and the design as a module dependency diagram where both data and procedural decomposition are emphasized. The course also introduces verification and testing of a design with respect to its specification, and the use of modularity and decomposition to ensure tractability of the verification. Students will apply the concepts learned to develop a software system.