A Development Method for Dependable WebService-ware

• Project/Area Number: 20300009
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: Nagoya University
• Principal Investigator: AGUSA Kiyoshi 名古屋大学, 情報科学研究科, 教授 (90026360)
• Co-Investigator(Kenkyū-buntansha): YUEN Shoji 名古屋大学, 大学院・情報科学研究科, 教授 (70230612) ; KOBAYASHI Takashi 名古屋大学, 大学院・情報科学研究科, 准教授 (50345386) ; HAMAGUCHI Takeshi 名古屋大学, 大学院・情報科学研究科, 助教 (90273284)
• Project Period (FY): 2008 – 2011
• Project Status: Completed (Fiscal Year 2011)
• Budget Amount: ¥18,460,000 (Direct Cost: ¥14,200,000、Indirect Cost: ¥4,260,000); Fiscal Year 2011: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000); Fiscal Year 2010: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000); Fiscal Year 2009: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000); Fiscal Year 2008: ¥8,580,000 (Direct Cost: ¥6,600,000、Indirect Cost: ¥1,980,000)
• Keywords: Webサービス / コレオグラフィー / プログラム解析 / 通信指向プログラミング / Web応用プログラム / コードマイニング / ソフトウェア再利用 / コードスニペット

Research Abstract

We have investigated dependable developing method for' WebService-ware' that integrates WebServices over the Internet. We studied behavioral models for WebService-ware via communications with static analysis techniques such as a session type system. We proposed a code mining to reuse program codes for efficient construction of WebService-ware.

Research Products

• [Journal Article] Reticella : An Execution Trace Slicing and Visualization Tool based on a Behavior Model (2012)
  • Author(s): Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Motoshi Saeki, Kiyoshi Agusa
  • Journal Title: IEICE Transactions on Information and Systems Volume: Vol.E95-D, No.4 Pages: 959-969
  • NAID: 10030941849
  • Peer Reviewed
• [Journal Article] CX-Checker :柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ (2012)
  • Author(s): 大須賀俊憲, 小林隆志, 渥美紀寿, 間瀬順一, 山本晋一郎, 鈴村延保, 阿草清滋
  • Journal Title: 情報処理学会論文誌 Volume: Vol.53 No.2 Pages: 590-600
  • NAID: 110008767164
  • Peer Reviewed
• [Journal Article] CX-Chekcer:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ (2012)
  • Author(s): 大須賀俊憲
  • Journal Title: 情報処理学会論文誌 Volume: 53(2) Pages: 590-600
  • Peer Reviewed
• [Journal Article] デザインパターンへのソフトウェア工学的取り組み (2012)
  • Author(s): 鷲崎弘宜
  • Journal Title: コンピュータソフトウェア Volume: 29(1)
  • Peer Reviewed
• [Journal Article] Session Type Inference in Haskell (2011)
  • Author(s): Keigo Imai, Shoji Yuen, and Kiyoshi Agusa
  • Journal Title: Electronic Proceedings in Theoretical Computer Science Volume: Vol.69 Pages: 74-91
  • Peer Reviewed
• [Journal Article] 例外処理を持つ関数型プログラムの停止性・非停止性証明法 (2011)
  • Author(s): 濱口毅, 酒井正彦, 馬場正貴, 阿草清滋
  • Journal Title: 情報処理学会論文誌(トランザクション)プログラミング Volume: Vol.4 No.1 Pages: 13-30
  • NAID: 110008616674
  • Peer Reviewed
• [Journal Article] Session Type Inference in Haskell (2011)
  • Author(s): Keigo Imai
  • Journal Title: lectronic Proceedings in Theoretical Computer Science Volume: 69 Pages: 74-91
  • DOI: 10.4204/eptcs.69.6
  • Peer Reviewed
• [Journal Article] OJL:産学連携による新しい人材育成の試み(特集高度IT人材育成の軌跡) (2011)
  • Author(s): 阿草清滋
  • Journal Title: 情報処理 Volume: 52(10) Pages: 1254-12570
  • Peer Reviewed
• [Journal Article] Session type inference in Haskell (2011)
  • Author(s): Keigo Imai, Shoji Yuen, Kiyoshi Agusa
  • Journal Title: Post-proceedings of PLACES10, EPTCS 2011 (採録決定)
  • Peer Reviewed
• [Journal Article] Modelling and analysis of real-time systems with mutex components (2011)
  • Author(s): Guoqiang Li, Xiaojuan Cai, Shoji Yuen
  • Journal Title: International Journal of Foundation of Computer Science (採録決定)
  • Peer Reviewed
• [Journal Article] データマイニング技術を応用したソフトウェア構築・保守支援の研究動向 (2010)
  • Author(s): 小林隆志, 林晋平
  • Journal Title: コンピュータソフトウェア Volume: Vol.27 No.3 Pages: 13-23
  • NAID: 10026562804
  • Peer Reviewed
• [Journal Article] JavaScriptソースコードリポジトリを用いた代替コード発見 (2010)
  • Author(s): 蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
  • Journal Title: コンピュータソフトウェア Volume: Vol.27 No.2 Pages: 129-134
  • NAID: 130004549168
  • Peer Reviewed
• [Journal Article] 多粒度な可視化によるソフトウェア理解支援 (2010)
  • Author(s): 上原伸介, 小林隆志, 大須賀俊憲, 山本晋一郎, 阿草清滋
  • Journal Title: コンピュータソフトウェア Volume: Vol.27 No.2 Pages: 116-121
  • NAID: 130004549166
  • Peer Reviewed
• [Journal Article] On the Job Learning :産学連携による新しいソフトウェア工学教育手法 (2010)
  • Author(s): 小林隆志, 沢田篤史, 山本晋一郎, 野呂昌満, 阿草清滋
  • Journal Title: 情報システム学会誌 Volume: Vol.5 No.2 Pages: 32-45
  • NAID: 110007358930
  • Peer Reviewed
• [Journal Article] 例外処理を持つ関数型プログラムの停止性・非停止性証明法 (2010)
  • Author(s): 濱口毅, 酒井正彦, 馬場正貴, 阿草清滋
  • Journal Title: 情報処理学会論文誌(トランザクション)プログラミング Vol.4, No.2, Pages: 13-30
  • NAID: 110008616674
  • Peer Reviewed
• [Journal Article] JavaScriptソースコードリポジトリを用いた代替コード発見 (2010)
  • Author(s): 蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
  • Journal Title: コンピュータソフトウェア 27(2) Pages: 129-134
  • NAID: 130004549168
  • Peer Reviewed
• [Journal Article] データマイニング技術を応用したソフトウェア構築・保守支援の研究動向 (2010)
  • Author(s): 小林隆志, 林晋平
  • Journal Title: コンピュータソフトウェア 27(3) Pages: 13-23
  • NAID: 10026562804
  • Peer Reviewed
• [Journal Article] Java Scriptソースコードリポジトリを用いた代替コード発見 (2010)
  • Author(s): 蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
  • Journal Title: コンピュータソフトウェア Volume: 27(2) Pages: 129-134
  • NAID: 130004549168
  • Peer Reviewed
• [Journal Article] On the Job Learning:産学連携による新しいソフトウェア工学教育手法 (2010)
  • Author(s): 小林隆志, 沢田篤史, 山本晋一郎, 野呂昌満, 阿草清滋
  • Journal Title: 情報システム学会誌 Volume: 5(2) Pages: 32-45
  • NAID: 110007358930
  • Peer Reviewed
• [Journal Article] テスト実行に基づくコンポーネント検索 (2008)
  • Author(s): 安藤恭平, 金子伸幸, 山本晋一郎, 阿草清滋
  • Journal Title: コンピュータソフトウェア Volume: vol.25 No.3 Pages: 194-207
  • NAID: 130004549114
  • Peer Reviewed
