CSCI 7532 - Advanced Software Engineering (3 Credit Hours)

Lecture Hours: 3 Lab Hours: 0
The focus is the rigorous specification, modeling and prototyping of critical software systems/components. Topics selected from formal specification using Z and VDL, specifications using UML with OCL for real-time systems. Structure, dynamic and constraint modeling, constraint/ performance [rate monotonic] analysis, concurrency, re-configuration and distribution, prototyping, reuse and integration issues, and component implementation using advanced tools with implementation styles such as Generic and Meta-Programming.

Prerequisite(s): A minimum grade of “C” in CSCI 5530.
Restriction(s): NO Undergraduate Level Students