Rchr
J-GLOBAL ID：200901024882735219   Update date: Mar. 14, 2024

TAKESHI ODA

オダ タケシ | TAKESHI ODA
Affiliation and department：
The University of Electro-Communications Graduate School of Informatics and Engineering, School of Informatics and Engineering, "Department of Informatics, Cluster I (Informatics and Computer Engineering)"

About The University of Electro-Communications Graduate School of Informatics and Engineering, School of Informatics and Engineering, "Department of Informatics, Cluster I (Informatics and Computer Engineering)"


Job title： Assistant Professor
Research field  (1)： Software
Research keywords  (6)： Reuse ,  Requirements Engineering ,  Formal Method ,  再利用 ,  要求工学 ,  形式手法
Research theme for competitive and other funds  (1)：
  • 2002 - 2004 e-Learning Implementation on IT-Supported Self-Study of Mathematics for Foreign Students
Papers (7)：
ｍore...
Books (1)：
  • UNIXコンピュータリテラシー
    共立出版、(1997.1初版、2001.4第2版(改訂)) 2001
Lectures and oral presentations  (73)：
  • 形式的ソフトウェア合成手法における細分化モデルの可読性向上手法の改善
    (情報処理学会第86回全国大会 2024)
  • 小規模なモデルを対象とした形式的ソフトウェア合成システムの構築
    (情報処理学会第86回全国大会 2024)
  • 条件分岐と同時代入間の相互依存に配慮した形式仕様細分化アルゴリズム
    (第22回情報科学技術フォーラム 2023)
  • B Method の仕様記述言語における段階的詳細化を伴う仕様の細分化手法
    (第22回情報科学技術フォーラム 2023)
  • 形式的ソフトウェア合成手法における計算コストを考慮した細分化モデル可読性向上手法
    (第22回情報科学技術フォーラム 2023)
ｍore...
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

TOP

BOTTOM