• [Journal Article] テスト実行に基づくコンポーネント検索 (2008)
  • Author(s): 安藤恭平, 金子伸幸, 山本晋一郎, 阿草清滋
  • Journal Title: コンピュータソフトウェア vol. 25, no. 3 Pages: 194-207
  • NAID: 130004549114
  • Peer Reviewed
• [Journal Article] 特集情報専門学科カリキュラム標準J07ソフトウェアエンジニアリング領域(J07-SE) (2008)
  • Author(s): 阿草清滋, 西康晴, 沢田篤史, 鷲崎弘宣
  • Journal Title: 情報処理学会論文誌 vol. 49, no. 7 Pages: 743-749
• [Journal Article] A session type system with subject reduction
  • Author(s): Keigo Imai, Syoji Yuen, Kiyoshi. Agusa
  • Journal Title: IEICE Transaction
  • NAID: 10031126714
  • Peer Reviewed
• [Presentation] 開発スタイルにあわせたプログラム解析応用の必要性 (2012)
  • Author(s): 小林隆志
  • Organizer: ウインターワークショップ2012・イン・琵琶湖
  • Place of Presentation: 滋賀
• [Presentation] Proving Termination of Functional Programs with Exception Handling (2012)
  • Author(s): Takeshi Hamaguchi
  • Organizer: 36th TRS Meeting
  • Place of Presentation: Matsue, Japan
• [Presentation] 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング (2012)
  • Author(s): 戸田達也
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 沖縄
• [Presentation] Alloyを用いたRuby on Railsアプリケーションの開発支援 (2012)
  • Author(s): 水谷浩明
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 沖縄
• [Presentation] メソッド境界を越えた呼び出しパターン抽出のためのコールグラフ探索戦略 (2012)
  • Author(s): 大塲光明
  • Organizer: 情報処理学会第175回ソフトウェア工学研究会
  • Place of Presentation: 東京
• [Presentation] ファイルアクセス履歴から抽出した参照関係に基づくファイル検索手法 (2011)
  • Author(s): 山下訓昭,小林隆志,横田治夫,阿草清滋
  • Organizer: 第4回Webとデータベースに関するフォーラム
  • Place of Presentation: 東京
  • Year and Date: 2011-11-04
• [Presentation] メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール (2011)
  • Author(s): 野田訓広, 小林隆志, 阿草清滋
  • Organizer: 情報処理学会ソフトウェア工学研究会
  • Place of Presentation: 東京
  • Year and Date: 2011-03-15
• [Presentation] メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール (2011)
  • Author(s): 野田訓広, 小林隆志, 阿草清滋
  • Organizer: メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
  • Place of Presentation: 東京
  • Year and Date: 2011-03-15
• [Presentation] 名前渡しプロセス計算における優先度ガード (2011)
  • Author(s): 結縁祥治、太田正悟
  • Organizer: 第13回プログラミングおよびプログラミング言語ワークショップ PPL2011, 246-257
  • Year and Date: 2011-03-11
• [Presentation] 並行処理記述のためのDynAlloyの拡張 (2011)
  • Author(s): 岩塚卓弥,結縁祥治
  • Organizer: 第13回プログラミングおよびプログラミング言語ワークショップ
  • Place of Presentation: 北海道
  • Year and Date: 2011-03-10
• [Presentation] 名前渡しプロセス計算における優先度ガード (2011)
  • Author(s): 結縁祥治,太田正悟
  • Organizer: 第13回プログラミングおよびプログラミング言語ワークショップ
  • Place of Presentation: 北海道
  • Year and Date: 2011-03-10
• [Presentation] 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ (2011)
  • Author(s): 伴潤、結縁祥治
  • Organizer: 電子情報通信学会、ソフトウェアサイエンス研究会
  • Year and Date: 2011-03-07
• [Presentation] 変更支援のための成果物アクセス履歴マイニング (2011)
  • Author(s): 加藤希, 小林隆志, 阿草清滋
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 沖縄
  • Year and Date: 2011-03-07
