CS 517 - Software Specification and Design

4 Credits

Delivery/Location: Online

Prerequisite

CS 414 (Object-Oriented Design).

Description

This course will focus on advanced software modeling and specification techniques. Topics include advanced modeling with the UML, formal specification techniques (using Z or B), software architectures, design patterns, software refactoring and the application of modeling techniques to component-based software development. Basic knowledge of the UML is assumed.

Software & Hardware Requirements: Access to a UML modeling tool (e.g., Rational Rose, Together, Microsoft Visio, Poseidon).

This course can be applied towards the:

Instructors

Robert France
(970) 491-6356
france@cs.colostate.edu

Learn more at: http://www.cs.colostate.edu/~france