CIS 771: Software Specifications, Spring 2026
The course teaches a collection of techniques that lie at the foundation of an approach to software development that can enable the construction of large highly reliable software. That foundation is specification of the precise meaning of the execution behavior of software. The techniques covered span the development process ranging from high-level semantic modeling, to system architecture design, and to coding and debugging.
Instructor:
Robby,
Office: 2181 Engineering Hall,
E-mail: robby at ksu.edu,
Office Hours: by appointment