• [Presentation] 責務記述に基づくクラスの責務割り当て支援 (2011)
  • Author(s): 秋山幹博, 林晋平, 小林隆志, 佐伯元司
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 沖縄
  • Year and Date: 2011-03-07
• [Presentation] 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ (2011)
  • Author(s): 伴潤, 結縁祥治
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 沖縄
  • Year and Date: 2011-03-07
• [Presentation] 複数観点を用いた木類似度算出法によるソースコードの類似構造の抽出 (2011)
  • Author(s): 池田健人, 小林隆志, 波多野賢治, 深川大路
  • Organizer: 第3回データ工学と情報マネジメントに関するフォーラム
  • Place of Presentation: 静岡
  • Year and Date: 2011-02-28
• [Presentation] コーディング規約違反に着目したソフトウェアメトリクス (2011)
  • Author(s): 高井康勢, 渥美紀寿, 小林隆志
  • Organizer: ウィンターワークショップ2011
  • Place of Presentation: 静岡
  • Year and Date: 2011-01-21
• [Presentation] An XML Representation of Preprocessed Code for Static Analysis (2011)
  • Author(s): Noritoshi Atsumi, Mitsuaki Oba, Takashi Kobayashi, Shinichiro Yamamoto and Kiyoshi Agusa
  • Organizer: IEEE 22nd annual International Symposium on Software Reliability Engineering(ISSRE 2011)
  • Place of Presentation: Hiroshima, Japan
• [Presentation] Software Metrics based on Coding Standards Violations (2011)
  • Author(s): Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa
  • Organizer: the Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement(IWSM/MENSURA2011)
  • Place of Presentation: Nara, Japan
• [Presentation] Alloyによるタスクスケジューリング解析 (2011)
  • Author(s): 中堂園貴幸,結縁祥治
  • Organizer: 組込みシステムシンポジウム2011
  • Place of Presentation: 東京
• [Presentation] Supporting Design Model Refactoring for Improving Class Responsibility Assignment (2011)
  • Author(s): Motohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki
  • Organizer: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems(MODELS 2011)
  • Place of Presentation: Wellington, New Zealand
• [Presentation] An XML C Source Code Interchange Format for CASE Tools (2011)
  • Author(s): Noritoshi Atsumi, Shinichiro Yamamoto, Takashi Kobayashi, Kiyoshi Agusa
  • Organizer: the IEEE Signature Conference on Computers 2011, Software, and ApplicationsMunich
  • Place of Presentation: Germany
• [Presentation] Preliminary Assessment of Software Metrics based on Coding Standards Violations (2011)
  • Author(s): Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa
  • Organizer: Joint Workshop on Software Science and Engineering(IEICE Technical Report No.IEICE-SS2011-12)
  • Place of Presentation: Seoul, Korea
• [Presentation] An Extension of DynAlloy with Concurrency (2011)
  • Author(s): Takuya Iwatsuka, Shoji Yuen
  • Organizer: IEICE SIGSS(Joint Workshop on Software Science and Engineering)(IEICE Technical Report No.IEICE-SS2011-1)
  • Place of Presentation: Seoul, Korea
• [Presentation] An Extension of DynAlloy with Concurrency (2011)
  • Author(s): Takuya Iwatsuka
  • Organizer: IEICE SIGSS (Joint Workshop on Software Science and Engineering)
  • Place of Presentation: Seoul, Korea
• [Presentation] Preliminary Assessment of Software Metrics based on Coding Standards Violations (2011)
  • Author(s): Yasunari Takai
  • Organizer: IEICE SIGSS (Joint Workshop on Software Science and Engineering)
  • Place of Presentation: Seoul, Korea
• [Presentation] An XML C Source Code Interchange Format for CASE Tools (2011)
  • Author(s): Noritoshi Atsumi
  • Organizer: the IEEE Signature Conference on Computers 2011, Software, and Applications
  • Place of Presentation: Munich, Germany
