Chapter 3 Object Specification Languages Prof. Hyoung-Joo Kim ([email protected]) OOPSLA Lab. Dept. of Computer Engineering Seoul National Univ. Contents 3.1 Introduction…