Institute of Computer Languages
Compilers and Languages Group

Talks 2008 - Kokichi Futatsugi

The Compilers and Languages Group invites you to a talk given by

Prof. Dr. Kokichi Futatsugi

Graduate School of Information Science JAIST (Japan Advanced Institute of Science and Technology) Nomi, Ishikawa, Japan

on

Verifying Specifications with Proof Scores in CafeOBJ

Date: Wednesday, March 12th, 2008
Time: 14:00 (s.t.)
Location: TU Wien, Elektrotechnik, EI 1 Petritsch-Hörsaal, Gußhausstraße 25-29 (Altbau), 2. Stock

Abstract:

Verifying specifications is still one of the most important undeveloped topics in software engineering. It is important because quite a few critical bugs are caused at the level of domains, requirements, and/or designs. It is also important for the cases where no program codes are generated and specifications are analyzed/ verified only for justifying models of problems in real world. In this talk, a survey of our research activities in verifying specifications is given. After explaining fundamental issues and importance of verifying specifications, the proof score approach in CafeOBJ and its applications to several areas are described.

About Prof. Dr. Kokichi Futatsugi:

Kokichi Futatsugi is a professor of Graduate School of Information Science, JAIST (Japan Advanced Institute of Science and Technology), Ishikawa, Japan. His research interest includes formal methods, software requirements and specifications, modeling and specification languages. An important part of his research activities is done around the CafeOBJ formal specification language (www.ldl.jaist.ac.jp/cafeobj). CafeOBJ is an executable formal specification language which has been designed and developed by an international team headed by Prof. Futatsugi. He was a co-chair of the program committee of the 20th International Conference on Software Engineering (ICSE 1998) and an associate editor of ACM TOSEM (Transaction of Software Engineering and Methodology) for 1995-2002. He is a member of the advisory board of Journal of Higher-Order and Symbolic Computation (www.wkap.nl/journals/hosc), and the editorial board of Journal of Object Technology (www.jot.fm) and Journal of Applied Logic (www.elsevier.com/locate/jal).

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)