Kokichi Futatsugi

Kokichi Futatsugi

Japan Advanced Institute of Science & Technology - Matsue / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 349236
島根大学
person_outline Kokichi Futatsugi's MOST POPULAR ARTICLES
1-) Introducing objJA Goguen, T Winkler, J Meseguer, K Futatsugi, JP JouannaudSoftware Engineering with OBJ, 3-167, 200010662000
2-) Principles of OBJ2K Futatsugi, JA Goguen, JP Jouannaud, J MeseguerProceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 19857861985
3-) CafeOBJ report: The language, proof techniques, and methodologies for object-oriented algebraic specificationR Diaconescu, K FutatsugiWorld Scientific, 19984771998
4-) Proof scores in the OTS/CafeOBJ methodK Ogata, K FutatsugiFormal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 20031622003
5-) Logical foundations of CafeOBJR Diaconescu, K FutatsugiTheoretical computer science 285 (2), 289-318, 20021502002