时间：7月5日上午10:00-11:30
地点：综合楼第一会议室
题目：Specification and Verification with CafeOBJ
报告人：二木厚吉
摘要：Recent developments around specification verification with CafeOBJ are surveyed. Importance of specification verification in software/system engineering is stressed, and an approach with CafeOBJ proof score is explained. Several developed proof score styles/methods such as open-close, SpecCal/E-CITP, Gen&Check are introduced and their relationships and future potential are discussed.（具体信息及PPT见：）

报告人简介：Professor Futatsugi is now working at Research Center for Software Verification of JAIST (Japan Advanced Institute of Science and Technology) as a Research Professor. He got a concurrent professorship at JAIST in April 1992 while he was working mainly for ETL (Electrotechnical Laboratory) of Japanese Government as a Chief Senior Researcher. In April 1993, he starts to work mainly for JAIST as a full professor, and was the Dean of Graduate School of Information Science of JAIST from 2001 to 2003. He received the Ph.D. degree from Tohoku University, Sendai, Japan and joined ETL in 1975. He stayed at SRI International, California, USA as an International Fellow for one year from 1983 to 1984.（具体信息见：）