The page uses Browser Access Keys to help with keyboard navigation. Click to learn moreSkip to Navigation

Different browsers use different keystrokes to activate accesskey shortcuts. Please reference the following list to use access keys on your system.

Alt and the accesskey, for Internet Explorer on Windows
Shift and Alt and the accesskey, for Firefox on Windows
Shift and Esc and the accesskey, for Windows or Mac
Ctrl and the accesskey, for the following browsers on a Mac: Internet Explorer 5.2, Safari 1.2, Firefox, Mozilla, Netscape 6+.

We use the following access keys on our gateway

n Skip to Navigation
k Accesskeys description
h Help
    Kansas State University
   
 
  Sep 22, 2017
 
 
    
2017-2018 Undergraduate Catalog
[Add to Portfolio]

CIS 771 - Software Specification

Credits: 3

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.

Requisites
Prerequisite: CIS 301. Students may enroll in CIS courses only if they have earned a grade of C or better for each prerequisite to those courses.

UGE course
No

K-State 8
None


View course scheduling information for Summer 2017, if available.

View course scheduling information for Fall 2017, if available.




[Add to Portfolio]