研究者
J-GLOBAL ID：200901021100830146   更新日: 2008年02月14日

佐藤 匡正

サトウ タダマサ | Satou Tadamasa
所属機関・部署：
旧所属 島根大学 総合理工学部 数理・情報システム学科

旧所属 島根大学 総合理工学部 数理・情報システム学科 について


職名： 教授
研究分野 (1件)： 情報学基礎論
研究キーワード (2件)： ソフトウェア工学 ,  software engineering
競争的資金等の研究課題 (6件)：
  • 1986 - プログラム構造の形式化とその応用に関する研究
  • 1986 - プログラム構造の形式化とその応用に関する研究
  • 1986 - Program structure Formalization and its Applications
  • 1986 - Program structure Formalization and Its Applications
  • 大規模ソフトウェア・システムにおけるプログラム変異体の状況調査
全件表示
MISC (67件)：
  • 言語記述によるIT装置の動作原理図式表現法 共著者名:白波瀬,金近,松永真由美 担当部分:基本アイディア、執筆、指導. 平成14年度 工学・工業教育講演会講演論文集. 2002. 509-510
  • 受講報告書方式による講義方法改善の試み 担当部分:基本アイディア、指導. 平成14年度 工学・工業教育講演会講演論文集. 2002. 509-510
  • 仕様迫従性に関するプログラム設計方法の分析 共著者名:伊藤 貴子 担当部分:基本アイディア、指導. 電子情報通信学会ソフトウェアサイエンス研究会. 2002. SS2001-52
  • プログラム構造抽出の自動化 共著者名:大段 雅典 担当部分:墓本アイディア、指導. 電子情報通信学会ソフトウェアサイエンス研究会. 2002. SS2001-51
  • 故障記述文の形式化と鍵語抽出 共著者名:矢田 佳子 担当部分:基本アイディア、指導. 電子情報通信学会ソフトウェアサイエンス研究会. 2002. SS2001-58
もっと見る
書籍 (1件)：
  • ソフトウェア・デザイン・レビューの実践技法
    ソフト・リサーチ・センタ(株) 1990
学歴 (2件)：
  • - 1967 横浜国立大学 工学部 電気工学科
  • - 1967 横浜国立大学
学位 (1件)：
  • 博士(工学) (名古屋工業大学)
経歴 (8件)：
  • 1996 - - 島根大学総合理工学部教授
  • 1996 - - Shimene University, Faculty of Science and
  • 1988 - 1993 横浜創英短期大学助教授
  • 1988 - 1993 Yokohama Souei Junior College, Assistant
  • 1967 - 1987 日本電信電話公(会)社研究所研究員
全件表示
委員歴 (2件)：
  • 2001 - ICCIT2001 program committee member
  • 2001 - 情報処理学会 中国支部評議員
受賞 (1件)：
  • 1982 - 情報処理学会論文賞
所属学会 (2件)：
ICCIT2001 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM