Rchr
J-GLOBAL ID:200901024882735219   Update date: Dec. 28, 2022

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  (65):
  • モジュール構造と段階的詳細化に対処した形式的ソフトウェア合成手法
    (第21回情報科学技術フォーラム 2022)
  • 抽象データ型に対応した不足部品の自動生成手法
    (第21回情報科学技術フォーラム 2022)
  • 項書き換え系を用いた文字列による検索のための形式仕様の正規化と暗黙の条件の抽出
    (第21回情報科学技術フォーラム 2022)
  • 抽象データ型を考慮した不足部品の自動生成手法
    (第84回情報処理学会全国大会 2022)
  • モジュール構造と段階的詳細化を考慮した形式的ソフトウェア合成手法
    (第84回情報処理学会全国大会 2022)
more...
Education (4):
  • - 1993 Tokyo Institute of Technology Graduate School, Division of Science and Engineering Computer Science Course
  • - 1990 Tokyo Institute of Technology Graduate School, Division of Science and Engineering Computer Science Course
  • - 1988 Tokyo Institute of Technology Faculty of Engineering 情報工学科
  • - 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