• [Presentation] Calculating Similarities between Tree Data based on Structural Analysis (2011)
  • Author(s): Kento Ikeda
  • Organizer: 3rd International Conference on Intelligent Decision Technologies (KES IDT2011)
  • Place of Presentation: Piraeus, Greece
• [Presentation] バリエーション並行開発のための版管理機構 (2011)
  • Author(s): 渥美紀寿
  • Organizer: 日本ソフトウェア科学会第28回大会
  • Place of Presentation: 沖縄
• [Presentation] シーケンシャルパターンマイニングによるJavaScriptの代替コード発見 (2011)
  • Author(s): 藤谷隆宏
  • Organizer: 日本ソフトウェア科学会第28回大会
  • Place of Presentation: 沖縄
• [Presentation] Supporting Design Model Refactoring for Improving Class Responsibility Assignment (2011)
  • Author(s): Motohiro Akiyama
  • Organizer: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS
  • Place of Presentation: Wellington, New Zealand
• [Presentation] 分離論理を用いたTOPPERS/ASPの割込み動作に対する検証 (2011)
  • Author(s): 中島崇
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 石川
• [Presentation] Software Metrics based on Coding Standards Violations (2011)
  • Author(s): Yasunari Takai
  • Organizer: 21th International Workshop on Software Measuremen (IWSM/MENSURA2011)
  • Place of Presentation: Nara, Japan
• [Presentation] An XML Representation of Preprocessed Code for Static Analysis (2011)
  • Author(s): Noritoshi Atsumi
  • Organizer: IEEE 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011)
  • Place of Presentation: Hiroshima, Japan
• [Presentation] データマイニング技術を応用したソフトウェア構築・保守支援 (2010)
  • Author(s): 小林隆志,林晋平
  • Organizer: 第17回ソフトウェア工学の基礎ワークショップFOSE2010
  • Place of Presentation: 新潟
  • Year and Date: 2010-11-17
• [Presentation] トレースに基づくデバッグにおける欠陥箇所発見支援手法 (2010)
  • Author(s): 上原伸介,小林隆志,渥美紀寿,山本晋一郎,阿草清滋
  • Organizer: 第17回ソフトウェア工学の基礎ワークショップFOSE2010
  • Place of Presentation: 新潟
  • Year and Date: 2010-11-17
• [Presentation] 組込みソフトウェア製品ファミリにおけるコンパイルスイッチによる構成管理手法 (2010)
  • Author(s): 渥美紀寿,谷聡貴,大塚直也,小林隆志,山本晋一郎,阿草清滋
  • Organizer: 第17回ソフトウェア工学の基礎ワークショップFOSE2010
  • Place of Presentation: 新潟
  • Year and Date: 2010-11-17
• [Presentation] 例外処理を持つ関数型プログラムの停止性・非停止性証明法 (2010)
  • Author(s): 濱口毅、酒井正彦、馬場正貴、阿草清滋
  • Organizer: 情報処理学会 第81回プログラミング研究発表会
  • Place of Presentation: 高知
  • Year and Date: 2010-10-28
• [Presentation] CASEツール・プラットフォームのためのCソースプログラムのXML表現とその応用 (2010)
  • Author(s): 渥美紀寿,山本晋一郎,小林隆志,阿草清滋
  • Organizer: ソフトウェアシンポジウム2010
  • Place of Presentation: 東京
  • Year and Date: 2010-09-01
• [Presentation] Searching Keyword-lacking Files Based on Latent Interfile Relationships (2010)
  • Author(s): Tetsutaro Watanabe, Takashi Kobayashi, Haruo Yokota
  • Organizer: 5th International Conference on Software and Data Technologies(ICSOFT2010)
  • Place of Presentation: アテネ・ギリシャ
  • Year and Date: 2010-07-18
