|
|
JAIST Repository >
検索結果
検索結果表示: 1-10 / 20.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 23-Mar-1999 | Argument filtering transformation | Kusakari, Keiichirou; Nakamura, Masaki; Toyama, Yoshihito |
| 1-May-2008 | A Specification Translation from Behavioral Specifications to Rewrite Specifications | NAKAMURA, Masaki; KONG, Weiqiang; OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| 1-Jun-2006 | A Behavioral Specification of Imperative Programming Languages | NAKAMURA, Masaki; WATANABE, Masahiro; FUTATSUGI, Kokichi |
| 15-Apr-2005 | 項書き換えシステムにおける可簡約演算子とその応用 | 中村, 正樹; 緒方, 和博; 二木, 厚吉; NAKAMURA, MASAKI; OGATA, KAZUHIRO; FUTATSUGI, KOKICHI |
| 10-Apr-2010 | 証明スコアによる問題モデルの検証技術 | 二木, 厚吉; FUTATSUGI, KOKICHI |
| 15-Dec-2014 | Sufficient completeness of parameterized specifications in CafeOBJ | Nakamura, Masaki; Gaina, Daniel; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 4-Mar-2008 | Case Studies with a Combined Formal System Verification Technique | Kong, Weiqiang |
| 14-Jun-2011 | 形式的検証とウェブオントロジーの融合による大規模情報システム設計支援 | 高木, 理; Takaki, Osamu |
| 18-May-2016 | 証明スコア法に基づく革新的仕様検証システムの構築 | 二木, 厚吉; Kokichi, Futatsugi |
| 9-Nov-2010 | Specification Translation of State Machines from Equational Theories into Rewrite Theories | Zhang, Min; Ogata, Kazuhiro; Nakamura, Masaki |
1
2
次へ
|
