Rchr
J-GLOBAL ID:200901080745897446   Update date: Sep. 25, 2022

佐伯 元司

Affiliation and department:
Job title: Professor
Research theme for competitive and other funds  (6):
  • 形式的仕様記述の研究
  • ソフトウェアの設計法の研究
  • ソフトウェア開発における協調作業支援の研究
  • Software Design Methods
  • Formal Specification Methods
Show all
MISC (130):
Books (1):
  • 方法論工学と開発環境
    共立出版 2001
Lectures and oral presentations  (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)
more...
Education (3):
  • - 1983 Tokyo Institute of Technology Science of Engineering
  • - 1983 Tokyo Institute of Technology Graduate School, Division of Science and Engineering
  • - 1978 Tokyo Institute of Technology School of Engineering Department of Electrical and Electronic Engineering
Professional career (2):
  • Doctor of Engineering (Tokyo Institute of Technology)
  • Master of Engineering (Tokyo Institute of Technology)
Work history (6):
  • 2000 - -:
  • 2000 - -:東京工業大学 大学院情報理工学研究科 教授
  • 1988 - -:東京工業大学 工学部 助教授
  • 1988 - -:
  • 1983 - -:東京工業大学 工学部 助手
Show all
Committee career (3):
  • 2004 - 2006 電子情報通信学会 ソフトウェアサイエンス研究会専門委員長
  • 1998 - 2004 IFIP 8.1 Secretary
  • 1998 - 2004 IFIP 8.1 Secretary
Awards (2):
  • 1991 - 情報処理学会 研究賞
  • 1985 - 情報処理学会 論文賞
Association Membership(s) (10):
IEEE Computer Society ,  ソフトウェア科学会 ,  IEEE Computer Society ,  IFIP 8.1 ,  ACM ,  情報処理学会 ,  電子情報通信学会 ,  ACM ,  IFIP 8.1 ,  人工知能学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page