• [Presentation] Searching Keyword-lacking Files Based on Latent Interfile Relationships (2010)
  • Author(s): Tetsutaro Watanabe, Takashi Kobayashi, Haruo Yokota
  • Organizer: 5th International Conference on Software and Data Technologies (ICSOFT2010)
  • Place of Presentation: アテネ・ギリシャ
  • Year and Date: 2010-07-18
• [Presentation] Modeling and Analysis of Real-Time Systems with Mutex Components (2010)
  • Author(s): Guoqiang Li, Xiaojuan Cai, Shoji Yuen
  • Organizer: 12th Advances in Parallel and Distributed Computing Models
  • Place of Presentation: Atlanta, USA
  • Year and Date: 2010-04-19
• [Presentation] Modeling and Analysis of Real -Time Systems with Mutex Components (2010)
  • Author(s): Guoqiang Li, Xiaojuan Cai, Shoji Yuen
  • Organizer: 12th Advances in Parallel and Distributed Computing Models
  • Place of Presentation: Atlanta, USA
  • Year and Date: 2010-04-19
• [Presentation] Session Type Inference in Haskell (2010)
  • Author(s): Keigo Imai, Shoji Yuen, Kiyoshi Agusa
  • Organizer: PLACES' 10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
  • Place of Presentation: Paphos, Cyprus
  • Year and Date: 2010-03-21
• [Presentation] Session Type Inference in Haskell (2010)
  • Author(s): 今井敬吾, 結縁祥治, 阿草清滋
  • Organizer: PLACES '10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
  • Place of Presentation: Coral Beach Hotel(Paphos, Cyprus)
  • Year and Date: 2010-03-21
• [Presentation] コレオグラフィに基づく高信頼通信指向GUIプログラミング (2010)
  • Author(s): 下村翔, 結縁祥治
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 鹿児島大学(鹿児島県)
  • Year and Date: 2010-03-08
• [Presentation] 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析 (2010)
  • Author(s): 坂野吉隆, 結縁祥治
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 鹿児島大学(鹿児島県)
  • Year and Date: 2010-03-08
• [Presentation] 極性をもたないセッション型システム (2010)
  • Author(s): 今井敬吾,結縁祥治,阿草清滋
  • Organizer: 第12回プログラミングおよびプログラミング言語ワークショップPPL2010
  • Place of Presentation: 香川
  • Year and Date: 2010-03-03
• [Presentation] 極性をもたないセッション型システム (2010)
  • Author(s): 今井敬吾, 結縁祥治, 阿草清滋
  • Organizer: 第12回プログラミングおよびプログラミング言語ワークショップPPL2010
  • Place of Presentation: 琴参閣(香川県)
  • Year and Date: 2010-03-03
• [Presentation] Finding Alternate Javascript Codes with a Code Repository (2010)
  • Author(s): Eiji HIrumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa
  • Organizer: the IASTED International Conference on Software Engineering 2010
  • Place of Presentation: Innsburk, Austria
  • Year and Date: 2010-02-17
• [Presentation] Finding Alternate Javascript Codes with a Code Repository (2010)
  • Author(s): Eiji HIrumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa
  • Organizer: the IASTED International Conference on Software Engineering 2010
  • Place of Presentation: Congress Innsbruck(Innsbruck, Austria)
  • Year and Date: 2010-02-17
• [Presentation] 再利用支援情報発見のためのプログラム解析技術 (2010)
  • Author(s): 小林隆志
  • Organizer: ウィンターワークショップ2010・イン・倉敷(ww2010)
  • Place of Presentation: 倉敷市芸文館(岡山県)
  • Year and Date: 2010-01-21
• [Presentation] 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル (2009)
  • Author(s): 水野洋樹, 結縁祥治
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 香川大学(香川県)
  • Year and Date: 2009-12-17
• [Presentation] Sequence Diagram Slicing (2009)
  • Author(s): Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa
  • Organizer: Asia-Pacific Software Engineering Conference(APSEC) 2009
  • Place of Presentation: Penang, Malaysia
  • Year and Date: 2009-12-01
• [Presentation] Sequence Diagram Slicing (2009)
  • Author(s): Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa
  • Organizer: Asia-Pacific Software Engineering Conference(APSEC)2009
  • Place of Presentation: Bayview Beach Resort(Penang, Malaysia)
  • Year and Date: 2009-12-01
• [Presentation] スタックトレース情報を用いた問題解決経験の検索 (2009)
  • Author(s): 谷聡貴,小林隆志,山本晋一郎,阿草清滋
  • Organizer: ソフトウェア工学の基礎ワークショップFOSE2008
  • Place of Presentation: 兵庫
  • Year and Date: 2009-11-14
• [Presentation] JavaScriptソースコードリポジトリを用いた代替コード発見 (2009)
  • Author(s): 蛭牟田英治,末次亮,大須賀俊憲,小林隆志,山本晋一郎,阿草清滋
  • Organizer: ソフトウェア工学の基礎ワークショップ2009
  • Place of Presentation: 箱根
  • Year and Date: 2009-11-13
• [Presentation] Java Scriptソースコードリポジトリを用いた代替コード発見 (2009)
  • Author(s): 蛭牟田英治, 末次亮, 大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
  • Organizer: ソフトウェア工学の基礎ワークショップ2009
  • Place of Presentation: 箱根湯元温泉ホテルおかだ(神奈川県)
  • Year and Date: 2009-11-13
• [Presentation] Model-View-Controller Architecture Specific Model Transformation (2009)
  • Author(s): Hiroshi Kazato, Rafael Weis, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki
  • Organizer: 9th OOPSLA Workshop on Domain-Specific Modeling(DSM09)
  • Place of Presentation: Orlando, USA
  • Year and Date: 2009-10-25
• [Presentation] Model-View-Controller Architecture Specific Model Transformation (2009)
  • Author(s): Hiroshi Kazato, Rafael Weis, Shinpei, Hayashi, Takashi Kobayashi, Motoshi Saeki
  • Organizer: 9th OOPSLA Workshop on Domain-Specific Modeling(DSM09)
  • Place of Presentation: Disney's Contemporary Resort(Orlando, USA)
  • Year and Date: 2009-10-25
• [Presentation] 多粒度な可視化によるソフトウェア理解支援 (2009)
  • Author(s): 上原伸介,小林隆志,大須賀俊憲,山本晋一郎,阿草清滋
  • Organizer: ソフトウェアエンジニアリングシンポジウム
  • Place of Presentation: 東京
  • Year and Date: 2009-09-08
• [Presentation] CX-Checker : C言語プログラムのためのカスタマイズ可能なコーディングチェッカ (2009)
  • Author(s): 大須賀俊憲,小林隆志,間瀬順一,渥美紀寿,山本晋一郎,鈴村延保,阿草清滋
  • Organizer: ソフトウェアエンジニアリングシンポジウム
  • Place of Presentation: 東京
  • Year and Date: 2009-09-08
• [Presentation] 多粒度な可視化によるソフトウェア理解支援 (2009)
  • Author(s): 上原伸介, 小林隆志, 大須賀俊憲, 山本晋一郎, 阿草清滋
  • Organizer: ソフトウェアエンジニアリングシンポジウム
  • Place of Presentation: 東京女子大学(東京都)
  • Year and Date: 2009-09-08
• [Presentation] CX-Checker : C言語プログラムのためのカスタマイズ可能なコーディングチェッカ (2009)
  • Author(s): 大須賀俊憲, 小林隆志, 間瀬順一, 渥美紀寿, 山本晋一郎, 鈴村延保, 阿草清滋
  • Organizer: ソフトウェアエンジニアリングシンポジウム
  • Place of Presentation: 東京女子大学(東京都)
  • Year and Date: 2009-09-08
• [Presentation] メソッドのインライン展開によるオブジェクトの責務単位でのコードスニペットの抽出 (2009)
  • Author(s): 大場光明, 大須賀俊憲, 小林隆志, 山本晋一郎
  • Organizer: ソースコードの類似性ワークショップ
  • Place of Presentation: 東京女子大学(東京都)
  • Year and Date: 2009-09-07
