Assg3_Specification(作业三)