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

127件中21-40件目

• 21.　CafeOBJ 入門(2) - 構文と意味，中村正樹，二木厚吉，緒方和博，コンピュータソフトウェア(日本ソフトウェア科学会論文誌)，25，2，14-27，2008
• 22.　CafeOBJ入門（３）−等式推論と項書換システム，中村正樹，二木厚吉，緒方和博，コンピュータソフトウェア，日本ソフトウェア科学会，25，3，69-80，2008
• 23.　CafeOBJ入門(4) - 証明譜による検証法，二木厚吉，緒方和博，中村正樹，コンピュータソフトウェア(日本ソフトウェア科学会論文誌)，25，4，68-84，2008
• 24.　フォーマルメソッドの新展開 --検証進化可能電子社会の中核技術--，二木厚吉，情報処理，Vol.49, No.5, pp.521-529, 情報処理学会，2008.
• 25.　Formal digital license language with OTS/CafeOBJ method，Jianwen Xiang, Dines Bjorner, Kokichi Futatsugi，Proc. of 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, pp.652-660, 2008.
• 26.　Checking assignments of controls to risks for internal Control，Yasuhito Arimoto, Michiharu Kudo, Yuji Watanabe, Kokichi Futatsugi，Proc. of 2nd International Conference on Theory and Practiceof Electronic Governance, ICEGOV 2008, pp.98-104, ACM, 2008.
• 27.　A Specification Translation from Behavioral Specifications to Rewrite Specifications，Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi，IEICE TRANSACTIONS on Information and Systems，E91-D，5，1492-1503，2008
• 28.　Proof Score Approach to Verification of Liveness Properties，Kazuhiro Ogata, Kokichi Futatsugi，IEICE TRANSACTIONS on Information and Systems，E91-D，12，2804-2817，2008
• 29.　Maude：書換え論理に基 づく計算機言語および処理系，緒方和博，中村正樹，二木厚吉，コンピュータソフトウェア(日本ソフトウェア科学会論文誌)，25，2，78-84，2008
• 30.　Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes，Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of the 10th International Conference on Formal Engineering Methods (10th ICFEM), LNCS 5256, Springer，187-206，2008
• 31.　Trace Anonymity in the OTS/CafeOBJ Method，Weiqiang Kong, Kazuhiro Ogata, Jian Chen, and Kokichi Futatsugi，Proceedings of the 8th International Conference on Computer and Information Technology (8th CIT), IEEE Computer Society Press，754-759，2008
• 32.　Verifying Design with Proof Scores，Kokichi Futatsugi, Joseph A. Goguen and Kazuhiro Ogata，Proceedings of the 1st International Conference on Verified Software: Theories, Tools, Experiments (1st VSTTE), LNCS 4171, Springer，277-290，2008
• 33.　Simulation-based verification for invariant properties in the OTS/CafeOBJ method，Kazuhiro Ogata and Kokichi Futatsugi，Proceedings of the 4th International Refinement Workshop (Refine 2007), ENTCS 201, Elsevier，127-154，2008
• 34.　Creme: An Automatic Invariant Prover of Behavioral Specifications，Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi，International Journal of Software Engineering and Knowledge Engineering, World Scientific，17，6，783-804，2007
• 35.　State Machines as Inductive Types，Kazuhiro Ogata and Kokichi Futatsugi，IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science，E90-A，12，2985-2988，2007
• 36.　Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm，Kazuhiro Ogata and Kokichi Futatsugi，IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science，E90-A，8，1690-1703，2007
• 37.　Modeling and verification of real-time systems based on equations，Kazuhiro Ogata and Kokichi Futatsugi，Science of Computer Programming, Elsevier，66，2，162-180，2007
• 38.　実行可能な代数仕様の停止性証明について，中村正樹 二木厚吉，情報科学技術レターズ，6，6，27, 4，2007/09/05
• 39.　On equality predicates in algebraic specification languages，M. Nakamura and K. Futatsugi ，Proc. of 4th International Colloquium on Theoretical Aspects of Computing, Lecture Note of Computer Science，4711，4711，381, 15，2007/09
• 40.　A Behavioral Specification of Imperative Programming Languages，Nakamura, M., Watanabe, M., Futatsugi, K.，IEICE Transactions on Fundamentals of Electronics, Communications ancComputer Sciences，Vol. E89-A，No. 6，pp. 1558-1565，JUNE 2006

[ ≪ 前へ ]

1  2  3  4  5  6  7

[ 次へ ≫ ]