CSE 520 Fundamentals of Software Modeling
(4 credits)
Description:
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.
Prerequisites: CSE 337, CSE 505, CSE 506 and CSE 507 or equivalent.
Available Syllabus For Download:
CSE 520-Kim-Fall 2010
CSE 520 - Kim - Winter 2013