CS 6600 - Software Engineering I: Formal Specifications of Software Systems

Introduction to various models of software life cycles and formal methods for specifying requirements and design. Students will be introduced to a number of formal systems using axiomatic specification, abstract models (e.g., VDM), set theoretic systems (e.g., Z), predicate logic systems (e.g., Larch), and specification based on programming languages such as Alphard, CLU, and Ada. Also discussed will be formal specification of real-time systems using Petri Nets, PAISLEY, CSP, SF and others. Examples and exercises illustrating the use of several formal systems will be given. Student teams will be expected to complete the specification of requirements and design of a project using one of the methods presented.

Prerequisites/Corequisites: Prerequisites: CS 3310 or CS 4310, and MATH 1450.

Credits: 3 hrs.

Notes: Open to Graduate Students Only.