Rchr
J-GLOBAL ID：200901073902812836
Update date: Oct. 05, 2019
Iida Shusaku
イイダ シュウサク | Iida Shusaku
Affiliation and department：
Job title：
Professor
Research field (2)：
Information theory
, Software
Research keywords (2)：
>Formal methods
, >Software Engineerings
Research theme for competitive and other funds (1)：
- Component-based Software Developments based on Formal Methods
Papers (19)：
MISC (7)：
Books (2)：
-
「UML動的モデルによる組み込み開発」
オーム社 2003
-
CAFE : An Industrial-Shrength Algebraic Formal Method Chapter 2 CafeOBJ Jeuels (K.Futatsugi. And T.Tamai eds.)
Elsevier 2000
Lectures and oral presentations (9)：
-
A Pattern of Learning Algorithmic Thinking Style - Toward learn by thinking rather than learn by memory -
(2009)
-
アルゴリズム的思考法の教育
(情報処理学会コンピュータと教育研究会第93回研究報告 2008)
-
学生と教員全員参加によるプロジェクト指向学習の成果報告
(情報処理学会情報システムと社会環境第99回研究報告 2007)
-
P2P技術を利用したアンケート集計システムの設計と開発
(除法処理学会情報システムと社会環境第87回研究報告 2004)
-
「Formal Architecture Description Techniques for Software Evolution」
(International Workshop on the Principle of Software Evolution 1999)
ｍore...
Education (2)：
- - 1999 Japan Advanced Institute of Science and Technology
- - 1994 Senshu University School of Business Administration
Professional career (2)：
- 修士(情報科学) (北陸先端科学技術大学院大学)
- 博士(情報科学) (北陸先端科学技術大学院大学)
Work history (1)：
- 1999 - 2001 Research Fellow of the Japan Society for the Promotion of Science
Association Membership(s) (1)：
Return to Previous Page
