研究者
J-GLOBAL ID:200901052915749273   更新日: 2024年02月01日

日下部 茂

クサカベ シゲル | Kusakabe Shigeru
所属機関・部署:
職名: 教授
研究分野 (1件): ソフトウェア
研究キーワード (8件): ソフトウェア開発プロセス ,  形式手法 ,  ソフトウェア工学 ,  セーフウェア ,  Formal Methods ,  Software Process ,  Software Engineering ,  Safeware
競争的資金等の研究課題 (20件):
  • 2012 - 2017 アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法の提案と実用化
  • 2013 - 2016 マルチスレッドプログラムの実行時間と消費エネルギーを削減するスケジューリング機構
  • 2009 - 2011 ソフトウェア開発の現場で使えるフォーマルメソッドに関する研究
  • 2006 - 2008 継続点付き非中断型スレッドによる汎用高性能プロセッサ向けOS構成法
  • 2004 - 2006 ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究
全件表示
論文 (69件):
MISC (86件):
学歴 (1件):
  • 九州大学
学位 (1件):
  • 博士(工学)
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る