Mar 28, 2024  
2015-2017 Graduate Catalog 
    
2015-2017 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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.

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



Add to Portfolio (opens a new window)