CSE 8243 Software Specification

Credits:(3)
Prerequisites: (CSE 4214/6214)

Three hours lecture. Writing software specifications, transforming specifications into code, and verifying transformations using formal methods.