トップページ  >  教員個別情報  >  Misc
緒方　和博 （OGATA, Kazuhiro）教授, 情報社会基盤研究センター長
情報科学, コンピューティング科学研究領域, 情報社会基盤研究センター

Misc

29件
A divide and conquer approach to leads-to-model checking
Yati Phyo, Canh Minh Do, Ogata Kazuhiro
ITNOW, 63, 2, 66-, 2021
OTS/CafeOBJ法によるマルチタスク実時間システムの形式的検証 (システム数理と応用)
東 周輝, 中村 正樹, 榊原 一紀, 緒方 和博
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 119, 470, 25-30, 2020
OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述 (システム数理と応用)
東 周輝, 中村 正樹, 榊原 一紀, 緒方 和博
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 118, 499, 13-18, 2019
ソフトウェアサイエンス研究会（SS研）の紹介
緒方 和博
情報・システムソサイエティ誌, 21, 3, 8-9, 2016
構成子に基づく順序ソートパラメータ化仕様の十分完全性について (ソフトウェアサイエンス)
中村 正樹, ガイナ ダニエル ミルチェア, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 114, 510, 1-6, 2015
Sufficient completeness of parameterized specifications in CafeOBJ
Nakamura Masaki, Gaina Daniel, Ogata Kazuhiro, Futatsugi Kokichi
Research report, 2014, 1-4, 2014
AT-1-1 不変性モデル検査器としてのCafeOBJ(AT-1.システム数理における様々なツールの紹介,チュートリアルセッション,ソサイエティ企画)
緒方 和博
電子情報通信学会ソサイエティ大会講演論文集, 2012, "SS-23"-"SS-26", 2012
AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
中村 正樹, 緒方 和博, 二木 厚吉
電子情報通信学会総合大会講演論文集, 2010, "S-27"-"S-28", 2010
代数仕様に基づく実時間システムの検証
緒方 和博
計測と制御 = Journal of the Society of Instrument and Control Engineers, 48, 11, 816-821, 2009
Ｍａｕｄｅ：書換え論理に基づく計算機言語および処理系
緒方 和博, 中村 正樹, 二木 厚吉
コンピュータ ソフトウェア, 25, 2, 78-84, 2008
Algebraic approaches to formal analysis of the mondex electronic purse system
Kong Weiqiang, Ogata Kazuhiro, Futatsugi Kokichi
Research report, 2007, 1-43, 2007
Analysis of membership sharing in digital subscription services
Xiang Jianwen, Ogata Kazuhiro, Futatsugi Kokichi
Technical memorandum, 2007, 1-26, 2007
STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
原 光太朗, 緒方 和博, 中村 正樹, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 104, 570, 1-6, 2005
B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs
/ 清野 貴博, 緒方 和博, 二木 厚吉, 二木 厚吉
情報科学技術フォーラム一般講演論文集, 3, 1, 175-176, 2004
B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)
原 光太朗, 緒方 和博, 中村 正樹, 二木 厚吉
情報科学技術フォーラム一般講演論文集, 3, 1, 177-178, 2004
B-2 代数仕様言語CafeOBJにおけるモデル検査(プログラムの理論,B.ソフトウェア)
中野 昌弘, 中村 正樹, 緒方 和博, 二木 厚吉
情報科学技術フォーラム一般講演論文集, 2002, 1, 91-92, 2002
代数仕様言語 CafeOBJ による実時間システムの仕様記述と検証の一例 : timed two-process race の仕様記述と検証
清野 貴博, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 100, 569, 9-16, 2001
項書換え抽象機械TRAMの設計と実装
五百蔵 重典, 緒方 和博, 二木 厚吉
電子情報通信学会論文誌. D-1, 情報・システム 1-情報処理, 83, 2, 255-263, 2000
検証を考慮した仕様記述の指針に関する研究
五百蔵 重典, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告, 99, 426, 47-54, 1999
モジュールシステムの要求仕様と設計仕様
五百蔵 重典, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 98, 294, 7-14, 1998
モジュールシステムを備える書換え抽象機械の提案
五百蔵 重典, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 98, 86, 1-8, 1998
超並列項書換えシステムの実装と評価
平田 寛道, 五百蔵 重典, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 97, 629, 9-16, 1998
項書換え抽象機械における組み込み演算の処理
石曽根 信, 澤田 寿実, 緒方 和博
全国大会講演論文集, 55, 0, 279-280, 1997
順序ソート項書換えの効率のよい実現に関する一考察
緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 97, 260, 9-16, 1997
項書換えコンパイラに関する一考察
五百蔵 重典, 緒方 和博, 二木 厚吉
全国大会講演論文集, 51, 0, 39-40, 1995
項書換えシステムのための抽象機械の設計について
大原 幸一, 緒方 和博, 二木 厚吉
全国大会講演論文集, 51, 0, 41-42, 1995
MultithreadSmalltalkの動的コンパイルとオブジェクト割付け (ソフトウェア工学<特集>)
緒方 和博, 土居 範久
南山経営研究, 9, 1, p3-9, 1994
MultithreadSmalltalkの実装について (オブジェクト指向計算<特集>)
緒方 和博, 土居 範久
南山経営研究, 8, 1, p3-9, 1993
プログラミング言語の設計と実現に関するACM SIGPLAN '92会議PLDI
緒方 和博
コンピュータ ソフトウェア, 10, 1, 1_72-1_76, 1993