CENG 551

Advanced Software Engineering

This course will begin by explaining the concept of software engineering. Afterwards, the software development process is described. The course will then cover software requirements, software specification, software analysis, and formal analysis. Finally, quality management, product metrics, process metrics, COTS, and software psychology are addressed.

The Problem
Process and Life Cycle Models
Requirements and Specification I
Requirements and Specification II
Design I
Design II
Building Confidence (Testing, Analysis, QA, Reviews)
Metrics and Reliability Assessment
COTS and Reuse
Formal Verification
Team Organization and People Management
Software Engineering Aspects of Programming Languages
Software Safety and Wrapup
Case Studies