• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

高信頼Webサービスウェアの効率的な開発手法

研究課題

研究課題/領域番号 20300009
研究種目

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 ソフトウエア
研究機関名古屋大学

研究代表者

阿草 清滋  名古屋大学, 情報科学研究科, 教授 (90026360)

研究分担者 結縁 祥治  名古屋大学, 大学院・情報科学研究科, 教授 (70230612)
小林 隆志  名古屋大学, 大学院・情報科学研究科, 准教授 (50345386)
濱ロ 毅 (濱口 毅)  名古屋大学, 大学院・情報科学研究科, 助教 (90273284)
研究期間 (年度) 2008 – 2011
研究課題ステータス 完了 (2011年度)
配分額 *注記
18,460千円 (直接経費: 14,200千円、間接経費: 4,260千円)
2011年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2010年度: 3,250千円 (直接経費: 2,500千円、間接経費: 750千円)
2009年度: 4,940千円 (直接経費: 3,800千円、間接経費: 1,140千円)
2008年度: 8,580千円 (直接経費: 6,600千円、間接経費: 1,980千円)
キーワードWebサービス / コレオグラフィー / プログラム解析 / 通信指向プログラミング / Web応用プログラム / コードマイニング / ソフトウェア再利用 / コードスニペット
研究概要

Webサービスウェアは,ネットワーク上で分散実行されるWebサービスを統合するソフトウェアシステムである.本課題では, Webサービスウェアの効率的な開発技法の確立を目指した.振舞モデルの定義に対してセッション型などの静的解析を適用する抽象的なモデル開発アプローチと、具体的プログラム記述からWebサービス統合として整合した再利用コードを発見する再利用アプローチを実施し,高信頼のサービスウェア構築を目指して研究を行った.

報告書

(6件)
  • 2011 実績報告書   研究成果報告書 ( PDF )
  • 2010 実績報告書   自己評価報告書 ( PDF )
  • 2009 実績報告書
  • 2008 実績報告書
  • 研究成果

    (99件)

すべて 2012 2011 2010 2009 2008 その他

