Mar 28, 2024  
2009-2010 Graduate Catalog 
    
2009-2010 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)