研究者
J-GLOBAL ID：200901080745897446   更新日: 2024年07月28日

佐伯 元司

所属機関・部署：
東京工業大学

東京工業大学 について


競争的資金等の研究課題 (6件)：
  • 形式的仕様記述の研究
  • ソフトウェアの設計法の研究
  • ソフトウェア開発における協調作業支援の研究
  • Software Design Methods
  • Formal Specification Methods
全件表示
MISC (130件)：
もっと見る
書籍 (1件)：
  • 方法論工学と開発環境
    共立出版 2001
講演・口頭発表等 (123件)：
  • コモンクライテリアをドメイン知識としたゴール指向セキュリティ要求獲得法
    (電子情報通信学会技術研究報告 2010)
  • Goal-Oriented Security Requirements Analysis Using Common Criteria as Domain Ontology
    (IEICE Technical Report 2010)
  • Structuring Source Code Differences by Classifying Editing Operations
    (IEICE Technical Report 2010)
  • 振る舞いモデルを用いたフレームワーク利用支援ツール
    (電子情報通信学会技術研究報告 2010)
  • A Supporting Tool for Framework-Based Software Development with Behavioral Models
    (IEICE Technical Report 2010)
もっと見る
学歴 (3件)：
  • - 1983 東京工業大学 理工学研究科 情報工学専攻
  • - 1983 東京工業大学
  • - 1978 東京工業大学 工学部 電気電子工学科
学位 (2件)：
  • 工学博士 (東京工業大学)
  • 工学修士 (東京工業大学)
経歴 (6件)：
  • 2000 - -:
  • 2000 - -:東京工業大学 大学院情報理工学研究科 教授
  • 1988 - -:東京工業大学 工学部 助教授
  • 1988 - -:
  • 1983 - -:東京工業大学 工学部 助手
全件表示
委員歴 (3件)：
  • 2004 - 2006 電子情報通信学会 ソフトウェアサイエンス研究会専門委員長
  • 1998 - 2004 IFIP 8.1 Secretary
  • 1998 - 2004 IFIP 8.1 Secretary
受賞 (2件)：
  • 1991 - 情報処理学会 研究賞
  • 1985 - 情報処理学会 論文賞
所属学会 (10件)：
IEEE Computer Society ,  ソフトウェア科学会 ,  IEEE Computer Society ,  IFIP 8.1 ,  ACM ,  情報処理学会 ,  電子情報通信学会 ,  ACM ,  IFIP 8.1 ,  人工知能学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM