CSE 520 - 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. Previously CSE 510. Credit cannot be received for both CSE 520 and CSE 510.

Prerequisite(s): Student must meet prerequisites (CSE 337, CSE 505, CSE 506 and CSE 507) or equivalent.