二木　厚吉 （フタツギ　コウキチ）　特任教授
ソフトウェア検証研究センター

127件中41-60件目

• 41.　モジュラーな代数仕様言語のための項書き換えシステム,，中村正樹 二木厚吉，コンピュータソフトウェア ，Vol. 23，No. 3，pp. 35-50，JULY 2006
• 42.　A complete specification transformation from OTS/CafeOBJ to OTS/Maude，Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi，信学技報 IEICE Technical Report，SS2006，13，pp. 1-6，JUNE 2006
• 43.　Automating Invariant Verification of Behavioral Specifications，Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, and Kokichi Futatsugi ，In Proceedings of The Sixth IEEE International Conference on Quality Software (QSIC2006)，pp. 49-56，Oct. 2006
• 44.　Mechanically Supporting Case Analysis for Verification of Distributed Systems，Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi，Journal of Pervasive Computing and Communications, Troubador，1，2，135-145，2005
• 45.　A behavioral specification of Imperative Programming Languages，Masaki Nakamura, Masahiro Watanabe and Kokichi Futatsugi，The 2005 International Technical Conference On Circuits/System, Computers and Communications (ITC-CSCC 2005)，pp. 403-404，July 2005
• 46.　Chocolat/SMV: A Translator from CafeOBJ into SMV，Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi， Proceedings of the 6th International Conference on Parallel and Distributed Computing Applications and Technologies (6th PDCAT), IEEE Computer Society Press，pp.416-420，Dec 2005
• 47.　項書き換えシステムにおける可簡約演算子とその応用，中村正樹, 緒方和博, 二木厚吉，情報処理学会論文誌：プログラミング，vol. 46，No.SIG 6 (PRO25)，pp.47-59，Sep. 2005
• 48.　有限状態機械に基づくプログラミングでのgoto文使用の是非：Hoare論理の観点から，金藤栄孝，二木厚吉，情報処理学会論文誌，Vol. 45，No. 9，2124--2137，2004年9月
• 49.　項書き換えシステムにおける可簡約演算子とその応用, (英題： Reducible Operation Symbols for the Term Rewriting System and Their Applications)，中村正樹, 緒方和博, 二木厚吉，情報処理学会論文誌，vol. 46，No.SIG 6 (PRO25)，pp.47-59，2005年4月
• 50.　書き換えによるOtway-Rees 認証プロトコルの検証, ソフトウェア工学の基礎XI，清野 貴博　加藤 淳　緒方 和博　二木 厚吉，日本ソフトウェア科学会，FOSE2004，pp. 153-156，2004
• 51.　SMVによるOTS/CafeOBJ仕様のモデル検査, ソフトウェア工学の基礎XI，中野昌弘, 中村正樹, 緒方和博, 二木厚吉，日本ソフトウェア科学会，FOSE2004，pp.129-140，4-Nov
• 52.　構造的代数仕様のための等価述語の提案と実装, ソフトウェア工学の基礎XI，中村正樹, 二木厚吉，日本ソフトウェア科学会，FOSE2004，pp.117-128，4-Nov
• 53.　Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol,Proceedings of the 4th International Conference on Computer andInformation Technology (4th CIT)，Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi，IEEE Computer Society Press，pp.1100-1107，2004. (refereed)
• 54.　Analysis and Perspective，Jing Tian, Yoshiteru Nakamori, Jianwen Xiang, and Kokichi Futatsugi，Proc. of The 17th International Conference on Multiple Criteria Decision Analysis '04，Aug. 2004
• 55.　Formal Fault Tree Construction Model and Specification，Jianwen Xiang, Kokichi Futatsugi and Yanxiang He，Proc. of The 8th IASTED International Conference SOFTWARE ENGINEERING AND APPLICATIONS '04，pp.374-381，Nov. 2004
• 56.　Fault Tree and Formal Methods in System Safety Analysis，Jianwen Xiang, Kokichi Futatsugi and Yanxiang He，Proc. of The 4th International Conference on Computer and Information Technology '04，IEEE Computer Society Press，pp.1108-1115，Sep. 2004
• 57.　Modeling and Verification of Hybrid Systems Based on Equations，Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino and Kokichi Futatsugi，Proceedings of the IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004)，Kluwer，pp.43-52，2004
• 58.　Equational Approach to Formal Verification of SET，Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of the 4th International Conference on Quality Software (4th QSIC)，IEEE Computer Society Press，pp.50-59，2004
• 59.　Formal Analysis of the NetBill Electronic Commerce Protocol，Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of the 2nd International Symposium on Software Security (2nd ISSS)，LNCS 3233，Springer，pp.45-64，2004
• 60.　Supporting Case Analysis with Algebraic Specification Languages，Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of the 4th International Conference on Computer and Information Technology (4th CIT)，IEEE Computer Society Press，pp. 1100-1107，2004

[ ≪ 前へ ]

1  2  3  4  5  6  7

[ 次へ ≫ ]