Rchr
J-GLOBAL ID:200901024882735219   Update date: Oct. 08, 2021

TAKESHI ODA

オダ タケシ | TAKESHI ODA
Affiliation and department:
Job title: Assistant Professor
Research field  (1): Software
Research keywords  (6): Reuse ,  Requirements Engineering ,  Formal Method ,  再利用 ,  要求工学 ,  形式手法
Papers (7):
Books (1):
  • UNIXコンピュータリテラシー
    共立出版、(1997.1初版、2001.4第2版(改訂)) 2001
Lectures and oral presentations  (57):
  • 定数値制約領域の拡大による形式的部品の再利用性向上手法
    (第83回情報処理学会全国大会 2021)
  • 取得部品からの詳細化情報収集による不足部品の自動生成手法
    (第83回情報処理学会全国大会 2021)
  • 定数宣言の抽象化による値不一致な形式的部品の再利用手法
    (第19回情報科学技術フォーラム 2020)
  • 宣言定数の抽象化による形式的部品の再利用性向上
    (第82回情報処理学会全国大会 2020)
  • リファインメントを考慮した形式的ソフトウェア合成アルゴリズム
    (第18回情報科学技術フォーラム 2019)
more...
Education (4):
  • - 1993 Tokyo Institute of Technology Computer Science Course
  • - 1990 Tokyo Institute of Technology Computer Science Course
  • - 1988 Tokyo Institute of Technology 情報工学科
  • - 1983 東京都立富士高等学校
Professional career (2):
  • 工学修士 (東京工業大学)
  • 博士(工学) (東京工業大学)
Work history (2):
  • 2007/04/01 - 電気通信大学 助教
  • 1993/10 - 2007/03/31 The University of Electro-Communications Research Associate
Association Membership(s) (2):
Information Processing Society of Japan ,  Japan Society for Software Science and Technology
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page