Software Engineering Chapter 10 Formal Specification Ku-Yaw Chang [email protected] Assistant Professor Department of Computer Science and Information.