Nov 10, 2024  
2011-2012 Graduate Catalog 
    
2011-2012 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 771 - Software Specification


Formal logic or specification of software components; algebraic vs. model-based specifications; common abstract types; verification of properties of specifications; introduction to specification of concurrent systems.

Credits: (3)

Requisites:
Pr.: CIS 301.


KSIS Course Search




Add to Portfolio (opens a new window)