• [Presentation] Environmental Simulation of Real-Time Systemswith Nested Interrupts (2009)
  • Author(s): Guoqiang Li, Shoji Yuen, Masakazu Adachi
  • Organizer: 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE2009)
  • Place of Presentation: Tianjin, China
  • Year and Date: 2009-07-29
• [Presentation] Environmental Simulation of Real-Time Systems with Nested Interrupts (2009)
  • Author(s): Guoqiang Li, Shoji Yuen, Masakazu Adachi
  • Organizer: 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE2009)
  • Place of Presentation: Tianjin Normal University(Tianjin, China)
  • Year and Date: 2009-07-29
• [Presentation] Image Semantic Search Engine (2009)
  • Author(s): Chao-Qing Lv, Takashi Kobayashi, Kiyoshi Agusa, Wu Kun, Zhu Qing
  • Organizer: Intl Workshop on Database Technology and Applications(DBTA2009)
  • Place of Presentation: Wuhan University(Wuhan, China)
  • Year and Date: 2009-04-25
• [Presentation] 高精度なデータ依存解析に基づくシーケンス図スライシング手法 (2009)
  • Author(s): 野田訓広, 小林隆志, 山本晋一郎, 阿草清滋
  • Organizer: 情報処理学会第163回ソフトウェア工学研究発表会
  • Place of Presentation: 東京化学会館
  • Year and Date: 2009-03-19
• [Presentation] A Full Implementation of Session Types (2009)
  • Author(s): 今井敬吾,結縁祥治,阿草清滋
  • Organizer: 第11回プログラミングおよびプログラミング言語ワークショップPPL2009
  • Place of Presentation: 岐阜
  • Year and Date: 2009-03-10
• [Presentation] A Full Implementation of Session Types (2009)
  • Author(s): 今井敬吾, 結縁祥治, 阿草清滋
  • Organizer: 第11回プログラミングおよびプログラミング言語ワークショップPPL2009
  • Place of Presentation: 岐阜高山グリーンホテル
  • Year and Date: 2009-03-10
• [Presentation] Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証 (2009)
  • Author(s): 馬場敬, 結縁祥治, 阿草清滋
  • Organizer: ソフトウェアサイエンス研究会
  • Place of Presentation: 佐賀大学
  • Year and Date: 2009-03-02
• [Presentation] 構文木の構造とラペルの類似性に基づくコードスニペット抽出 (2009)
  • Author(s): 大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
  • Organizer: ウインターワークショップ2009・イン・宮崎
  • Place of Presentation: 宮崎 宮崎市民プラザ/宮崎観光ホテル
  • Year and Date: 2009-01-23
• [Presentation] 多次元尺度構成法によるソースコード検索におけるソフトウェアの可視化 (2009)
  • Author(s): 渥美紀寿, 末次亮, 山本晋一郎
  • Organizer: ウインターワークショップ2009・イン・宮崎
  • Place of Presentation: 宮崎 宮崎市民プラザ/宮崎観光ホテル
  • Year and Date: 2009-01-23
• [Presentation] スタックトレース情報を用いた問題解決経験の検索 (2008)
  • Author(s): 谷聡貴, 小林隆志, 山本晋一郎, 阿草清滋
  • Organizer: ソフトウェア工学の基礎ワークショップFOSE2008
  • Place of Presentation: 兵庫ウェステインホテル淡路/淡路夢舞台国際会議場
  • Year and Date: 2008-11-14
• [Presentation] コードクローンを用いたコードスニペツト抽出の試み (2008)
  • Author(s): 大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
  • Organizer: ソフトウェア工学の基礎ワークショップFOSE2008
  • Place of Presentation: 兵庫ウェステインホテル淡路/淡路夢舞台国際会議場
  • Year and Date: 2008-11-14