CSI 5200 - Fundamentals of Software Modeling

(4 credits)

Laboratory oriented course on mathematical modeling of Software Engineering Issues: Program Specifications: Direct and indirect specifications, assertions; mathematical concepts involved: Propositions, Predicate calculus. Abstraction Notations: Sets and set operations, sequences, maps, bags, lamba notation. Algorithm Definition: Functions, operations, polymorphic functions, higher order functions. Stepwise Program Refinement: Programming by contract, correctness maintaining transformations; Static Analysis of Computer Programs: Relations, Flowgraphs, Data and Control Dependencies, Detection of Anomalies. Modeling Software Design: Procedure Call Graph, modules’ export/import relations. Modeling Program Execution: Computation trace, dynamic data and control dependencies. Formerly CSE 520.

Prerequisite(s): (CSI 3370, CSI 5005, CSI 5006, CSI 5007) or equivalent.

Course revisions made after the Graduate Catalog publication date will be posted in the Graduate Catalog Addendum.