CSE 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): Student must meet prerequisites (CSE 3370, CSE 5005, CSE 5006, CSE 5007) or equivalent.

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