研究者
J-GLOBAL ID：201101067511336787   更新日: 2024年09月12日

田辺 良則

タナベ ヨシノリ | TANABE Yoshinori
所属機関・部署：
鶴見大学 文学部ドキュメンテーション学科

鶴見大学 文学部ドキュメンテーション学科 について


職名： 教授
その他の所属（所属・部署名・職名） (1件)：
  • 国立情報学研究所  特任教授
ホームページURL (1件)： http://cent.xii.jp/tanabe.yoshinori/
研究分野 (1件)： ソフトウェア
研究キーワード (3件)： 様相論理 ,  ソフトウェア検証 ,  モデル検査
競争的資金等の研究課題 (11件)：
  • 2020 - 2023 記号実行を用いたプログラミング試験問題の自動生成
  • 2017 - 2020 IoTプロトコルのテストとモデル検査
  • 2016 - 2019 ソフトウェアモデル検査における活性検証
  • 2014 - 2017 実行時検証とモデル検査の融合によるネットワークソフトウェアの統合実行監視
  • 2014 - 2017 検証系を備えた高水準モデリング言語処理系の実装技術の深化
全件表示
論文 (56件)：
もっと見る
MISC (3件)：
  • Fuyuki Ishikawa, Takuo Doi, Kazunori Sakamoto, Nobukazu Yoshioka, Yoshinori Tanabe. Enlightening Test-Driven with Formal, Formal with Test-Driven through Spec-Test-Go-Round. Technical Report, GRACE Center, National Institute of Informatics. 2015. GRACE-TR-2015-05. 1-17
  • 田辺 良則. 組織の活動紹介 国立情報学研究所 トップエスイー. SEC journal. 2014. 10. 1. 46-48
  • 田辺 良則, Artho Cyrille, Leungwattanakit Watcharin. ネットワークアプリケーションのマスター・スレーブ方式モデル検査アルゴリズムについて. 日本ソフトウェア科学会大会論文集. 2011. 28. 1-9
講演・口頭発表等 (1件)：
  • 述語抽象化によるアルゴリズムの検証 〜 シェープ解析を例として
    (第4回プログラミングおよびプログラミング言語サマースクール 2006)
学位 (1件)：
  • 博士(情報理工学) (東京大学)
経歴 (8件)：
  • 2015/04 - 現在 鶴見大学 文学部ドキュメンテーション学科 教授
  • 2011/04 - 現在 国立情報学研究所 アーキテクチャ科学研究系 特任教授
  • 2010/04 - 2011/03 国立情報学研究所 アーキテクチャ科学研究系 特任准教授
  • 2008/05 - 2010/03 東京大学 情報理工学系研究科 特任助教
  • 2005/10 - 2008/03 産業技術総合研究所 システム検証研究センター 招聘研究員
全件表示
受賞 (3件)：
  • 2012/08 - 日本ソフトウェア科学会 高橋奨励賞
  • 2012/04 - 文部科学省 平成24年度文部科学大臣表彰, 科学技術賞(理解増進部門) 先端ソフトウェア技術の普及啓発
  • 2007/06 - 日本ソフトウェア科学会 第2回解説論文賞
所属学会 (3件)：
電子情報通信学会 ,  情報処理学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM