Home Advanced Search

Advanced Search - Page 1

CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
  • DJVU
  • English
  • Year: 1998
  • Author: RaМ†zvan Diaconescu; Kokichi Futatsugi
Object Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11–15, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: David A. Thomas (auth.), Kokichi Futatsugi, Satoshi Matsuoka (eds.)
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)
Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Kokichi Futatsugi (auth.), Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.)
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2006
  • Author: David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2006
  • Author: David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2006
  • Author: David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)
Software engineering with OBJ: algebraic specification in action
  • DJVU
  • English
  • Year: 2000
  • Author: Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)
Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov (auth.), Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)
search