すべて 雑誌論文 (23件) (うち査読あり 22件) 学会発表 (76件)

  • [雑誌論文] Reticella : An Execution Trace Slicing and Visualization Tool based on a Behavior Model2012

    • 著者名/発表者名
      Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Motoshi Saeki, Kiyoshi Agusa
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: Vol.E95-D, No.4 ページ: 959-969

    • NAID

      10030941849

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] CX-Checker :柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ2012

    • 著者名/発表者名
      大須賀俊憲, 小林隆志, 渥美紀寿, 間瀬順一, 山本晋一郎, 鈴村延保, 阿草清滋
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.53 No.2 ページ: 590-600

    • NAID

      110008767164

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] CX-Chekcer:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ2012

    • 著者名/発表者名
      大須賀俊憲
    • 雑誌名

      情報処理学会論文誌

      巻: 53(2) ページ: 590-600

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] デザインパターンへのソフトウェア工学的取り組み2012

    • 著者名/発表者名
      鷲崎弘宜
    • 雑誌名

      コンピュータソフトウェア

      巻: 29(1)

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Session Type Inference in Haskell2011

    • 著者名/発表者名
      Keigo Imai, Shoji Yuen, and Kiyoshi Agusa
    • 雑誌名

      Electronic Proceedings in Theoretical Computer Science

      巻: Vol.69 ページ: 74-91

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] 例外処理を持つ関数型プログラムの停止性・非停止性証明法2011

    • 著者名/発表者名
      濱口毅, 酒井正彦, 馬場正貴, 阿草清滋
    • 雑誌名

      情報処理学会論文誌(トランザクション)プログラミング

      巻: Vol.4 No.1 ページ: 13-30

    • NAID

      110008616674

    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
    • 査読あり
  • [雑誌論文] Session Type Inference in Haskell2011

    • 著者名/発表者名
      Keigo Imai
    • 雑誌名

      lectronic Proceedings in Theoretical Computer Science

      巻: 69 ページ: 74-91

    • DOI

      10.4204/eptcs.69.6

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] OJL:産学連携による新しい人材育成の試み(特集高度IT人材育成の軌跡)2011

    • 著者名/発表者名
      阿草清滋
    • 雑誌名

      情報処理

      巻: 52(10) ページ: 1254-12570

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Session type inference in Haskell2011

    • 著者名/発表者名
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • 雑誌名

      Post-proceedings of PLACES10, EPTCS 2011 (採録決定)

    • 関連する報告書
      2010 自己評価報告書
    • 査読あり
  • [雑誌論文] Modelling and analysis of real-time systems with mutex components2011

    • 著者名/発表者名
      Guoqiang Li, Xiaojuan Cai, Shoji Yuen
    • 雑誌名

      International Journal of Foundation of Computer Science (採録決定)

    • 関連する報告書
      2010 自己評価報告書
    • 査読あり
  • [雑誌論文] データマイニング技術を応用したソフトウェア構築・保守支援の研究動向2010

    • 著者名/発表者名
      小林隆志, 林晋平
    • 雑誌名

      コンピュータソフトウェア

      巻: Vol.27 No.3 ページ: 13-23

    • NAID

      10026562804

    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
    • 査読あり
  • [雑誌論文] JavaScriptソースコードリポジトリを用いた代替コード発見2010

    • 著者名/発表者名
      蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • 雑誌名

      コンピュータソフトウェア

      巻: Vol.27 No.2 ページ: 129-134

    • NAID

      130004549168

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] 多粒度な可視化によるソフトウェア理解支援2010

    • 著者名/発表者名
      上原伸介, 小林隆志, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • 雑誌名

      コンピュータソフトウェア

      巻: Vol.27 No.2 ページ: 116-121

    • NAID

      130004549166

    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
    • 査読あり
  • [雑誌論文] On the Job Learning :産学連携による新しいソフトウェア工学教育手法2010

    • 著者名/発表者名
      小林隆志, 沢田篤史, 山本晋一郎, 野呂昌満, 阿草清滋
    • 雑誌名

      情報システム学会誌

      巻: Vol.5 No.2 ページ: 32-45

    • NAID

      110007358930

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] 例外処理を持つ関数型プログラムの停止性・非停止性証明法2010

    • 著者名/発表者名
      濱口毅, 酒井正彦, 馬場正貴, 阿草清滋
    • 雑誌名

      情報処理学会論文誌(トランザクション)プログラミング Vol.4, No.2,

      ページ: 13-30

    • NAID

      110008616674

    • 関連する報告書
      2010 自己評価報告書
    • 査読あり
  • [雑誌論文] JavaScriptソースコードリポジトリを用いた代替コード発見2010

    • 著者名/発表者名
      蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • 雑誌名

      コンピュータソフトウェア 27(2)

      ページ: 129-134

    • NAID

      130004549168

    • 関連する報告書
      2010 自己評価報告書
    • 査読あり
  • [雑誌論文] データマイニング技術を応用したソフトウェア構築・保守支援の研究動向2010

    • 著者名/発表者名
      小林隆志, 林晋平
    • 雑誌名

      コンピュータソフトウェア 27(3)

      ページ: 13-23

    • NAID

      10026562804

    • 関連する報告書
      2010 自己評価報告書
    • 査読あり
  • [雑誌論文] Java Scriptソースコードリポジトリを用いた代替コード発見2010

    • 著者名/発表者名
      蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • 雑誌名

      コンピュータソフトウェア

      巻: 27(2) ページ: 129-134

    • NAID

      130004549168

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] On the Job Learning:産学連携による新しいソフトウェア工学教育手法2010

    • 著者名/発表者名
      小林隆志, 沢田篤史, 山本晋一郎, 野呂昌満, 阿草清滋
    • 雑誌名

      情報システム学会誌

      巻: 5(2) ページ: 32-45

    • NAID

      110007358930

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] テスト実行に基づくコンポーネント検索2008

    • 著者名/発表者名
      安藤恭平, 金子伸幸, 山本晋一郎, 阿草清滋
    • 雑誌名

      コンピュータソフトウェア

      巻: vol.25 No.3 ページ: 194-207

    • NAID

      130004549114

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] テスト実行に基づくコンポーネント検索2008

    • 著者名/発表者名
      安藤恭平, 金子伸幸, 山本晋一郎, 阿草清滋
    • 雑誌名

      コンピュータソフトウェア vol. 25, no. 3

      ページ: 194-207

    • NAID

      130004549114

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] 特集情報専門学科カリキュラム標準J07ソフトウェアエンジニアリング領域(J07-SE)2008

    • 著者名/発表者名
      阿草清滋, 西康晴, 沢田篤史, 鷲崎弘宣
    • 雑誌名

      情報処理学会論文誌 vol. 49, no. 7

      ページ: 743-749

    • 関連する報告書
      2008 実績報告書
  • [雑誌論文] A session type system with subject reduction

    • 著者名/発表者名
      Keigo Imai, Syoji Yuen, Kiyoshi. Agusa
    • 雑誌名

      IEICE Transaction

    • NAID

      10031126714

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [学会発表] 開発スタイルにあわせたプログラム解析応用の必要性2012

    • 著者名/発表者名
      小林隆志
    • 学会等名
      ウインターワークショップ2012・イン・琵琶湖
    • 発表場所
      滋賀
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Proving Termination of Functional Programs with Exception Handling2012

    • 著者名/発表者名
      Takeshi Hamaguchi
    • 学会等名
      36th TRS Meeting
    • 発表場所
      Matsue, Japan
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング2012

    • 著者名/発表者名
      戸田達也
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      沖縄
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Alloyを用いたRuby on Railsアプリケーションの開発支援2012

    • 著者名/発表者名
      水谷浩明
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      沖縄
    • 関連する報告書
      2011 実績報告書
  • [学会発表] メソッド境界を越えた呼び出しパターン抽出のためのコールグラフ探索戦略2012

    • 著者名/発表者名
      大塲光明
    • 学会等名
      情報処理学会第175回ソフトウェア工学研究会
    • 発表場所
      東京
    • 関連する報告書
      2011 実績報告書
  • [学会発表] ファイルアクセス履歴から抽出した参照関係に基づくファイル検索手法2011

    • 著者名/発表者名
      山下訓昭,小林隆志,横田治夫,阿草清滋
    • 学会等名
      第4回Webとデータベースに関するフォーラム
    • 発表場所
      東京
    • 年月日
      2011-11-04
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール2011

    • 著者名/発表者名
      野田訓広, 小林隆志, 阿草清滋
    • 学会等名
      情報処理学会ソフトウェア工学研究会
    • 発表場所
      東京
    • 年月日
      2011-03-15
    • 関連する報告書
      2010 自己評価報告書
  • [学会発表] メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール2011

    • 著者名/発表者名
      野田訓広, 小林隆志, 阿草清滋
    • 学会等名
      メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
    • 発表場所
      東京
    • 年月日
      2011-03-15
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 名前渡しプロセス計算における優先度ガード2011

    • 著者名/発表者名
      結縁祥治、太田正悟
    • 学会等名
      第13回プログラミングおよびプログラミング言語ワークショップ PPL2011, 246-257
    • 年月日
      2011-03-11
    • 関連する報告書
      2010 自己評価報告書
  • [学会発表] 並行処理記述のためのDynAlloyの拡張2011

    • 著者名/発表者名
      岩塚卓弥,結縁祥治
    • 学会等名
      第13回プログラミングおよびプログラミング言語ワークショップ
    • 発表場所
      北海道
    • 年月日
      2011-03-10
    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
  • [学会発表] 名前渡しプロセス計算における優先度ガード2011

    • 著者名/発表者名
      結縁祥治,太田正悟
    • 学会等名
      第13回プログラミングおよびプログラミング言語ワークショップ
    • 発表場所
      北海道
    • 年月日
      2011-03-10
    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
  • [学会発表] 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ2011

    • 著者名/発表者名
      伴潤、結縁祥治
    • 学会等名
      電子情報通信学会、ソフトウェアサイエンス研究会
    • 年月日
      2011-03-07
    • 関連する報告書
      2010 自己評価報告書
  • [学会発表] 変更支援のための成果物アクセス履歴マイニング2011

    • 著者名/発表者名
      加藤希, 小林隆志, 阿草清滋
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      沖縄
    • 年月日
      2011-03-07
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 責務記述に基づくクラスの責務割り当て支援2011

    • 著者名/発表者名
      秋山幹博, 林晋平, 小林隆志, 佐伯元司
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      沖縄
    • 年月日
      2011-03-07
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ2011

    • 著者名/発表者名
      伴潤, 結縁祥治
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      沖縄
    • 年月日
      2011-03-07
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 複数観点を用いた木類似度算出法によるソースコードの類似構造の抽出2011

    • 著者名/発表者名
      池田健人, 小林隆志, 波多野賢治, 深川大路
    • 学会等名
      第3回データ工学と情報マネジメントに関するフォーラム
    • 発表場所
      静岡
    • 年月日
      2011-02-28
    • 関連する報告書
      2010 実績報告書
  • [学会発表] コーディング規約違反に着目したソフトウェアメトリクス2011

    • 著者名/発表者名
      高井康勢, 渥美紀寿, 小林隆志
    • 学会等名
      ウィンターワークショップ2011
    • 発表場所
      静岡
    • 年月日
      2011-01-21
    • 関連する報告書
      2010 実績報告書
  • [学会発表] An XML Representation of Preprocessed Code for Static Analysis2011

    • 著者名/発表者名
      Noritoshi Atsumi, Mitsuaki Oba, Takashi Kobayashi, Shinichiro Yamamoto and Kiyoshi Agusa
    • 学会等名
      IEEE 22nd annual International Symposium on Software Reliability Engineering(ISSRE 2011)
    • 発表場所
      Hiroshima, Japan
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Software Metrics based on Coding Standards Violations2011

    • 著者名/発表者名
      Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa
    • 学会等名
      the Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement(IWSM/MENSURA2011)
    • 発表場所
      Nara, Japan
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Alloyによるタスクスケジューリング解析2011

    • 著者名/発表者名
      中堂園貴幸,結縁祥治
    • 学会等名
      組込みシステムシンポジウム2011
    • 発表場所
      東京
    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
  • [学会発表] Supporting Design Model Refactoring for Improving Class Responsibility Assignment2011

    • 著者名/発表者名
      Motohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki
    • 学会等名
      ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems(MODELS 2011)
    • 発表場所
      Wellington, New Zealand
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] An XML C Source Code Interchange Format for CASE Tools2011

    • 著者名/発表者名
      Noritoshi Atsumi, Shinichiro Yamamoto, Takashi Kobayashi, Kiyoshi Agusa
    • 学会等名
      the IEEE Signature Conference on Computers 2011, Software, and ApplicationsMunich
    • 発表場所
      Germany
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Preliminary Assessment of Software Metrics based on Coding Standards Violations2011

    • 著者名/発表者名
      Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa
    • 学会等名
      Joint Workshop on Software Science and Engineering(IEICE Technical Report No.IEICE-SS2011-12)
    • 発表場所
      Seoul, Korea
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] An Extension of DynAlloy with Concurrency2011

    • 著者名/発表者名
      Takuya Iwatsuka, Shoji Yuen
    • 学会等名
      IEICE SIGSS(Joint Workshop on Software Science and Engineering)(IEICE Technical Report No.IEICE-SS2011-1)
    • 発表場所
      Seoul, Korea
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] An Extension of DynAlloy with Concurrency2011

    • 著者名/発表者名
      Takuya Iwatsuka
    • 学会等名
      IEICE SIGSS (Joint Workshop on Software Science and Engineering)
    • 発表場所
      Seoul, Korea
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Preliminary Assessment of Software Metrics based on Coding Standards Violations2011

    • 著者名/発表者名
      Yasunari Takai
    • 学会等名
      IEICE SIGSS (Joint Workshop on Software Science and Engineering)
    • 発表場所
      Seoul, Korea
    • 関連する報告書
      2011 実績報告書
  • [学会発表] An XML C Source Code Interchange Format for CASE Tools2011

    • 著者名/発表者名
      Noritoshi Atsumi
    • 学会等名
      the IEEE Signature Conference on Computers 2011, Software, and Applications
    • 発表場所
      Munich, Germany
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Calculating Similarities between Tree Data based on Structural Analysis2011

    • 著者名/発表者名
      Kento Ikeda
    • 学会等名
      3rd International Conference on Intelligent Decision Technologies (KES IDT2011)
    • 発表場所
      Piraeus, Greece
    • 関連する報告書
      2011 実績報告書
  • [学会発表] バリエーション並行開発のための版管理機構2011

    • 著者名/発表者名
      渥美紀寿
    • 学会等名
      日本ソフトウェア科学会第28回大会
    • 発表場所
      沖縄
    • 関連する報告書
      2011 実績報告書
  • [学会発表] シーケンシャルパターンマイニングによるJavaScriptの代替コード発見2011

    • 著者名/発表者名
      藤谷隆宏
    • 学会等名
      日本ソフトウェア科学会第28回大会
    • 発表場所
      沖縄
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Supporting Design Model Refactoring for Improving Class Responsibility Assignment2011

    • 著者名/発表者名
      Motohiro Akiyama
    • 学会等名
      ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS
    • 発表場所
      Wellington, New Zealand
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 分離論理を用いたTOPPERS/ASPの割込み動作に対する検証2011

    • 著者名/発表者名
      中島崇
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      石川
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Software Metrics based on Coding Standards Violations2011

    • 著者名/発表者名
      Yasunari Takai
    • 学会等名
      21th International Workshop on Software Measuremen (IWSM/MENSURA2011)
    • 発表場所
      Nara, Japan
    • 関連する報告書
      2011 実績報告書
  • [学会発表] An XML Representation of Preprocessed Code for Static Analysis2011

    • 著者名/発表者名
      Noritoshi Atsumi
    • 学会等名
      IEEE 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011)
    • 発表場所
      Hiroshima, Japan
    • 関連する報告書
      2011 実績報告書
  • [学会発表] データマイニング技術を応用したソフトウェア構築・保守支援2010

    • 著者名/発表者名
      小林隆志,林晋平
    • 学会等名
      第17回ソフトウェア工学の基礎ワークショップFOSE2010
    • 発表場所
      新潟
    • 年月日
      2010-11-17
    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
  • [学会発表] トレースに基づくデバッグにおける欠陥箇所発見支援手法2010

    • 著者名/発表者名
      上原伸介,小林隆志,渥美紀寿,山本晋一郎,阿草清滋
    • 学会等名
      第17回ソフトウェア工学の基礎ワークショップFOSE2010
    • 発表場所
      新潟
    • 年月日
      2010-11-17
    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
  • [学会発表] 組込みソフトウェア製品ファミリにおけるコンパイルスイッチによる構成管理手法2010

    • 著者名/発表者名
      渥美紀寿,谷聡貴,大塚直也,小林隆志,山本晋一郎,阿草清滋
    • 学会等名
      第17回ソフトウェア工学の基礎ワークショップFOSE2010
    • 発表場所
      新潟
    • 年月日
      2010-11-17
    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
  • [学会発表] 例外処理を持つ関数型プログラムの停止性・非停止性証明法2010

    • 著者名/発表者名
      濱口毅、酒井正彦、馬場正貴、阿草清滋
    • 学会等名
      情報処理学会 第81回プログラミング研究発表会
    • 発表場所
      高知
    • 年月日
      2010-10-28
    • 関連する報告書
      2010 実績報告書
  • [学会発表] CASEツール・プラットフォームのためのCソースプログラムのXML表現とその応用2010

    • 著者名/発表者名
      渥美紀寿,山本晋一郎,小林隆志,阿草清滋
    • 学会等名
      ソフトウェアシンポジウム2010
    • 発表場所
      東京
    • 年月日
      2010-09-01
    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
  • [学会発表] Searching Keyword-lacking Files Based on Latent Interfile Relationships2010

    • 著者名/発表者名
      Tetsutaro Watanabe, Takashi Kobayashi, Haruo Yokota
    • 学会等名
      5th International Conference on Software and Data Technologies(ICSOFT2010)
    • 発表場所
      アテネ・ギリシャ
    • 年月日
      2010-07-18
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Searching Keyword-lacking Files Based on Latent Interfile Relationships2010

    • 著者名/発表者名
      Tetsutaro Watanabe, Takashi Kobayashi, Haruo Yokota
    • 学会等名
      5th International Conference on Software and Data Technologies (ICSOFT2010)
    • 発表場所
      アテネ・ギリシャ
    • 年月日
      2010-07-18
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Modeling and Analysis of Real-Time Systems with Mutex Components2010

    • 著者名/発表者名
      Guoqiang Li, Xiaojuan Cai, Shoji Yuen
    • 学会等名
      12th Advances in Parallel and Distributed Computing Models
    • 発表場所
      Atlanta, USA
    • 年月日
      2010-04-19
    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
  • [学会発表] Modeling and Analysis of Real -Time Systems with Mutex Components2010

    • 著者名/発表者名
      Guoqiang Li, Xiaojuan Cai, Shoji Yuen
    • 学会等名
      12th Advances in Parallel and Distributed Computing Models
    • 発表場所
      Atlanta, USA
    • 年月日
      2010-04-19
    • 関連する報告書
      2010 自己評価報告書
  • [学会発表] Session Type Inference in Haskell2010

    • 著者名/発表者名
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • 学会等名
      PLACES' 10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
    • 発表場所
      Paphos, Cyprus
    • 年月日
      2010-03-21
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Session Type Inference in Haskell2010

    • 著者名/発表者名
      今井敬吾, 結縁祥治, 阿草清滋
    • 学会等名
      PLACES '10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
    • 発表場所
      Coral Beach Hotel(Paphos, Cyprus)
    • 年月日
      2010-03-21
    • 関連する報告書
      2009 実績報告書
  • [学会発表] コレオグラフィに基づく高信頼通信指向GUIプログラミング2010

    • 著者名/発表者名
      下村翔, 結縁祥治
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      鹿児島大学(鹿児島県)
    • 年月日
      2010-03-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析2010

    • 著者名/発表者名
      坂野吉隆, 結縁祥治
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      鹿児島大学(鹿児島県)
    • 年月日
      2010-03-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 極性をもたないセッション型システム2010

    • 著者名/発表者名
      今井敬吾,結縁祥治,阿草清滋
    • 学会等名
      第12回プログラミングおよびプログラミング言語ワークショップPPL2010
    • 発表場所
      香川
    • 年月日
      2010-03-03
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 極性をもたないセッション型システム2010

    • 著者名/発表者名
      今井敬吾, 結縁祥治, 阿草清滋
    • 学会等名
      第12回プログラミングおよびプログラミング言語ワークショップPPL2010
    • 発表場所
      琴参閣(香川県)
    • 年月日
      2010-03-03
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Finding Alternate Javascript Codes with a Code Repository2010

    • 著者名/発表者名
      Eiji HIrumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa
    • 学会等名
      the IASTED International Conference on Software Engineering 2010
    • 発表場所
      Innsburk, Austria
    • 年月日
      2010-02-17
    • 関連する報告書
      2011 研究成果報告書 2010 自己評価報告書
  • [学会発表] Finding Alternate Javascript Codes with a Code Repository2010

    • 著者名/発表者名
      Eiji HIrumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa
    • 学会等名
      the IASTED International Conference on Software Engineering 2010
    • 発表場所
      Congress Innsbruck(Innsbruck, Austria)
    • 年月日
      2010-02-17
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 再利用支援情報発見のためのプログラム解析技術2010

    • 著者名/発表者名
      小林隆志
    • 学会等名
      ウィンターワークショップ2010・イン・倉敷(ww2010)
    • 発表場所
      倉敷市芸文館(岡山県)
    • 年月日
      2010-01-21
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル2009

    • 著者名/発表者名
      水野洋樹, 結縁祥治
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      香川大学(香川県)
    • 年月日
      2009-12-17
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Sequence Diagram Slicing2009

    • 著者名/発表者名
      Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa
    • 学会等名
      Asia-Pacific Software Engineering Conference(APSEC) 2009
    • 発表場所
      Penang, Malaysia
    • 年月日
      2009-12-01
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Sequence Diagram Slicing2009

    • 著者名/発表者名
      Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa
    • 学会等名
      Asia-Pacific Software Engineering Conference(APSEC)2009
    • 発表場所
      Bayview Beach Resort(Penang, Malaysia)
    • 年月日
      2009-12-01
    • 関連する報告書
      2009 実績報告書
  • [学会発表] スタックトレース情報を用いた問題解決経験の検索2009

    • 著者名/発表者名
      谷聡貴,小林隆志,山本晋一郎,阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップFOSE2008
    • 発表場所
      兵庫
    • 年月日
      2009-11-14
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] JavaScriptソースコードリポジトリを用いた代替コード発見2009

    • 著者名/発表者名
      蛭牟田英治,末次亮,大須賀俊憲,小林隆志,山本晋一郎,阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップ2009
    • 発表場所
      箱根
    • 年月日
      2009-11-13
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Java Scriptソースコードリポジトリを用いた代替コード発見2009

    • 著者名/発表者名
      蛭牟田英治, 末次亮, 大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップ2009
    • 発表場所
      箱根湯元温泉ホテルおかだ(神奈川県)
    • 年月日
      2009-11-13
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Model-View-Controller Architecture Specific Model Transformation2009

    • 著者名/発表者名
      Hiroshi Kazato, Rafael Weis, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki
    • 学会等名
      9th OOPSLA Workshop on Domain-Specific Modeling(DSM09)
    • 発表場所
      Orlando, USA
    • 年月日
      2009-10-25
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Model-View-Controller Architecture Specific Model Transformation2009

    • 著者名/発表者名
      Hiroshi Kazato, Rafael Weis, Shinpei, Hayashi, Takashi Kobayashi, Motoshi Saeki
    • 学会等名
      9th OOPSLA Workshop on Domain-Specific Modeling(DSM09)
    • 発表場所
      Disney's Contemporary Resort(Orlando, USA)
    • 年月日
      2009-10-25
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 多粒度な可視化によるソフトウェア理解支援2009

    • 著者名/発表者名
      上原伸介,小林隆志,大須賀俊憲,山本晋一郎,阿草清滋
    • 学会等名
      ソフトウェアエンジニアリングシンポジウム
    • 発表場所
      東京
    • 年月日
      2009-09-08
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] CX-Checker : C言語プログラムのためのカスタマイズ可能なコーディングチェッカ2009

    • 著者名/発表者名
      大須賀俊憲,小林隆志,間瀬順一,渥美紀寿,山本晋一郎,鈴村延保,阿草清滋
    • 学会等名
      ソフトウェアエンジニアリングシンポジウム
    • 発表場所
      東京
    • 年月日
      2009-09-08
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 多粒度な可視化によるソフトウェア理解支援2009

    • 著者名/発表者名
      上原伸介, 小林隆志, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • 学会等名
      ソフトウェアエンジニアリングシンポジウム
    • 発表場所
      東京女子大学(東京都)
    • 年月日
      2009-09-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] CX-Checker : C言語プログラムのためのカスタマイズ可能なコーディングチェッカ2009

    • 著者名/発表者名
      大須賀俊憲, 小林隆志, 間瀬順一, 渥美紀寿, 山本晋一郎, 鈴村延保, 阿草清滋
    • 学会等名
      ソフトウェアエンジニアリングシンポジウム
    • 発表場所
      東京女子大学(東京都)
    • 年月日
      2009-09-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] メソッドのインライン展開によるオブジェクトの責務単位でのコードスニペットの抽出2009

    • 著者名/発表者名
      大場光明, 大須賀俊憲, 小林隆志, 山本晋一郎
    • 学会等名
      ソースコードの類似性ワークショップ
    • 発表場所
      東京女子大学(東京都)
    • 年月日
      2009-09-07
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Environmental Simulation of Real-Time Systemswith Nested Interrupts2009

    • 著者名/発表者名
      Guoqiang Li, Shoji Yuen, Masakazu Adachi
    • 学会等名
      3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE2009)
    • 発表場所
      Tianjin, China
    • 年月日
      2009-07-29
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Environmental Simulation of Real-Time Systems with Nested Interrupts2009

    • 著者名/発表者名
      Guoqiang Li, Shoji Yuen, Masakazu Adachi
    • 学会等名
      3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE2009)
    • 発表場所
      Tianjin Normal University(Tianjin, China)
    • 年月日
      2009-07-29
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Image Semantic Search Engine2009

    • 著者名/発表者名
      Chao-Qing Lv, Takashi Kobayashi, Kiyoshi Agusa, Wu Kun, Zhu Qing
    • 学会等名
      Intl Workshop on Database Technology and Applications(DBTA2009)
    • 発表場所
      Wuhan University(Wuhan, China)
    • 年月日
      2009-04-25
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 高精度なデータ依存解析に基づくシーケンス図スライシング手法2009

    • 著者名/発表者名
      野田訓広, 小林隆志, 山本晋一郎, 阿草清滋
    • 学会等名
      情報処理学会第163回ソフトウェア工学研究発表会
    • 発表場所
      東京化学会館
    • 年月日
      2009-03-19
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A Full Implementation of Session Types2009

    • 著者名/発表者名
      今井敬吾,結縁祥治,阿草清滋
    • 学会等名
      第11回プログラミングおよびプログラミング言語ワークショップPPL2009
    • 発表場所
      岐阜
    • 年月日
      2009-03-10
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] A Full Implementation of Session Types2009

    • 著者名/発表者名
      今井敬吾, 結縁祥治, 阿草清滋
    • 学会等名
      第11回プログラミングおよびプログラミング言語ワークショップPPL2009
    • 発表場所
      岐阜高山グリーンホテル
    • 年月日
      2009-03-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証2009

    • 著者名/発表者名
      馬場敬, 結縁祥治, 阿草清滋
    • 学会等名
      ソフトウェアサイエンス研究会
    • 発表場所
      佐賀大学
    • 年月日
      2009-03-02
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 構文木の構造とラペルの類似性に基づくコードスニペット抽出2009

    • 著者名/発表者名
      大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
    • 学会等名
      ウインターワークショップ2009・イン・宮崎
    • 発表場所
      宮崎 宮崎市民プラザ/宮崎観光ホテル
    • 年月日
      2009-01-23
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 多次元尺度構成法によるソースコード検索におけるソフトウェアの可視化2009

    • 著者名/発表者名
      渥美紀寿, 末次亮, 山本晋一郎
    • 学会等名
      ウインターワークショップ2009・イン・宮崎
    • 発表場所
      宮崎 宮崎市民プラザ/宮崎観光ホテル
    • 年月日
      2009-01-23
    • 関連する報告書
      2008 実績報告書
  • [学会発表] スタックトレース情報を用いた問題解決経験の検索2008

    • 著者名/発表者名
      谷聡貴, 小林隆志, 山本晋一郎, 阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップFOSE2008
    • 発表場所
      兵庫ウェステインホテル淡路/淡路夢舞台国際会議場
    • 年月日
      2008-11-14
    • 関連する報告書
      2008 実績報告書
  • [学会発表] コードクローンを用いたコードスニペツト抽出の試み2008

    • 著者名/発表者名
      大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップFOSE2008
    • 発表場所
      兵庫ウェステインホテル淡路/淡路夢舞台国際会議場
    • 年月日
      2008-11-14
    • 関連する報告書
      2008 実績報告書

URL: 

公開日: 2008-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi