12 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 28-Aug-1996 | Logical semantics for CafeOBJ | Diaconescu, Razvan; Futatsugi, Kokichi |
| 13-Aug-1997 | The equivalence of the reductions with the E-strategy with and without marks | Nagaya, Takashi; Matsumoto, Michihiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 20-Feb-1998 | Concurrent object composition in CafeOBJ | Iida, Shusaku; Matsumoto, Michihiro; Diaconescu, Razvan; Futatsugi, Kokichi; Lucanu, Dorel |
| 6-May-1999 | Component-based algebraic specification and verification in cafeOBJ | Diaconescu, Razvan; Futatsugi, Kokichi; Iida, Shusaku |
| 22-Jun-2000 | The tool that support highly reliable component-based software development | Matsumoto, Michihiro; Futatsugi, Kokichi |
| 31-Jul-2001 | A scenario-based object-oriented modeling method with algebraic specification techniques | Nakajima, Shin; Futatsugi, Kokichi |
| 20-Aug-2002 | Formal analysis of the iKP electronic payment protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 23-Mar-2007 | Algebraic approaches to formal analysis of the mondex electronic purse system | Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 29-May-2009 | Constructor-based Institutions | Gaina, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro |
| 27-Nov-2013 | Generate & Check Methods for Invariant Verification in CafeOBJ | Futatsugi, Kokichi |
| 15-Dec-2014 | Sufficient completeness of parameterized specifications in CafeOBJ | Nakamura, Masaki; Gaina, Daniel; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 18-Feb-2015 | Generic Proof Scores for Generate & Check Method in CafeOBJ | Futatsugi, Kokichi |
