CIS 771: Software Specifications, Fall 2024
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.
Schedule: T U, 9:30-10:45am, 2207 Engineering Hall
Instructor:
Robby,
Office: 2181 Engineering Hall,
E-mail: robby at ksu.edu,
Office Hours: U 11am-12pm