研究者
J-GLOBAL ID:200901073902812836
更新日: 2019年10月05日
飯田 周作
イイダ シュウサク | 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件):
- 1999 北陸先端科学技術大学院大学 情報科学研究科
- 1994 専修大学 経営学部 情報管理学科
学位 (2件):
修士(情報科学) (北陸先端科学技術大学院大学)
博士(情報科学) (北陸先端科学技術大学院大学)
経歴 (1件):
1999 - 2001 日本学術振興会特別研究員
所属学会 (1件):
情報処理学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM