User Tools

Site Tools


csci_562_-_formal_specification_methods

CSci 562 - Formal Specification Methods

A foundational course that introduces several formal specification techniques for construction and analysis of software artifacts. Included are rigorous program development, abstract specifications of modules, and modeling of concurrent and distributed software.

Credits Offered Lab Pre-requisites Core Category
3 Spring (Even Years) No CSci 435, CSci 463 -

csci_562_-_formal_specification_methods.txt · Last modified: 2013/07/11 12:51 by jhuber