1. 文献
   1. 論文，学会発表
   2. その他
   3. Sapidに関連する文献

8 文献

8.1 論文，学会発表

• 馬渕 謙, 山本 晋一郎, 酒井 正彦, 阿草 清滋: ソフトウェア保守におけるプログラム理解支援システム, 情報処理学会第43回全国大会, 1J-1, pp.5-253, 254 (1991/10)

• 吉田 敦, 山本 晋一郎, 阿草 清滋: ソフトウェア操作言語の提案, 電子情報通信学会ソフトウェアサイエンス研究会, Vol.92, No.18, pp.1--8 (1993/1)

• 橋本 靖, 山本 晋一郎, 阿草 清滋: Program Slicing を利用したプログラムカスタマイザ , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.94, No.10, pp.73--80 (1994/5)

• 有賀 寛朗, 山本 晋一郎, 阿草 清滋: ソフトウェア構造解析情報に基づくツールプラットホームシステム , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.94, No.15, pp.25--32 (1994/7)

• Yoshida Atsushi, Yamamoto Shinichirou and Agusa Kiyoshi: A Software Manipulating Language for a MetaCASE , The First International Congress on META-CASE (1995/1)

• 山本 晋一郎, 阿草 清滋: 細粒度リポジトリに基づいたツール・プラットフォームとその応用 , 情報処理学会ソフトウェア工学研究会, Vol.102, No.7, pp.37--42 (1995/1)

• 吉田 敦, 山本 晋一郎, 阿草 清滋: 依存関係に基づく差分抽出ツール , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.95, No.8, pp.53--60 (1995/8)

• 吉田 敦, 山本 晋一郎, 阿草 清滋: CASEツール開発のためのソフトウェア操作言語 , 情報処理学会論文誌, Vol.36, No.10, pp.2433--2441 (1995/11)

• 内山 晃司, 山本 晋一郎, 阿草 清滋: 依存関係が定義可能なテストベッド , 情報処理学会ソフトウェア工学研究会, Vol.106, No.6, pp.41--47 (1995/11)

• 木野 和佳, 山本 晋一郎, 阿草 清滋: プログラム動作理解のための抽象実行系 , 日本ソフトウェア科学会FOSE'96, pp.98--101 (1996/12)

• 大崎 博基, 山本 晋一郎, 阿草 清滋: プログラム理解のための依存関係表示ツール , 日本ソフトウェア科学会FOSE'96, pp.34--41 (1996/12)

• 山本 晋一郎, 阿草 清滋: 柔らかなソフトウェア部品と新工法 , 情報処理学会ウインターワークショップ・イン・松山, 情処ワークショップ論文集, Vol.97, No.1, pp.55--56 (1997/1)

• 吉田 敦, 山本 晋一郎, 阿草 清滋: 意味を考慮した差分抽出ツール , 情報処理学会論文誌, Vol.38, No.6, pp.1163--1171 (1997/6)

• 岩本 奈美, 山本 晋一郎, 阿草 清滋: 関数スライサによるプログラム部品抽出手法とその応用 , 情報処理学会ソフトウェア工学研究会, Vol.115, No.4, pp.25--32 (1997/7)

• 椴山 嘉人, 山本 晋一郎, 阿草 清滋: FunGramに基づくプログラムパターンとその応用 , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.97, No.29, pp.31--38 (1997/9)

• 吉田 敦, 山本 晋一郎, 阿草 清滋: 抽象スレッドに基づいたソースプログラムの依存解析手法 , 日本ソフトウェア科学会第14回大会論文集, pp.157--160 (1997/9)

• 河合 茂樹, 山本 晋一郎, 阿草 清滋: 既存プログラムからの規範パターン獲得とそれに基づくコーディングチェッカ , 日本ソフトウェア科学会FOSE'97, pp.99--106 (1997/12)

• 小西 智久, 山本 晋一郎, 阿草 清滋: 入力ドメイン解析に基づく自動テストデータ生成とそれを用いたテストツールの開発 , 日本ソフトウェア科学会FOSE'97, pp.107--110 (1997/12)

• 倉内 伸和, 山本 晋一郎, 阿草 清滋: ソースプログラムに対する構文規則に基づいた高度な問い合わせシステムについて , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.97, No.522, pp25--32 (1998/1)

• 日高 隆博, 山本 晋一郎, 阿草 清滋: ソフトウェアの動作状況のモデル化に関する研究, 電子情報通信学会ソフトウェアサイエンス研究会, Vol.97, No.83, pp.49--56 (1998/3)

• 福安 直樹, 山本 晋一郎, 阿草 清滋: 細粒度ソフトウェア・リポジトリに基づいたCASEツール・プラットフォームSapid , 情報処理学会論文誌, Vol.39, No.6, pp.1990--1998 (1998/6)

• 福安 直樹, 吉田 敦, 山本 晋一郎, 阿草 清滋: 細粒度ソフトウェア・リポジトリに基づいたソースプログラムの安全な変更 , 日本ソフトウェア科学会コンピュータソフトウェア, Vol.15, No.4, pp.78--81 (1998/7)

• 鈴木 宏紀, 山本 晋一郎, 阿草 清滋: プログラムの実行情報の視覚化による理解支援ツール , 情報処理学会ソフトウェア工学研究会, Vol.98, No.64, pp.77--84 (1998/7)

• 大橋 洋貴, 山本 晋一郎, 阿草 清滋: ハイパーテキストに基づいたソースプログラム・レビュー支援ツール , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.98, No.28, pp.15--22 (1998/9)

• 吉田 敦, 山本 晋一郎, 阿草 清滋: ソースプログラムに対する変更操作が可能な細粒度ソフトウェアリポジトリの提案 , 日本ソフトウェア科学会FOSE'98, pp.189--198 (1998/11)

• 三浦 良, 山本 晋一郎, 阿草 清滋: プログラムパターンの段階的抽出手法 , 日本ソフトウェア科学会FOSE'98, pp.181--188 (1998/11)

• 鈴木 宏紀, 山本 晋一郎, 阿草 清滋: プログラムの構造情報の視覚表現を用いた動作情報の視覚化 , 日本ソフトウェア科学会WISS'98, pp.99--104 (1998/12)

• 岩本 奈美, 山本 晋一郎, 阿草 清滋: 部分評価を利用したプログラム部品抽出手法 , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.98, No.36, pp.9--16 (1998/12)

• 吉田 敦, 山本 晋一郎, 阿草 清滋: 抽象スレッドに基づくソースプログラムの依存解析の枠組の提案 , 日本ソフトウェア科学会コンピュータソフトウェア, Vol.16, No.1, pp.46--56 (1999/1)

• 山本 晋一郎: オープンソースとソフトウェアリサイクル , 情報処理学会ウインターワークショップ・イン・高知, 情処シンポジウムシリーズ, Vol.99, No.1, pp.75--76 (1999/1)

• 阿草 清滋: 大学におけるソフトウェア開発 ---紺屋の紺袴作り--- , システム制御情報学会システム/制御/情報 Vol.43, No.2, pp.71--79 (1999/2)

• 尾崎 憲幸, 吉田 敦, 山本 晋一郎, 阿草 清滋: 意味を考慮したプログラムの差分抽出法の提案, 情報処理学会ソフトウェア工学研究会, Vol.123, No.4, pp.25--32 (1999/5)

• Hachisu Yoshinari, Yamamoto Shinichirou and Agusa Kiyoshi: Some Methods for Specializing Object-Oriented Programs , 情報処理学会論文誌, Vol.40, No.3, pp.1346--1349 (1999/3)

• 蜂巣 吉成, 山本 晋一郎, 阿草 清滋: オブジェクト指向言語のための細粒度システム依存グラフ , 情報処理学会論文誌, Vol.40, No.4, pp.1851--1860 (1999/4)

• Hachisu Yoshinari, Yamamoto Shinichirou and Agusa Kiyoshi: A CASE Tool Platform for an Object Oriented Language , IEICE Trans. on Information and Systems, Vol.E82-D, No.5, pp.977--984 (1999/5)

• Fukuyasu Naoki, Yamamoto Shinichirou and Agusa Kiyoshi: An Evolution Framework based on Fine Grained Repository , International Workshop on Principles of Software Evolution, pp.43--47 (1999/7)

• 大橋 洋貴, 山本 晋一郎, 阿草 清滋: ソフトウェア空間をトラバースする柔軟な検索 , 日本ソフトウェア科学会第16回大会論文集, pp.149--152 (1999/9)

• 古山 将佳寿, 山本 晋一郎, 阿草 清滋: ドキュメントを含むソフトウェアモデルの提案 , 日本ソフトウェア科学会FOSE'99, pp.100--107 (1999/11)

• 鈴木 孝聡, 山本 晋一郎, 阿草 清滋: Javaプログラムの振舞いのモデル化 , 日本ソフトウェア科学会FOSE'99, pp.236--243 (1999/11)

• 福安 直樹, 吉田 敦: 開発者の対話のためのプログラム断片提示手法の提案 , 日本ソフトウェア科学会第17回大会論文集, D5-4 (2000/9)

• 尾崎 憲幸, 吉田 敦, 山本 晋一郎, 阿草 清滋: プログラムの正規化に基づいた差分抽出法の提案, 日本ソフトウェア科学会FOSE2000, pp.197--204 (2000/11)

• 安原 継二, 山本 晋一郎, 阿草 清滋: オブジェクト属性を利用したソフトウェアの視覚化, 日本ソフトウェア科学会FOSE2000, pp.189--196 (2000/11)

• 三浦 良, 山本 晋一郎, 阿草 清滋: プログラミングナビゲーションのための関数呼び出し依存グラフ , 日本ソフトウェア科学会コンピュータソフトウェア別冊, ソフトウェア発展, pp.19--29 (2000/12)

• 渥美 紀寿, 山本 晋一郎, 阿草 清滋: 関数呼出依存グラフに基づくプログラミング支援 , 日本ソフトウェア科学会第18回大会論文集, 2B-2 (2001/9)

• 星野 康, 山本 晋一郎, 阿草 清滋: 細粒度リポジトリにおけるコメント管理方式 , 日本ソフトウェア科学会FOSE2001, pp.93--104 (2001/11)

• 戸板 晃一, 山本 晋一郎, 阿草 清滋: XMLを用いたソフトウェア関連文書とソースプログラムの整合性検査ツール , 日本ソフトウェア科学会FOSE2001, pp.129--140 (2001/11)

• Noritoshi Atsumi, Shoji Yuen, Kiyoshi Agusa, Shinichirou Yamamoto: Library Evolution for Reliable Software , International Workshop on Principles of Software Evolution, pp.66--70 (2002/5), Orlando Florida USA

• 吉田 一, 山本 晋一郎, 阿草 清滋: XMLを用いた汎用的な細粒度ソフトウェアリポジトリの実装 , 情報処理学会OO2002シンポジウム, pp.83--90 (2002/8)

• 山本 晋一郎, 阿草 清滋: Javaを対象としたCASEツール・プラットフォーム , 情報処理学会OO2002シンポジウム, pp.195--196 (2002/8)

• 新美 健一, 山本 晋一郎, 阿草 清滋: diffを用いたソフトウェア構成要素の階層化差分 , 日本ソフトウェア科学会FOSE'02, pp.171--174 (2002/11)

• 戸板 晃一, 山本 晋一郎, 阿草 清滋: プログラムスライシングツールのための共通表現 , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.102, No.704, pp.13--19 (2003/3)

• 大橋 良徳, 山本 晋一郎, 阿草 清滋: ソフトウェアの大局的可視化のための組織化メトリクス, 情報処理学会ソフトウェア工学研究会, Vol.2003, No.22, pp.79--86 (2003/3)

• 吉田 一, 山本 晋一郎, 阿草 清滋: XMLを用いた汎用的な細粒度ソフトウェアリポジトリの実装 , 情報処理学会論文誌, Vol.44, No.6, pp.1509--1516 (2003/6)

• 沢田 洋平, 大久保 弘崇, 粕谷 英人, 山本 晋一郎: 付箋によるコミュニケーション機能を備えたソフトウェアブラウザ , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.103, No.189, pp.13--18 (2003/7)

• 山本 晋一郎, 丸山 勝久: Javaを対象とした細粒度リポジトリと付箋機能を備えたブラウザ , 情報処理学会OO2003シンポジウム, pp.189--190 (2003/8)

• 渥美 紀寿, 山本 晋一郎, 阿草 清滋: コーディング検査のためのライブラリ利用パターン抽出手法 , 日本ソフトウェア科学会第20回大会論文集, 1E-2 (2003/9)

• 吉田 一, 山本 晋一郎, 阿草 清滋: RDFの細粒度ソフトウェアリポジトリへの応用 , 日本ソフトウェア科学会FOSE'03, pp.101--104 (2003/11)

• 新美 健一, 山本 晋一郎, 阿草 清滋: 抽象ソフトウェアエレメントによるCASEツール開発のためのフレームワーク , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.103, No.582, pp.19--24 (2004/1)

• 斉藤 孝志, 大久保 弘崇, 粕谷 英人, 山本 晋一郎: ミューテーションスコアを利用したテストセット評価システム , ソフトウェアテストシンポジウム2004, pp.107--112 (2004/1)

• 山本 晋一郎: 新世代ソフトウェア開発ツール , 情報処理学会ウインターワークショップ・イン・石垣島, 情処シンポジウムシリーズ, Vol.2004, No.4, pp.55--56 (2004/1)

• 笠原 史郎, 大久保 弘崇, 粕谷 英人, 山本 晋一郎: 構文解析器の開発支援環境 , 情報処理学会ソフトウェア工学研究会, Vol.2004, No.30, pp.55--60 (2004/3)

• 太田 洋介, 大久保 弘崇, 粕谷 英人, 山本 晋一郎: Cプログラムの理解を支援するナビゲーション機能 , 情報処理学会ソフトウェア工学研究会, Vol.2004, No.30, pp.61--66 (2004/3)

• Noritoshi Atsumi, Kiyoshi Agusa, Shinichirou Yamamoto: Categorization of Library Function Call Patterns , Workshop on Software Product Archiving and Retrieving System Program, pp.11--20 (2004/4), Kyoto JAPAN

• 渥美 紀寿, 山本 晋一朗, 結縁 祥治, 阿草 清滋: FCDGに基づいたコーディングパターン , 日本ソフトウェア科学会コンピュータソフトウェア, Vol.21, No.4, pp.27--36 (2004/7)

• 大久保 弘崇, 山本 晋一郎, 坂部 俊樹, 稲垣 康善: 形式的手法に基づくJavaScriptプログラムの型検査系の実現 , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.104, No.47, pp.13--18 (2004/5)

• 大久保 弘崇, 山本 晋一郎, 坂部 俊樹, 稲垣 康善: モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.104, No.242, pp.41--46 (2004/8)

• K.Maruyama and S.Yamamoto: A CASE Tool Platform Using an XML Representation of Java Source Code, Fourth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), pp.158--167 (2004/9), Chicago Illinois USA

• 高橋 透, 大久保 弘崇, 粕谷 英人, 山本 晋一郎: XMLを用いたCASEツール・プラットフォーム作成支援環境 , 日本ソフトウェア科学会FOSE'04, pp.161--172 (2004/11)

• 式町 健, 山本 晋一郎, 阿草 清滋: Webアプリケーションの構造に基づくテスト基準 , 日本ソフトウェア科学会FOSE'04, pp.213--223 (2004/11)

• 吉田 一, 山本 晋一郎, 阿草 清滋: 宣言的なプログラム解析が可能なRDFに基づく細粒度ソフトウェアリポジトリ , 情報処理学会ソフトウェア工学研究会, Vol.2005, No.147 (5), pp.33--40 (2005/3)

• 後藤 英斗, 大久保 弘崇, 粕谷 英人, 山本 晋一郎: 文脈に基づいたソースプログラムとドキュメント間の識別子対応付け手法 , 情報処理学会ソフトウェア工学研究会, Vol.2005, No.147 (6), pp.41--48 (2005/3)

• 斉藤 孝志, 大久保 弘崇, 粕谷 英人, 山本 晋一郎: ミューテーション法を用いたテストセット構成支援に関する研究 , 情報処理学会ソフトウェア工学研究会, Vol.2005, No.147 (7), pp.49--56 (2005/3)

• 沢田 洋平, 大久保 弘崇, 粕谷 英人, 山本 晋一郎: WebアノテーションとWeblogを統合した個人の情報発信メディア , 電子情報通信学会Webインテリジェンスとインタラクション研究会 Vol.WI2-2005, No.11, pp.1--6 (2005/3)

• 大久保 弘崇, 山本 晋一郎, 坂部 俊樹, 稲垣 康善: モデル生成に基づくJavaScriptプログラム型検査系 , 電子情報通信学会ソフトウェアサイエンス研究会, Vol.105, No.25, pp.25--30 (2005/4)

• K.Maruyama and S.Yamamoto: Design and Implementation of an Extensible and Modifiable Refactoring Tool, 13th IEEE International Workshop on Program Comprehension (IWPC 2005), pp.195--204 (2005/5), St. Louis Missouri USA

• 松塚 貴英, 阿草 清滋, 山本 晋一郎: ラウンドトリップエンジニアリングを目指したWebアプリケーションのための意味モデル, 情報処理学会論文誌, Vol.46, No.5, pp.1145--1154 (2005/5)

• 渥美 紀寿，山本 晋一郎，阿草 清滋: XML記述によるソフトウェアリポジトリを用いたコード検索 , 情報処理学会ソフトウェア工学研究会, Vol.2005, No.149, pp.57--64 (2005/7)

• 渥美 紀寿，山本 晋一郎，阿草 清滋: イディオム検索のための関数呼出依存グラフのクラスタリング手法, 電子情報通信学会論文誌, Vol.J88-D-I, No.11, pp.1696--1707 (2005/11)

• 黒川 翔, 桑原 寛明, 山本 晋一郎, 阿草 清滋: Webアプリケーションにおけるデータ依存グラフ,, 日本ソフトウェア科学会FOSE'05, pp.237--246 (2005/11)

8.2 その他

• 吉田 敦, 山本 晋一郎, 阿草 清滋: ソフトウェア再利用のためのソフトウェア操作言語の提案, ソフトウェア・シンポジウム'93論文集, pp.84--89 (1993/6)

• 山本 晋一郎, 大橋 洋貴, 大久保 弘崇, 粕谷 英人, 阿草 清滋: オープンソースの潮流を支援するためのソースプログラム・アーカイブ・サ イトの提案 , ソフトウェアシンポジウム'99論文集, pp.129--137 (1999/6)

• 大橋 洋貴, 古山 将佳寿, 吉田 敦, 山本 晋一郎, 阿草 清滋: ソースプログラム・アーカイブ・サイトSappy , オープンソースまつり'99 in 秋葉原 (1999/11)

• 吉田 敦: ソフトウェア・アーカイブ・サイトSappy, 和歌山大学システム情報学センター広報, Vol.4, pp.11--16 (2000/3)

• 藤田 充典, 藤枝 和宏, 山本 晋一郎, 落水 浩一郎, 阿草 清滋: オープンソースとソフトウェア進化, bit, Vol.32, No.12, pp.21--27, 共立出版 (2000/12)

• 山本 晋一郎: オープンソースに潜む問題 , 日本ソフトウェア科学会FOSE2000, BOF (2002/11)

• 斉藤 邦彦: Sapidによるソフトウェア解析技法, 滋賀大学経済学部研究業書, Vol.38, pp.1--150, (2003/3)

• 山本 晋一郎: ツールワークショップ, 情報処理学会ソフトウェア工学研究会 組込みソフトウェアシンポジウム2004, 東京, (2004/10)

• 山本 晋一郎: クロージングパネル「組込み開発におけるソフトウェア工学の役割」, 情報処理学会ソフトウェア工学研究会 組込みソフトウェアシンポジウム2004, 東京, (2004/10)

• 山本 晋一郎: 下流工程におけるツール間連携とその未来像, ソフトウェアテストシンポジウム2005 (2005/1)

8.3 Sapidに関連する文献

以下の論文は，Sapidを用いて実現したCASEツールに関して言及している．

• 小田 章夫, 鯵坂 恒夫: Cプログラムに対するカプセル発見手法とその支援ツール, 電子情報通信学会論文誌D-I, Vol.J79-D-I, No.10, pp.745--758 (1996/10)

• 荒木 円博, 手嶋 茂晴: リンク自動付与機能を持つ技術文書サーバの開発手法, 情報処理学会第55回全国大会, pp.3-438 -- 3-439 (1997/9)

• 手嶋 茂晴, 荒木 円博, 阿草 清滋: 設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案, 電子情報通信学会論文誌, Vol.J82-D-I, No.6, pp.740--750 (1999/6)

以下の論文は，Sapidに関して言及している．

• 高田 智規, 佐藤 慎一, 飯田 元, 井上 克郎: ソースコード解析ツール開発支援システムの試用, 電子情報通信学会論文誌D-I, Vol.J80-D-I, No.3, pp.317--318 (1997/3)

• 小林 隆志, 権藤 克彦: 構文木に基づく細粒度ソフトウェア・コンフィグレーション・マネージメン トでの影響解析, 日本ソフトウェア科学会FOSE'97, pp.119--126 (1997/12)

• 堀 雅和, 篠田 陽一, 落水 浩一郎: 未来版管理システムの設計と実装, ソフトウエア・シンポジウム'99論文集 (1999)

• Periklis Andritsos, Renée J. Miller: Reverse Engineering Meets Data Analysis, Ninth International Workshop on Program Comprehension, pp.157-166. (2001/5)

• 田中 哲, 一杉 裕志: ソースコード理解支援ツール --- JavaMarkup, 日本ソフトウェア科学会SPA 2002, pp.xxx--yyy (2002/3)
• 松村 知子, 門田 暁人, 松本 健一: 潜在コーディング規則に基づくバグ検出方法の提案, ソフトウェアシンポジウム2002論文集, pp.105--114 (2002/7)

• 権藤 克彦, 川島 勇人: XCI: CASEツール開発向けANSI Cインタプリタの開発経験, 日本ソフトウェア科学会FOSE'02, pp.13--24 (2002/11)

• Sassa, M., Nakaya, T., Kohama, M., Fukuoka, T., Takahashi, M. and Nakata, I.: Static Single Assignment Form in the COINS Compiler Infrastructure - Current Status and Background -, 日本ソフトウェア科学会SPA 2003, pp.xxx--yyy (2003/3)
• 権藤 克彦, 川島 勇人: XMLを用いたANSI C言語用CASEツールプラットフォーム, 情報処理学会OO2003シンポジウム, pp.187--188 (2003/8)

• 権藤 克彦, 川島 勇人: DWARF2デバッグ情報のCASEツールへの応用, 日本ソフトウェア科学会FOSE'03, pp.89--100 (2003/11)

• 川島 勇人, 権藤 克彦: 追跡子としてのXMLタグによるC前処理問題への対応, 日本ソフトウェア科学会FOSE'03, pp.105--108 (2003/11)

• 丸山 勝久: XMLを用いた拡張性の高いリファクタリングツール, 電子情報通信学会論文誌D-I, Vol.J88-D-I, No.2, pp.175--185, (2005/2)

• 丸山 勝久, Putu Ashintya Widhiartha: リファクタリングによる既存ソフトウェアの安全性の向上, 日本ソフトウェア科学会FOSE'05, pp.205--214 (2005/11)

• 大森 隆行, 丸山 勝久: 統合開発環境の柔軟な拡張を支援するフレームワークの実装,日本ソフトウェア科学会FOSE'05, pp.215--220 (2005/11)