飯田周作

イイダシュウサク | Iida Shusaku

所属機関・部署：
職名：教授

研究分野 (2件)：情報学基礎論 , ソフトウェア

研究キーワード (2件)：形式手法 , ソフトウェア工学

競争的資金等の研究課題 (1件)：

論文 (19件)：

Grit Denker, Carolyn Talcott. Document Logic: Risk Analysis of Business Processes Through Document Authenticity. Journal of Research and Practice in Information Technology, Australian Computer Society. 2011. 43. 1. >41-63
実行可能仕様言語に基づくモデルベーステストの提案と組込みシステム開発への適用. 組込みシステムシンポジウム2006,情報処理学会. 2006. >95-99
第2回MDDロボットチャレンジ参加報告:チームねこねこ専FU. 組込みソフトウェアシンポジウム2005,情報処理学会. 2006. >99-106
飯田周作. MDD and Formal Methods. Proceeding of International Workshop on Future Software Technology, Software Engineers Association. 2005. >
MDDロボットチャレンジ2004 参加報告: チームFC専士. MDDロボットチャレンジ2004. 2005. >65-72

MISC (7件)：

綿貫理明. 「ビジネスアプリケーションにおけるSMPの可能性」. 専修大学情報科学研究所所報No.63. 2004. >1-8
飯田周作. 「関数言語への誘い」. 専修大学情報科学研究所. 2002. >9-19
飯田周作. 「プログラミング教育とCOD」. 専修大学情報科学研究所所報第57号. 2002. >15-17
松本充広. 高信頼コンポーネントソフトウェアの開発支援ツール. PFU TECHNICAL REVIEW Vol.11.No.2. 2000. >85-91
飯田周作. 形式仕様を用いたシステムの非機能的性質記述の試み-コンポーネントに基づくソフトウェア開発への応用-. Software Symposium 2000 ソフトウェア技術者協会. 2000. >23-30

書籍 (2件)：

「UML動的モデルによる組み込み開発」
オーム社 2003
CAFE : An Industrial-Shrength Algebraic Formal Method Chapter 2 CafeOBJ Jeuels (K.Futatsugi. And T.Tamai eds.)
Elsevier 2000

講演・口頭発表等 (9件)：

アルゴリズム的思考法の学習 - 記憶から思考へ -
(情報処理学会コンピュータと教育研究会第99回研究発表会 2009)
アルゴリズム的思考法の教育
(情報処理学会コンピュータと教育研究会第93回研究報告 2008)
学生と教員全員参加によるプロジェクト指向学習の成果報告
(情報処理学会情報システムと社会環境第99回研究報告 2007)
P2P技術を利用したアンケート集計システムの設計と開発
(除法処理学会情報システムと社会環境第87回研究報告 2004)
「Formal Architecture Description Techniques for Software Evolution」
(International Workshop on the Principle of Software Evolution 1999)

学歴 (2件)：

学位 (2件)：

経歴 (1件)：

所属学会 (1件)：

情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

飯田 周作