渥美 紀寿

最終更新日時: 2021/09/06 18:08:19

印刷する

氏名(漢字/フリガナ/アルファベット表記)
渥美 紀寿/アツミ ノリトシ/Atsumi, Noritoshi
所属部署・職名(部局/所属/講座等/職名)
情報環境機構/IT企画室/准教授
学内兼務
部局 所属 講座等 職名
学術情報メディアセンター 連携研究部門 情報システム分野(機構連携) 准教授
学際融合教育研究推進センター アカデミックデータ・イノベーションユニット 構成員
全学電子メールアドレス
atsumi.noritoshi.5u @ kyoto-u.ac.jp
所属学会(国内)
学会名(日本語) 学会名(英語)
情報処理学会 Information Processing Society of Japan
電子情報通信学会 Institute of Electronics, Information and Communication Engineers
日本ソフトウェア科学会 Japan Society for Software Science and Technology
所属学会(海外)
学会名(英語) 国名
IEEE CS USA
ACM USA
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(工学) Master of Engineering 名古屋大学 Nagoya University
博士(工学) Doctor of Engineering 名古屋大学 Nagoya University
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
名古屋大学 Nagoya University 大学院工学研究科計算理工学専攻博士前期課程 Graduate School of Engineering Department of Computational Science and Engineering 修了
名古屋大学 Nagoya University 大学院工学研究科情報工学専攻博士後期課程 Graduate School of Engineering Department of Information Engineering 単位修得退学
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
名古屋大学 Nagoya University 工学部電気電子・情報工学科 School of Engineering Department of Information Engineering 卒業
出身高等学校
高等学校名 ふりがな
愛知県立五条高等学校 あいちけんりつごじょうこうとうがっこう
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
2005/04/01〜2009/03/31 南山大学 数理情報学部 情報通信学科 Department of Information and Telecommunication Engineering, Nanzan University 講師 Assistant Professor
2009/04/01〜2010/03/31 南山大学 情報理工学部 ソフトウェア工学科 Department of Software Engineering, Nanzan University 講師 Assistant Professor
2010/04/01〜2011/03/31 名古屋大学 大学院情報科学研究科 附属組込みシステム研究センター Center for Embedded Computing Systems, Nagoya University 研究員 Researcher
2011/04/01〜2012/11/30 名古屋大学 大学院情報科学研究科 附属組込みシステム研究センター Center for Embedded Computing Systems, Nagoya University 特任助教 Designated Assistant Professor
2012/12/01〜2016/03/31 名古屋大学 情報連携統括本部 情報戦略室 Information Strategy Office, Nagoya Univesity 特任助教 Designated Assistant Professor
2016/04/01〜2016/05/31 名古屋大学 情報連携統括本部 情報戦略室 Information Strategy Office, Nagoya University 助教 Assistant Professor
2016/06/01〜2020/09/30 京都大学 情報環境機構 IT企画室 IT Planning Office, Institute for Information Management and Communication, Kyoto University 助教 Assistant Professor
プロフィール
(日本語)
1977年生.2000年名古屋大学工学部電気電子・情報工学科卒. 2007年同研究科情報工学専攻博士課程修了. 2005年南山大学数理情報学部情報通信学科講師, 2010年名古屋大学大学院情報科学研究科附属組込みシステム研究センター研究員, 2011年同センター特任助教, 2012年同大学情報連携統括本部情報戦略室特任助教, 2016年京都大学 情報環境機構 IT企画室/学術情報メディアセンター助教, 2020年10月より同准教授,現在に至る. 博士 (工学).プログラム解析,ソフトウェア保守,ソフトウェア再利用などの 研究に従事.日本ソフトウェア科学会,電子情報通信学会,IEEE,ACM 各会員.
(英語)
Noritoshi Atsumi is an Associate Professor of IT Planning Office, Institute for Information and Management Communication, Kyoto University. His research interests include software reuse, software development support, software maintenance and program analysis. He received Doctor of Engineering degree from Nagoya University in 2007. He is a member of Japan Society for Software Science and Technology(JSSST), Institute of Electronics, Information and Communication Engineers(IEICE), Information Processing Society of Japan (IPSJ), IEEE-CS, ACM.
使用言語
言語名(japanese) 言語名(english) コード
日本語 Japanese jpn
英語 English eng
個人ホームページ
URL
http://se.rd.iimc.kyoto-u.ac.jp/~atsumi/
ORCID ID
https://orcid.org/0000-0001-7434-0700
researchmap URL
https://researchmap.jp/atsumi
研究テーマ
(日本語)
ソフトウェアの保守支援,ソフトウェアの開発支援
(英語)
Software Maintenance Support, Software Development Support
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
ソフトウェア工学 Software Engineering
ソフトウェア保守 Software Maintenance
プログラム解析 Program Analysis
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
古村隆明, 渥美紀寿 古村隆明, 渥美紀寿 古村隆明, 渥美紀寿 京都大学におけるresearchmapとORCIDの活用事例 京都大学におけるresearchmapとORCIDの活用事例 Research information management using researchmap and ORCID in Kyoto University 情報の科学と技術, 71, 5, 220-225 情報の科学と技術, 71, 5, 220-225 情報の科学と技術, 71, 5, 220-225 2021 日本語 公開
Ryota Miyabayashi, Noritoshi Atsumi, Shuji Morisaki, Shuichiro Yamamoto Ryota Miyabayashi, Noritoshi Atsumi, Shuji Morisaki, Shuichiro Yamamoto Ryota Miyabayashi, Noritoshi Atsumi, Shuji Morisaki, Shuichiro Yamamoto An assurance case approach for software code security An assurance case approach for software code security An assurance case approach for software code security CEUR Workshop Proceedings, 2809, 5-9 CEUR Workshop Proceedings, 2809, 5-9 CEUR Workshop Proceedings, 2809, 5-9 2021 英語 研究論文(国際会議プロシーディングス) 公開
Takehiro Wakabayashi, Shuji Morisaki, Norimitsu Kasai, Noritoshi Atsumi, Shuichiro Yamamoto Takehiro Wakabayashi, Shuji Morisaki, Norimitsu Kasai, Noritoshi Atsumi, Shuichiro Yamamoto Takehiro Wakabayashi, Shuji Morisaki, Norimitsu Kasai, Noritoshi Atsumi, Shuichiro Yamamoto Tool supported detection of omissions by comparing words between requirements and design document Tool supported detection of omissions by comparing words between requirements and design document Tool supported detection of omissions by comparing words between requirements and design document Journal of Information Processing, 28, 0, 136-149 Journal of Information Processing, 28, 0, 136-149 Journal of Information Processing, 28, 0, 136-149 2020 英語 研究論文(学術雑誌) 公開
Kunihiro Noda, Takashi Kobayashi, Noritoshi Atsumi Kunihiro Noda, Takashi Kobayashi, Noritoshi Atsumi Kunihiro Noda, Takashi Kobayashi, Noritoshi Atsumi Identifying core objects for trace summarization by analyzing reference relations and dynamic properties Identifying core objects for trace summarization by analyzing reference relations and dynamic properties Identifying core objects for trace summarization by analyzing reference relations and dynamic properties IEICE Transactions on Information and Systems, E101D, 7, 1751-1765 IEICE Transactions on Information and Systems, E101D, 7, 1751-1765 IEICE Transactions on Information and Systems, E101D, 7, 1751-1765 2018/07 英語 研究論文(国際会議プロシーディングス) 公開
Kunihiro Noda, Takashi Kobayashi, Tatsuya Toda, Noritoshi Atsumi Kunihiro Noda, Takashi Kobayashi, Tatsuya Toda, Noritoshi Atsumi Kunihiro Noda, Takashi Kobayashi, Tatsuya Toda, Noritoshi Atsumi Identifying Core Objects for Trace Summarization Using Reference Relations and Access Analysis Identifying Core Objects for Trace Summarization Using Reference Relations and Access Analysis Identifying Core Objects for Trace Summarization Using Reference Relations and Access Analysis Proceedings - International Computer Software and Applications Conference, 1, 13-22 Proceedings - International Computer Software and Applications Conference, 1, 13-22 Proceedings - International Computer Software and Applications Conference, 1, 13-22 2017/09/07 英語 研究論文(国際会議プロシーディングス) 公開
Takehiro Wakabayashi, Shuji Morisaki, Noritoshi Atsumi, Shuichiro Yamamoto Takehiro Wakabayashi, Shuji Morisaki, Noritoshi Atsumi, Shuichiro Yamamoto Takehiro Wakabayashi, Shuji Morisaki, Noritoshi Atsumi, Shuichiro Yamamoto An empirical evaluation of detecting omissions by comparing words between requirement and architectural documents An empirical evaluation of detecting omissions by comparing words between requirement and architectural documents An empirical evaluation of detecting omissions by comparing words between requirement and architectural documents Proceedings - 8th IEEE International Workshop on Empirical Software Engineering in Practice, IWESEP 2017, 12-17 Proceedings - 8th IEEE International Workshop on Empirical Software Engineering in Practice, IWESEP 2017, 12-17 Proceedings - 8th IEEE International Workshop on Empirical Software Engineering in Practice, IWESEP 2017, 12-17 2017/05/10 英語 研究論文(国際会議プロシーディングス) 公開
Shuji Morisaki, Masanori Matsumura, Noritoshi Atsumi, Shuichiro Yamamoto Shuji Morisaki, Masanori Matsumura, Noritoshi Atsumi, Shuichiro Yamamoto Shuji Morisaki, Masanori Matsumura, Noritoshi Atsumi, Shuichiro Yamamoto An Approach for Validating Assurance Case by Using Component Evidence Matrix An Approach for Validating Assurance Case by Using Component Evidence Matrix An Approach for Validating Assurance Case by Using Component Evidence Matrix International Journal of Computer Science and Information Security, 15, 5, 314-325 International Journal of Computer Science and Information Security, 15, 5, 314-325 International Journal of Computer Science and Information Security, 15, 5, 314-325 2017/05 英語 研究論文(学術雑誌) 公開
山本修一郎, 森崎修司, 渥美紀寿 山本修一郎, 森崎修司, 渥美紀寿 Shuichiro Yamamoto, Shuji Morisaki, Noritoshi Atsumi 実践的保証ケース作成方式 実践的保証ケース作成方式 A Practical Approach to Develop Assurance Case SEC Journal, 13, 1, 24-31 SEC Journal, 13, 1, 24-31 SEC journal, 13, 1, 24-31 2017 日本語 公開
今西 洋二, 渥美 紀寿, 森崎 修司, 山本 修一郎, 阿草 清滋 今西 洋二, 渥美 紀寿, 森崎 修司, 山本 修一郎, 阿草 清滋 バリアントコードの改変履歴に基づく前処理条件の構造に関する特徴調査 バリアントコードの改変履歴に基づく前処理条件の構造に関する特徴調査 ソフトウェア工学の基礎XXIII, 115-120 ソフトウェア工学の基礎XXIII, 115-120 , 115-120 2016/12 日本語 研究論文(研究会、シンポジウム資料等) 公開
渥美紀寿, 桑原寛明 渥美紀寿, 桑原寛明 Noritoshi Atsumi, Hiroaki Kuwabara MAFP:ソースコードに対する静的検査における警告の管理ツール MAFP:ソースコードに対する静的検査における警告の管理ツール MAFP: Alert management tool for static checking of source code コンピュータソフトウェア, 33, 4, 50-66 コンピュータソフトウェア, 33, 4, 50-66 Computer Software, 33, 4, 50-66 2016 日本語 公開
奈加大樹, 森崎修司, 渥美紀寿, 山本修一郎 奈加大樹, 森崎修司, 渥美紀寿, 山本修一郎 奈加大樹, 森崎修司, 渥美紀寿, 山本修一郎 共通語彙によるソフトウェア設計書の評価にむけた分析 共通語彙によるソフトウェア設計書の評価にむけた分析 Toward Software Design Document Evaluation with Common Terms 情報処理学会論文誌ジャーナル(Web), 57, 5, 1464-1476 情報処理学会論文誌ジャーナル(Web), 57, 5, 1464-1476 情報処理学会論文誌ジャーナル(Web), 57, 5, 1464-1476 2016 日本語 公開
大林英晶, 森崎修司, 渥美紀寿, 山本修一郎 大林英晶, 森崎修司, 渥美紀寿, 山本修一郎 大林英晶, 森崎修司, 渥美紀寿, 山本修一郎 逸脱分析を用いた要求仕様書からのテスト項目抽出手法 逸脱分析を用いた要求仕様書からのテスト項目抽出手法 An Approach for Extracting Test Items Using Requirements Specification Description 情報処理学会論文誌ジャーナル(Web), 57, 4, 1262-1273 情報処理学会論文誌ジャーナル(Web), 57, 4, 1262-1273 情報処理学会論文誌ジャーナル(Web), 57, 4, 1262-1273 2016 日本語 公開
Nobuhide Kobayashi, Shuji Morisaki, Noritoshi Atsumi, Shuichiro Yamamoto Nobuhide Kobayashi, Shuji Morisaki, Noritoshi Atsumi, Shuichiro Yamamoto Nobuhide Kobayashi, Shuji Morisaki, Noritoshi Atsumi, Shuichiro Yamamoto Quantitative Non Functional Requirements evaluation using softgoal weight. Quantitative Non Functional Requirements evaluation using softgoal weight. Quantitative Non Functional Requirements evaluation using softgoal weight. J. Internet Serv. Inf. Secur., 6, 1, 37-46 J. Internet Serv. Inf. Secur., 6, 1, 37-46 J. Internet Serv. Inf. Secur., 6, 1, 37-46 2016 英語 研究論文(学術雑誌) 公開
桑原 寛明, 渥美 紀寿 桑原 寛明, 渥美 紀寿 Hiroaki Kuwabara, Noritoshi Atsumi ソースコードの静的検査における警告の版間追跡ツール ソースコードの静的検査における警告の版間追跡ツール A Tool for Version Tracking of Alerts in Static Checking of Source Code ソフトウェアエンジニアリングシンポジウム2015論文集, 38-47 ソフトウェアエンジニアリングシンポジウム2015論文集, 38-47 Proc. of SES2015, 38-47 2015/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
Hideki Takase, Gang Zeng, Lovic Gauthier, Hirotaka Kawashima, Noritoshi Atsumi, Tomohiro Tatematsu, Yoshitake Kobayashi, Takenori Koshiro, Tohru Ishihara, Hiroyuki Tomiyama, Hiroaki Takada Hideki Takase, Gang Zeng, Lovic Gauthier, Hirotaka Kawashima, Noritoshi Atsumi, Tomohiro Tatematsu, Yoshitake Kobayashi, Takenori Koshiro, Tohru Ishihara, Hiroyuki Tomiyama, Hiroaki Takada Hideki Takase, Gang Zeng, Lovic Gauthier, Hirotaka Kawashima, Noritoshi Atsumi, Tomohiro Tatematsu, Yoshitake Kobayashi, Takenori Koshiro, Tohru Ishihara, Hiroyuki Tomiyama, Hiroaki Takada An integrated framework for energy optimization of embedded real-time applications An integrated framework for energy optimization of embedded real-time applications An integrated framework for energy optimization of embedded real-time applications IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E97A, 12, 2477-2487 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E97A, 12, 2477-2487 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E97A, 12, 2477-2487 2014/12/01 英語 研究論文(国際会議プロシーディングス) 公開
渥美紀寿, 小林隆志, 山本晋一郎, 阿草清滋 渥美紀寿, 小林隆志, 山本晋一郎, 阿草清滋 ATSUMI Noritoshi, KOBAYASHI Takashi, YAMAMOTO Shinichiro, AGUSA Kiyoshi ソフトウェア開発支援基盤のためのソースプログラムのXML表現 ソフトウェア開発支援基盤のためのソースプログラムのXML表現 XML Representation of Source Program for Software Development Tool Platform 電子情報通信学会論文誌 D, J96-D, 11, 2681-2691 電子情報通信学会論文誌 D, J96-D, 11, 2681-2691 The IEICE transactions on information and systems (Japanese edition), J96-D, 11, 2681-2691 2013 日本語 公開
Tatsuya Toda, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa Tatsuya Toda, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa Tatsuya Toda, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa Grouping objects for execution trace analysis based on design patterns Grouping objects for execution trace analysis based on design patterns Grouping objects for execution trace analysis based on design patterns Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2, 25-30 Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2, 25-30 Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2, 25-30 2013 英語 研究論文(国際会議プロシーディングス) 公開
大須賀 俊憲, 小林 隆志, 渥美 紀寿, 間瀬 順一, 山本 晋一郎, 鈴村 延保, 阿草 清滋 大須賀 俊憲, 小林 隆志, 渥美 紀寿, 間瀬 順一, 山本 晋一郎, 鈴村 延保, 阿草 清滋 Toshinori Osuka, Takashi Kobayashi, Noritoshi Atsumi, Junichi Mase, Shinichirou Yamamoto, Nobuyasu Suzumura, Kiyoshi Agusa CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ CX-Checker: A Flexibly Customizable Coding Checker for C 情報処理学会論文誌, 53, 2, 590-600 情報処理学会論文誌, 53, 2, 590-600 IPSJ Journal, 53, 2, 590-600 2012/02/15 日本語 研究論文(学術雑誌) 公開
Takahiro Fujitani, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa Takahiro Fujitani, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa Takahiro Fujitani, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa Finding cross-browser javascript codes using sequential pattern mining Finding cross-browser javascript codes using sequential pattern mining Finding cross-browser javascript codes using sequential pattern mining Frontiers in Artificial Intelligence and Applications, 240, 303-312 Frontiers in Artificial Intelligence and Applications, 240, 303-312 Frontiers in Artificial Intelligence and Applications, 240, 303-312 2012 英語 研究論文(国際会議プロシーディングス) 公開
桑原 寛明, 渥美 紀寿, 山本 晋一郎 桑原 寛明, 渥美 紀寿, 山本 晋一郎 プログラム解析技術のサービス化の試み プログラム解析技術のサービス化の試み ソフトウェア工学の基礎XVIII, 243-248 ソフトウェア工学の基礎XVIII, 243-248 , 243-248 2011/11 日本語 研究論文(研究会、シンポジウム資料等) 公開
Noritoshi Atsumi, Mitsuaki Oba, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoashi Agusa Noritoshi Atsumi, Mitsuaki Oba, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoashi Agusa Noritoshi Atsumi, Mitsuaki Oba, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoashi Agusa An XML Representation of Preprocessed Code for Static Analysis An XML Representation of Preprocessed Code for Static Analysis An XML Representation of Preprocessed Code for Static Analysis Supplemental Proceedings of IEEE 22nd International Symposium on Software Reliability Engineering Supplemental Proceedings of IEEE 22nd International Symposium on Software Reliability Engineering Supplemental Proceedings of IEEE 22nd International Symposium on Software Reliability Engineering 2011/11 英語 研究論文(国際会議プロシーディングス) 公開
Hideki Takase, Gang Zeng, Lovic Gauthier, Hirotaka Kawashima, Noritoshi Atsumi, Tomohiro Tatematsu, Yoshitake Kobayashi, Shunitsu Kohara, Takenori Koshiro, Tohru Ishihara, Hiroyuki Tomiyama, Hiroaki Takada Hideki Takase, Gang Zeng, Lovic Gauthier, Hirotaka Kawashima, Noritoshi Atsumi, Tomohiro Tatematsu, Yoshitake Kobayashi, Shunitsu Kohara, Takenori Koshiro, Tohru Ishihara, Hiroyuki Tomiyama, Hiroaki Takada Hideki Takase, Gang Zeng, Lovic Gauthier, Hirotaka Kawashima, Noritoshi Atsumi, Tomohiro Tatematsu, Yoshitake Kobayashi, Shunitsu Kohara, Takenori Koshiro, Tohru Ishihara, Hiroyuki Tomiyama, Hiroaki Takada An integrated optimization framework for reducing the energy consumption of embedded real-time applications An integrated optimization framework for reducing the energy consumption of embedded real-time applications An integrated optimization framework for reducing the energy consumption of embedded real-time applications Proceedings of the International Symposium on Low Power Electronics and Design, 271-276 Proceedings of the International Symposium on Low Power Electronics and Design, 271-276 Proceedings of the International Symposium on Low Power Electronics and Design, 271-276 2011 英語 研究論文(国際会議プロシーディングス) 公開
Noritoshi Atsumi, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa Noritoshi Atsumi, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa Noritoshi Atsumi, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa An XML C source code interchange format for CASE tools An XML C source code interchange format for CASE tools An XML C source code interchange format for CASE tools Proceedings - International Computer Software and Applications Conference, 498-503 Proceedings - International Computer Software and Applications Conference, 498-503 Proceedings - International Computer Software and Applications Conference, 498-503 2011 英語 研究論文(国際会議プロシーディングス) 公開
上原 伸介, 小林 隆志, 渥美 紀寿, 山本 晋一郎, 阿草 清滋 上原 伸介, 小林 隆志, 渥美 紀寿, 山本 晋一郎, 阿草 清滋 トレースに基づくデバッグにおける欠陥箇所発見支援手法 トレースに基づくデバッグにおける欠陥箇所発見支援手法 ソフトウェア工学の 基礎XVII, 54-64 ソフトウェア工学の 基礎XVII, 54-64 , 54-64 2010/11 日本語 研究論文(研究会、シンポジウム資料等) 公開
渥美 紀寿, 山本 晋一郎, 小林 隆志, 阿草 清滋 渥美 紀寿, 山本 晋一郎, 小林 隆志, 阿草 清滋 ATSUMI Noritoshi, YAMAMOTO Shinichiro, KOBAYASHI Takashi, AGUSA Kiyoshi CASEツール・プラットフォームのための CソースプログラムのXML表現とその応用 CASEツール・プラットフォームのための CソースプログラムのXML表現とその応用 XML Representation of C Source Program for CASE Tool Platform and Its Applications ソフトウェアエンジニアリング最前線2010, 135-142 ソフトウェアエンジニアリング最前線2010, 135-142 Proc. of SES2010, 135-142 2010/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
Eiji Hirumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa Eiji Hirumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa Eiji Hirumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa Finding alternate javascript codes with a code repository Finding alternate javascript codes with a code repository Finding alternate javascript codes with a code repository Proceedings of the IASTED International Conference on Software Engineering, SE 2010, 189-196 Proceedings of the IASTED International Conference on Software Engineering, SE 2010, 189-196 Proceedings of the IASTED International Conference on Software Engineering, SE 2010, 189-196 2010 英語 研究論文(国際会議プロシーディングス) 公開
渥美 紀寿, 桑原 寛明, 金子 伸幸, 山本 晋一郎, 阿草 清滋 渥美 紀寿, 桑原 寛明, 金子 伸幸, 山本 晋一郎, 阿草 清滋 Noritoshi Atsumi, Hiroaki Kuwabara, Nobuyuki Kaneko, Kiyoshi Agusa, Shinichiro Yamamoto 高信頼Webアプリケーションのためのページ生成プログラムのテスト手法 高信頼Webアプリケーションのためのページ生成プログラムのテスト手法 A test method of page generators for dependable web application コンピュータソフトウェア, 24, 4, 153-164 コンピュータソフトウェア, 24, 4, 153-164 Computer Software, 24, 4, 153-164 2007 日本語 研究論文(学術雑誌) 公開
渥美紀寿, 山本晋一郎, 阿草清滋 渥美紀寿, 山本晋一郎, 阿草清滋 渥美紀寿, 山本晋一郎, 阿草清滋 イディオム検索のための関数呼出依存グラフのクラスタリング手法 イディオム検索のための関数呼出依存グラフのクラスタリング手法 Clustering Method of Function Call Dependency Graphs for Idioms Retrieval on Software 電子情報通信学会論文誌 D-1, J88-D-1, 11, 1696-1707 電子情報通信学会論文誌 D-1, J88-D-1, 11, 1696-1707 電子情報通信学会論文誌 D-1, J88-D-1, 11, 1696-1707 2005 日本語 公開
Noritoshi Atsumi, Shinichiro Yamamoto, Kiyoshi Agusa Noritoshi Atsumi, Shinichiro Yamamoto, Kiyoshi Agusa Noritoshi Atsumi, Shinichiro Yamamoto, Kiyoshi Agusa Categorization of Library Function Call Categorization of Library Function Call Categorization of Library Function Call Workshop on Software Product Archiving and Retrieving System Workshop on Software Product Archiving and Retrieving System Workshop on Software Product Archiving and Retrieving System 2004/04 英語 研究論文(国際会議プロシーディングス) 公開
渥美紀寿, 山本晋一郎, 結縁祥治, 阿草清滋 渥美紀寿, 山本晋一郎, 結縁祥治, 阿草清滋 FCDGに基づいたコディングパターン FCDGに基づいたコディングパターン Coding Patterns based on Fonction Call Dependency Graphs コンピュータソフトウェア, 21, 4, 27-36 コンピュータソフトウェア, 21, 4, 27-36 コンピュータソフトウェア, 21, 4, 27-36 2004 日本語 公開
Noritoshi Atsumi, Shoji Yuen, Kiyoshi Agusa, Shinichirou Yamamoto Noritoshi Atsumi, Shoji Yuen, Kiyoshi Agusa, Shinichirou Yamamoto Noritoshi Atsumi, Shoji Yuen, Kiyoshi Agusa, Shinichirou Yamamoto Library Evolution for Reliable Software Library Evolution for Reliable Software Library Evolution for Reliable Software International Workshop on Principles of Software Evolution (IWPSE), 66-70 International Workshop on Principles of Software Evolution (IWPSE), 66-70 International Workshop on Principles of Software Evolution (IWPSE), 66-70 2002 英語 研究論文(国際会議プロシーディングス) 公開

  • <<
  • >>
  • 表示
タイトル言語:
Misc
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
梶原 弘貴, 澤田 浩文, 赤坂 浩一, 渥美 紀寿, 青木 学聡 梶原 弘貴, 澤田 浩文, 赤坂 浩一, 渥美 紀寿, 青木 学聡 Hiroki Kajiwara, Hirofumi Sawada, Hirokazu Akasaka, Noritoshi Atsumi, Takaaki Aoki 京都大学教育研究活動データベースの現状と課題 京都大学教育研究活動データベースの現状と課題 Current situation and Issues of "Database on Education and Research, Kyoto University" 2019年度大学ICT推進協議会年次大会 2019年度大学ICT推進協議会年次大会 AXIES Annual Conference 2019 2019/12 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
渥美紀寿, 桑原寛明 渥美紀寿, 桑原寛明 渥美紀寿, 桑原寛明 ライブラリ進化への追随のためのソフトウェア修正の共有手法の提案 ライブラリ進化への追随のためのソフトウェア修正の共有手法の提案 An Approach of Sharing Software Modification to Adopt Library Evolution 電子情報通信学会技術研究報告, 118, 471(SS2018 52-84)(Web), 157-162 電子情報通信学会技術研究報告, 118, 471(SS2018 52-84)(Web), 157-162 電子情報通信学会技術研究報告, 118, 471(SS2018 52-84)(Web), 157-162 2019 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
森村 吉貴, 渥美 紀寿, 古村 隆明 森村 吉貴, 渥美 紀寿, 古村 隆明 多様な構成員を持つ大学ICT組織へのSlack導入によるコミュニケーション改善試行 多様な構成員を持つ大学ICT組織へのSlack導入によるコミュニケーション改善試行 2018年度大学ICT推進協議会, MC1-4, 1-7 2018年度大学ICT推進協議会, MC1-4, 1-7 , MC1-4, 1-7 2018/11 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
夏目雅槻, 相澤遥也, 渥美紀寿, 小林隆志 夏目雅槻, 相澤遥也, 渥美紀寿, 小林隆志 ソースコードのXML表現のための選択例を用いた対話的XPath生成支援 ソースコードのXML表現のための選択例を用いた対話的XPath生成支援 電子情報通信学会技術研究報告, 118, 231(DC2018 19-25)(Web), 37-42 電子情報通信学会技術研究報告, 118, 231(DC2018 19-25)(Web), 37-42 , 118, 231(DC2018 19-25)(Web), 37-42 2018 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
宮部 誠人, 戸田 庸介, 荒谷 裕美, 渥美 紀寿, 古村 隆明, 永井 靖浩 宮部 誠人, 戸田 庸介, 荒谷 裕美, 渥美 紀寿, 古村 隆明, 永井 靖浩 京都大学安否確認システムの開発と訓練結果 京都大学安否確認システムの開発と訓練結果 2017年度大学ICT推進協議会年次大会, WF2-6, 1-5 2017年度大学ICT推進協議会年次大会, WF2-6, 1-5 , WF2-6, 1-5 2017/12 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
梶田将司, 梶田将司, 元木環, 元木環, 外村孝一郎, 渥美紀寿, 渥美紀寿, 西垣昌代 梶田将司, 梶田将司, 元木環, 元木環, 外村孝一郎, 渥美紀寿, 渥美紀寿, 西垣昌代 梶田将司, 梶田将司, 元木環, 元木環, 外村孝一郎, 渥美紀寿, 渥美紀寿, 西垣昌代 京都大学における全学・部局研修用eラーニング研修支援サービスの現状と課題 京都大学における全学・部局研修用eラーニング研修支援サービスの現状と課題 Current Status and Challenges on e-Learning Training Support Service for Institution-wide and Department-wide Training Program at Kyoto University 情報処理学会研究報告(Web), 2017, CLE-21 情報処理学会研究報告(Web), 2017, CLE-21 情報処理学会研究報告(Web), 2017, CLE-21 2017 公開
上杉正紀, 森崎修司, 渥美紀寿, 山本修一郎 上杉正紀, 森崎修司, 渥美紀寿, 山本修一郎 自動翻訳された日本語バグレポートを用いたバグ局所化の試行 自動翻訳された日本語バグレポートを用いたバグ局所化の試行 情報処理学会全国大会講演論文集, 79th, 1 情報処理学会全国大会講演論文集, 79th, 1 , 79th, 1 2017 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
渥美 紀寿 渥美 紀寿 バリアントソフトウェアの開発・保守支援に関する研究 バリアントソフトウェアの開発・保守支援に関する研究 ウィンターワークショップ 2017・イン・飛騨高山, 2017, 65-66 ウィンターワークショップ 2017・イン・飛騨高山, 2017, 65-66 , 2017, 65-66 2017/01 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
野田訓広, 小林隆志, 渥美紀寿 野田訓広, 小林隆志, 渥美紀寿 実行トレース抽象化を目的とした参照関係・アクセス解析によるコアオブジェクト特定 実行トレース抽象化を目的とした参照関係・アクセス解析によるコアオブジェクト特定 情報処理学会研究報告(Web), 2017, SE-195, 1-8 情報処理学会研究報告(Web), 2017, SE-195, 1-8 , 2017, SE-195, 1-8 2017 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
森達也, 小林隆志, 林晋平, 渥美紀寿 森達也, 小林隆志, 林晋平, 渥美紀寿 前処理命令による可変点を考慮した共変更ルール抽出 前処理命令による可変点を考慮した共変更ルール抽出 電子情報通信学会技術研究報告, 116, 512(SS2016 60-83), 61-66 電子情報通信学会技術研究報告, 116, 512(SS2016 60-83), 61-66 , 116, 512(SS2016 60-83), 61-66 2017 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
嶋田 創, 山口 由紀子, 加藤 芳秀, 渥美 紀寿, 田上 奈緒, 太田 芳博, 石原 正也, 中務 孝広, 川田 良文 嶋田 創, 山口 由紀子, 加藤 芳秀, 渥美 紀寿, 田上 奈緒, 太田 芳博, 石原 正也, 中務 孝広, 川田 良文 自動投入を目的とした全学ファイアウォール のACL組成ポリシ 自動投入を目的とした全学ファイアウォール のACL組成ポリシ インターネットと運用技術シンポジウム2016論文集, 103-103 インターネットと運用技術シンポジウム2016論文集, 103-103 , 103-103 2016/12 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
山本 修一郎, 森崎 修司, 渥美 紀寿, 近藤 純平, 大林 英晶 山本 修一郎, 森崎 修司, 渥美 紀寿, 近藤 純平, 大林 英晶 GSNレビュ実験と評価について GSNレビュ実験と評価について 人工知能学会 第18回知識流通ネットワーク研究会 人工知能学会 第18回知識流通ネットワーク研究会 2016/03 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
山本 修一郎, 森崎 修司, 渥美 紀寿 山本 修一郎, 森崎 修司, 渥美 紀寿 保証ケースの先端研修教材の試作と評価 保証ケースの先端研修教材の試作と評価 人工知能学会 第18回知識流通ネットワーク研究会 人工知能学会 第18回知識流通ネットワーク研究会 2016/03 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
今西洋二, 渥美紀寿, 森崎修司, 山本修一郎, 阿草清滋 今西洋二, 渥美紀寿, 森崎修司, 山本修一郎, 阿草清滋 前処理命令の制御構造とその構造内のコード改変に関する調査 前処理命令の制御構造とその構造内のコード改変に関する調査 情報処理学会研究報告(Web), 2016, SE-191, 1-8 情報処理学会研究報告(Web), 2016, SE-191, 1-8 , 2016, SE-191, 1-8 2016 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
嶋田創, 山口由紀子, 加藤芳秀, 渥美紀寿, 田上奈緒, 太田芳博, 石原正也, 中務孝広, 川田良文 嶋田創, 山口由紀子, 加藤芳秀, 渥美紀寿, 田上奈緒, 太田芳博, 石原正也, 中務孝広, 川田良文 嶋田創, 山口由紀子, 加藤芳秀, 渥美紀寿, 田上奈緒, 太田芳博, 石原正也, 中務孝広, 川田良文 名古屋大学における全学ファイアウォールの段階導入と運用 名古屋大学における全学ファイアウォールの段階導入と運用 Phased Installation and Operation of University-Wide Firewall in Nagoya University 情報処理学会研究報告(Web), 2016, SPT-20, 1-8 情報処理学会研究報告(Web), 2016, SPT-20, 1-8 情報処理学会研究報告(Web), 2016, SPT-20, 1-8 2016 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
奈加 大樹, 森崎 修司, 渥美 紀寿, 山本 修一郎 奈加 大樹, 森崎 修司, 渥美 紀寿, 山本 修一郎 ソフトウェア設計書と要求仕様書の共通語彙分析 ソフトウェア設計書と要求仕様書の共通語彙分析 人工知能学会 第17回知識流通ネットワーク研究会 人工知能学会 第17回知識流通ネットワーク研究会 2015/10 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
山本 修一郎, 森崎 修司, 渥美 紀寿 山本 修一郎, 森崎 修司, 渥美 紀寿 Shuichiro Yamamoto, Shuji Morisaki, Noritoshi Atsumi 構成情報に基づく保証ケースレビュ手法の提案 構成情報に基づく保証ケースレビュ手法の提案 An approach on assurance case review based on the configuration information 人工知能学会 第17回知識流通ネットワーク研究会 人工知能学会 第17回知識流通ネットワーク研究会 2015/10 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
山本 修一郎, 森崎 修司, 渥美 紀寿, 正田 稔 山本 修一郎, 森崎 修司, 渥美 紀寿, 正田 稔 モデルに基づく統一的保証ケース作成手法の提案 モデルに基づく統一的保証ケース作成手法の提案 人工知能学会 第17回知識流通ネットワーク研究会 人工知能学会 第17回知識流通ネットワーク研究会 2015/10 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
渥美紀寿, 桑原寛明 渥美紀寿, 桑原寛明 渥美紀寿, 桑原寛明 静的検査ツールにおける警告箇所の版間追跡による確認コスト削減手法 静的検査ツールにおける警告箇所の版間追跡による確認コスト削減手法 A Version Tracking based Cost Reduction for Screening Alerts of Static Check Tools 情報処理学会研究報告(Web), 2015, SE-187, 1-8 情報処理学会研究報告(Web), 2015, SE-187, 1-8 情報処理学会研究報告(Web), 2015, SE-187, 1-8 2015 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
宮林凌太, 渥美紀寿, 森崎修司, 山本修一郎 宮林凌太, 渥美紀寿, 森崎修司, 山本修一郎 宮林凌太, 渥美紀寿, 森崎修司, 山本修一郎 入力分析に基づくコード保証方法の提案 入力分析に基づくコード保証方法の提案 Input Analysis Method for Assuring Code 電子情報通信学会技術研究報告, 115, 281(KBSE2015 35-39), 17-22 電子情報通信学会技術研究報告, 115, 281(KBSE2015 35-39), 17-22 電子情報通信学会技術研究報告, 115, 281(KBSE2015 35-39), 17-22 2015 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
若林丈紘, 森崎修司, 渥美紀寿, 山本修一郎 若林丈紘, 森崎修司, 渥美紀寿, 山本修一郎 要求仕様書と設計書における語彙の差分に関する分析 要求仕様書と設計書における語彙の差分に関する分析 情報処理学会研究報告(Web), 2015, SE-190, 1-6 情報処理学会研究報告(Web), 2015, SE-190, 1-6 , 2015, SE-190, 1-6 2015 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
岡見健利, 森崎修司, 渥美紀寿, 山本修一郎 岡見健利, 森崎修司, 渥美紀寿, 山本修一郎 目的設定がレビューシナリオに与える影響の分析 目的設定がレビューシナリオに与える影響の分析 情報処理学会研究報告(Web), 2015, SE-190, 1-8 情報処理学会研究報告(Web), 2015, SE-190, 1-8 , 2015, SE-190, 1-8 2015 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
渥美 紀寿, 桑原 寛明 渥美 紀寿, 桑原 寛明 変更追跡機能を用いた静的検査ツールの効果的な利用法 変更追跡機能を用いた静的検査ツールの効果的な利用法 日本ソフトウェア科学会 ソフトウェア工学の基礎 研究会 日本ソフトウェア科学会 ソフトウェア工学の基礎 研究会 2014/12 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
瀬川 午直, 出口 大輔, 渥美 紀寿, 加藤 芳秀, 嶋田 創, 荻野 正雄, 小川 泰 弘, 大野 誠寛, 川田 良文, 山田 一成 瀬川 午直, 出口 大輔, 渥美 紀寿, 加藤 芳秀, 嶋田 創, 荻野 正雄, 小川 泰 弘, 大野 誠寛, 川田 良文, 山田 一成 名古屋大学における情報サービスの運 用改善を目的としたシステムトラブル対応DBの構築 名古屋大学における情報サービスの運 用改善を目的としたシステムトラブル対応DBの構築 2014年度大学ICT推進協議会年次大会 2014年度大学ICT推進協議会年次大会 2014/12 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
奈加 大樹, 森崎 修司, 渥美 紀寿, 山本 修一郎 奈加 大樹, 森崎 修司, 渥美 紀寿, 山本 修一郎 ソフトウェア設計書における頻出単語の調査と共通語彙の分析 ソフトウェア設計書における頻出単語の調査と共通語彙の分析 人工知能学会 第15回知識流通ネットワーク研究会 人工知能学会 第15回知識流通ネットワーク研究会 2014/09 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
松村 昌典, 森崎 修司, 渥美 紀寿, 山本 修一郎 松村 昌典, 森崎 修司, 渥美 紀寿, 山本 修一郎 コンテクスト依存表(CDM)に基づくD-Case作成法の提案 コンテクスト依存表(CDM)に基づくD-Case作成法の提案 人工知能学会 第15回知識流通ネットワーク研究会 人工知能学会 第15回知識流通ネットワーク研究会 2014/09 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
戸田達也, 小林隆志, 渥美紀寿, 阿草清滋 戸田達也, 小林隆志, 渥美紀寿, 阿草清滋 戸田達也, 小林隆志, 渥美紀寿, 阿草清滋 オブジェクトの動的特徴に着目した実行トレースの抽象化 オブジェクトの動的特徴に着目した実行トレースの抽象化 Execution Trace Abstraction by Dynamic Characteristics of Objects 電子情報通信学会技術研究報告, 113, 489(SS2013 72-90), 85-90 電子情報通信学会技術研究報告, 113, 489(SS2013 72-90), 85-90 電子情報通信学会技術研究報告, 113, 489(SS2013 72-90), 85-90 2014 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
松村昌典, 森崎修司, 渥美紀寿, 山本修一郎 松村昌典, 森崎修司, 渥美紀寿, 山本修一郎 松村昌典, 森崎修司, 渥美紀寿, 山本修一郎 CDM記述のためのコンテクスト抽出手法の能力比較 CDM記述のためのコンテクスト抽出手法の能力比較 A Comparative capability analysis on the context description methods for CDM 電子情報通信学会技術研究報告, 114, 292(KBSE2014 28-38), 13-18 電子情報通信学会技術研究報告, 114, 292(KBSE2014 28-38), 13-18 電子情報通信学会技術研究報告, 114, 292(KBSE2014 28-38), 13-18 2014 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
伊藤一希, 近藤純平, 下江衛, 森崎修司, 渥美紀寿, 山本修一郎 伊藤一希, 近藤純平, 下江衛, 森崎修司, 渥美紀寿, 山本修一郎 伊藤一希, 近藤純平, 下江衛, 森崎修司, 渥美紀寿, 山本修一郎 要求テンプレートによる要求分析法の調査 要求テンプレートによる要求分析法の調査 An investigation of the effectiveness of a requirements templates for analysing requirements 電子情報通信学会技術研究報告, 114, 292(KBSE2014 28-38), 37-42 電子情報通信学会技術研究報告, 114, 292(KBSE2014 28-38), 37-42 電子情報通信学会技術研究報告, 114, 292(KBSE2014 28-38), 37-42 2014 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
渥美紀寿, 小林隆志, 阿草清滋 渥美紀寿, 小林隆志, 阿草清滋 渥美紀寿, 小林隆志, 阿草清滋 プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析 プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析 Feature Dependency Analysis using Control Structure of Preprocess Directive 電子情報通信学会技術研究報告, 112, 373(SS2012 46-58), 67-72 電子情報通信学会技術研究報告, 112, 373(SS2012 46-58), 67-72 電子情報通信学会技術研究報告, 112, 373(SS2012 46-58), 67-72 2013 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
村松沙那恵, 小林隆志, 小林隆志, 渥美紀寿, 阿草清滋 村松沙那恵, 小林隆志, 小林隆志, 渥美紀寿, 阿草清滋 村松沙那恵, 小林隆志, 小林隆志, 渥美紀寿, 阿草清滋 データ依存の伝播確率に基づく欠陥箇所特定支援 データ依存の伝播確率に基づく欠陥箇所特定支援 Propagation Probability of Data Dependency for Fault Localization 電子情報通信学会技術研究報告, 112, 457(MSS2012 59-86), 69-74 電子情報通信学会技術研究報告, 112, 457(MSS2012 59-86), 69-74 電子情報通信学会技術研究報告, 112, 457(MSS2012 59-86), 69-74 2013 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
高井康勢, 小林隆志, 小林隆志, 渥美紀寿, 山本晋一郎, 阿草清滋 高井康勢, 小林隆志, 小林隆志, 渥美紀寿, 山本晋一郎, 阿草清滋 高井康勢, 小林隆志, 小林隆志, 渥美紀寿, 山本晋一郎, 阿草清滋 コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて Towards Detection of Automatically Undetectable Violations Focused on the Locality of Coding Standards Violations 電子情報通信学会技術研究報告, 112, 457(MSS2012 59-86), 51-56 電子情報通信学会技術研究報告, 112, 457(MSS2012 59-86), 51-56 電子情報通信学会技術研究報告, 112, 457(MSS2012 59-86), 51-56 2013 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
大塲 光明, 渥美 紀寿, 小林 隆志, 阿草 清滋 大塲 光明, 渥美 紀寿, 小林 隆志, 阿草 清滋 メソッド境界を越えた呼び出しパターン抽出のためのコールグラフ探索戦略 メソッド境界を越えた呼び出しパターン抽出のためのコールグラフ探索戦略 情報処理学会 研究報告, 2012, 18, 1-8 情報処理学会 研究報告, 2012, 18, 1-8 , 2012, 18, 1-8 2012/03 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
戸田達也, 小林隆志, 渥美紀寿, 阿草清滋 戸田達也, 小林隆志, 渥美紀寿, 阿草清滋 戸田達也, 小林隆志, 渥美紀寿, 阿草清滋 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング Grouping Objects for Executing Trace Analysis based on Design Patterns 電子情報通信学会技術研究報告, 111, 481(SS2011 57-82), 151-156 電子情報通信学会技術研究報告, 111, 481(SS2011 57-82), 151-156 電子情報通信学会技術研究報告, 111, 481(SS2011 57-82), 151-156 2012 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
渥美紀寿, 小林隆志, 高田広章 渥美紀寿, 小林隆志, 高田広章 渥美紀寿, 小林隆志, 高田広章 ソフトウェア開発におけるトレーサビリティ確保のための開発環境の検討 ソフトウェア開発におけるトレーサビリティ確保のための開発環境の検討 A Study on a Development Environment for Software Traceability Management 情報処理学会研究報告(CD-ROM), 2012, 1, 1-7 情報処理学会研究報告(CD-ROM), 2012, 1, 1-7 情報処理学会研究報告(CD-ROM), 2012, 1, 1-7 2012 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
川島 裕崇, 曾 剛, 渥美 紀寿, 立松 知紘, 高瀬 英希, 高田 広章 川島 裕崇, 曾 剛, 渥美 紀寿, 立松 知紘, 高瀬 英希, 高田 広章 DEPSプロファイルの評価法とそれを利用したチェックポイント選定 DEPSプロファイルの評価法とそれを利用したチェックポイント選定 情報処理学会 研究報告, 2011, 4, 1-6 情報処理学会 研究報告, 2011, 4, 1-6 , 2011, 4, 1-6 2011/03 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
Hideki Takase, Gang Zeng, Hirotaka Kawashima, Noritoshi Atsumi, Tomohiro Tatematsu, Lovic Gauthier, Tohru Ishihara, Yoshitake Kobayashi, Shunitsu Kohara, Takenori Koshiro, Hiroyuki Tomiyama, Hiroaki Takada Hideki Takase, Gang Zeng, Hirotaka Kawashima, Noritoshi Atsumi, Tomohiro Tatematsu, Lovic Gauthier, Tohru Ishihara, Yoshitake Kobayashi, Shunitsu Kohara, Takenori Koshiro, Hiroyuki Tomiyama, Hiroaki Takada Hideki Takase, Gang Zeng, Hirotaka Kawashima, Noritoshi Atsumi, Tomohiro Tatematsu, Lovic Gauthier, Tohru Ishihara, Yoshitake Kobayashi, Shunitsu Kohara, Takenori Koshiro, Hiroyuki Tomiyama, Hiroaki Takada An Energy Optimization Framework for Embedded Applications An Energy Optimization Framework for Embedded Applications An Energy Optimization Framework for Embedded Applications 情報処理学会 研究報告, 2011-EMB-20, 3, 1-6 情報処理学会 研究報告, 2011-EMB-20, 3, 1-6 IPSJ Research Report, 2011-EMB-20, 3, 1-6 2011/03 英語 機関テクニカルレポート、技術報告書、プレプリント等 公開
川島裕崇, ZENG Gang, 渥美紀寿, 立松知紘, 高瀬英希, 高田広章 川島裕崇, ZENG Gang, 渥美紀寿, 立松知紘, 高瀬英希, 高田広章 川島裕崇, ZENG Gang, 渥美紀寿, 立松知紘, 高瀬英希, 高田広章 DEPSプロファイルの評価法とそれを利用したチェックポイント選定 DEPSプロファイルの評価法とそれを利用したチェックポイント選定 An Evaluation Method for DEPS Profile and its Application to Checkpoint Selection 電子情報通信学会技術研究報告, 110, 474(DC2010 70-81) 電子情報通信学会技術研究報告, 110, 474(DC2010 70-81) 電子情報通信学会技術研究報告, 110, 474(DC2010 70-81) 2011 公開
渥美紀寿 渥美紀寿 プログラム解析のサービス化に向けて プログラム解析のサービス化に向けて 情報処理学会シンポジウム論文集, 2011, 2 情報処理学会シンポジウム論文集, 2011, 2 , 2011, 2 2011 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
高井康勢, 渥美紀寿, 小林隆志 高井康勢, 渥美紀寿, 小林隆志 コーディング規約違反に着目したソフトウェアメトリクス コーディング規約違反に着目したソフトウェアメトリクス 情報処理学会シンポジウム論文集, 2011, 2 情報処理学会シンポジウム論文集, 2011, 2 , 2011, 2 2011 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
渥美紀寿, 小林隆志, 山本晋一郎, 阿草清滋 渥美紀寿, 小林隆志, 山本晋一郎, 阿草清滋 バリエーション並行開発のための版管理機構 バリエーション並行開発のための版管理機構 日本ソフトウェア科学会大会講演論文集(CD-ROM), 28th, 1-7 日本ソフトウェア科学会大会講演論文集(CD-ROM), 28th, 1-7 , 28th, 1-7 2011 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
藤谷隆宏, 小林隆志, 渥美紀寿, 阿草清滋 藤谷隆宏, 小林隆志, 渥美紀寿, 阿草清滋 シーケンシャルパターンマイニングによるJavaScriptの代替コード発見 シーケンシャルパターンマイニングによるJavaScriptの代替コード発見 日本ソフトウェア科学会大会講演論文集(CD-ROM), 28th, 1-9 日本ソフトウェア科学会大会講演論文集(CD-ROM), 28th, 1-9 , 28th, 1-9 2011 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
川島裕崇, ZENG Gang, 渥美紀寿, 立松知紘, 高田広章 川島裕崇, ZENG Gang, 渥美紀寿, 立松知紘, 高田広章 川島裕崇, ZENG Gang, 渥美紀寿, 立松知紘, 高田広章 DEPSフレームワークにおける最悪実行時間と平均消費エネルギーのタスク内解析手法 DEPSフレームワークにおける最悪実行時間と平均消費エネルギーのタスク内解析手法 Intra-task Analysis of Worst Case Execution Time and Average Energy Consumption on DEPS Framework 電子情報通信学会技術研究報告, 110, 432(VLD2010 116-147), 19-24 電子情報通信学会技術研究報告, 110, 432(VLD2010 116-147), 19-24 電子情報通信学会技術研究報告, 110, 432(VLD2010 116-147), 19-24 2011 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
小林隆志, 大須賀俊憲, 上原伸介, 蛭牟田英治, 林英志, 間瀬順一, 山本晋一郎, 渥美紀寿, 川口直弘, 鈴村延保, 阿草清滋 小林隆志, 大須賀俊憲, 上原伸介, 蛭牟田英治, 林英志, 間瀬順一, 山本晋一郎, 渥美紀寿, 川口直弘, 鈴村延保, 阿草清滋 CX-Checker:柔軟なカスタマイズが可能なC言語コーディングルールチェッカー CX-Checker:柔軟なカスタマイズが可能なC言語コーディングルールチェッカー 情報処理学会全国大会講演論文集, 72nd, 1 情報処理学会全国大会講演論文集, 72nd, 1 , 72nd, 1 2010 公開
渥美 紀寿 渥美 紀寿 ソフトウェア部品の階層的構成関係によるソースコードの類似性評価 ソフトウェア部品の階層的構成関係によるソースコードの類似性評価 ソースコードの類似性ワークショップ ソースコードの類似性ワークショップ 2009/09 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
渥美紀寿, 末次亮, 山本晋一郎 渥美紀寿, 末次亮, 山本晋一郎 Noritoshi Atsumi, Ryo Suetsugu, Shinichiro Yamamoto 多次元尺度構成法によるソースコード検索におけるソフトウェアの可視化 多次元尺度構成法によるソースコード検索におけるソフトウェアの可視化 Software Visualization for Source Code Search with Multi Dimensional Scaling 情報処理学会シンポジウム論文集, 2009, 3 情報処理学会シンポジウム論文集, 2009, 3 IPSJ Winter Workshop 2009 in Miyazaki, 2009, 3 2009 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
渥美紀寿, 山本晋一郎 渥美紀寿, 山本晋一郎 渥美紀寿, 山本晋一郎 コーディングノウハウを活用するための開発環境 コーディングノウハウを活用するための開発環境 Development Environment to Take Advantage of Coding Know-How 情報処理学会シンポジウム論文集, 2008, 3 情報処理学会シンポジウム論文集, 2008, 3 情報処理学会シンポジウム論文集, 2008, 3 2008 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
桑原寛明, 金子伸幸, 渥美紀寿, 山本晋一郎, 阿草清滋 桑原寛明, 金子伸幸, 渥美紀寿, 山本晋一郎, 阿草清滋 学と産の連携による基盤ソフトウェアの先進的開発{第1部}高い生産性を持つ高信頼ソフトウェア作成技術の開発 7.高信頼WebWare生成技術:WebWareのテスト・解析・作成支援 学と産の連携による基盤ソフトウェアの先進的開発{第1部}高い生産性を持つ高信頼ソフトウェア作成技術の開発 7.高信頼WebWare生成技術:WebWareのテスト・解析・作成支援 情報処理, 49, 11, 1271-1276 情報処理, 49, 11, 1271-1276 , 49, 11, 1271-1276 2008 日本語 記事・総説・解説・論説等(学術雑誌) 公開
阿萬裕久, 青木利晃, 沢田篤史, 山本晋一郎, 渥美紀寿, 白銀純子, 浦本直彦, 松塚貴英, 羽生田栄一, 鷲崎弘宜, 野中誠, 吉岡信和, 吉岡信和, 田原康之 阿萬裕久, 青木利晃, 沢田篤史, 山本晋一郎, 渥美紀寿, 白銀純子, 浦本直彦, 松塚貴英, 羽生田栄一, 鷲崎弘宜, 野中誠, 吉岡信和, 吉岡信和, 田原康之 阿萬裕久, 青木利晃, 沢田篤史, 山本晋一郎, 渥美紀寿, 白銀純子, 浦本直彦, 松塚貴英, 羽生田栄一, 鷲崎弘宜, 野中誠, 吉岡信和, 吉岡信和, 田原康之 ウインターワークショップ2008・イン・道後開催報告 ウインターワークショップ2008・イン・道後開催報告 Report on Winter Workshop 2008 in Dogo 情報処理学会研究報告, 2008, 55(SE-160 EMB-9) 情報処理学会研究報告, 2008, 55(SE-160 EMB-9) 情報処理学会研究報告, 2008, 55(SE-160 EMB-9) 2008 日本語 会議報告等 公開
渥美紀寿 渥美紀寿 渥美紀寿 コンポーネント指向ソフトウェアのためのCASEツール・プラットフォームの実現に向けて コンポーネント指向ソフトウェアのためのCASEツール・プラットフォームの実現に向けて Toward a CASE Tool Platform for Component Oriented Software 情報処理学会シンポジウム論文集, 2007, 3 情報処理学会シンポジウム論文集, 2007, 3 情報処理学会シンポジウム論文集, 2007, 3 2007 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
渥美紀寿, 山本晋一郎 渥美紀寿, 山本晋一郎 渥美紀寿, 山本晋一郎 XML記述によるソフトウェアリポジトリ XML記述によるソフトウェアリポジトリ Software Repository with XML Representation 情報処理学会シンポジウム論文集, 2006, 2 情報処理学会シンポジウム論文集, 2006, 2 情報処理学会シンポジウム論文集, 2006, 2 2006 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
渥美紀寿, 山本晋一郎, 阿草清滋 渥美紀寿, 山本晋一郎, 阿草清滋 渥美紀寿, 山本晋一郎, 阿草清滋 XML記述によるソフトウェアリポジトリを用いたコード検索 XML記述によるソフトウェアリポジトリを用いたコード検索 Code Search by XML Software Repository 情報処理学会研究報告, 2005, 75(SE-149), 57-64 情報処理学会研究報告, 2005, 75(SE-149), 57-64 情報処理学会研究報告, 2005, 75(SE-149), 57-64 2005 日本語 機関テクニカルレポート、技術報告書、プレプリント等 公開
渥美紀寿, 山本晋一朗, 阿草清滋 渥美紀寿, 山本晋一朗, 阿草清滋 コーディング検査のためのライブラリ利用パターン抽出手法 コーディング検査のためのライブラリ利用パターン抽出手法 日本ソフトウエア科学会大会論文集, 20th, Pt.1 日本ソフトウエア科学会大会論文集, 20th, Pt.1 , 20th, Pt.1 2003 公開
渥美紀寿, 山本晋一郎, 阿草清滋 渥美紀寿, 山本晋一郎, 阿草清滋 関数呼出依存グラフに基づくプログラミング支援 関数呼出依存グラフに基づくプログラミング支援 日本ソフトウエア科学会大会論文集, 18th, 1, 1-4 日本ソフトウエア科学会大会論文集, 18th, 1, 1-4 , 18th, 1, 1-4 2001 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
渥美 紀寿, 山本 晋一郎, 阿草 清滋 渥美 紀寿, 山本 晋一郎, 阿草 清滋 プログラム部品抽出における可読性保存方式に関する研究 プログラム部品抽出における可読性保存方式に関する研究 2000年度 電気関係学会 東海支部 連合大会 2000年度 電気関係学会 東海支部 連合大会 2000/09 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開

  • <<
  • >>
  • 表示
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 発表年月日 記述言語 会議種別 公開
多様な構成員を持つ大学ICT組織へのSlack導入によるコミュニケーション改善の継続調査 多様な構成員を持つ大学ICT組織へのSlack導入によるコミュニケーション改善の継続調査 Continuous Research on How Slack Improves Communication in Academic ICT Division Consisting of Heterogeneous Members 2019年度大学ICT推進協議会年次大会 2019年度大学ICT推進協議会年次大会 AXIES Annual Conference 2019 2019/12 日本語 ポスター発表 公開
学生参与型プロトタイピングを導入した教務用スマホアプリ開発 学生参与型プロトタイピングを導入した教務用スマホアプリ開発 2017年度大学ICT推進協議会年次大会 2017年度大学ICT推進協議会年次大会 2017/12 日本語 ポスター発表 公開
名古屋大学全学ファイアウォール向 けポート公開申請・承認システムの開発 名古屋大学全学ファイアウォール向 けポート公開申請・承認システムの開発 2016年度大学ICT推進協議会年次大会 2016年度大学ICT推進協議会年次大会 2016/12 日本語 ポスター発表 公開
情報サービスの安定運用と迅速な障害対応を目的とした機器情報管理データ ベースの構築 情報サービスの安定運用と迅速な障害対応を目的とした機器情報管理データ ベースの構築 2015年度大学ICT推進協議会年次大会 2015年度大学ICT推進協議会年次大会 2015/12 日本語 ポスター発表 公開
静的検査ツールにおけるfalse positiveに関する調査 静的検査ツールにおけるfalse positiveに関する調査 日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ 日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ 2015/11 日本語 ポスター発表 公開
コーディング規約違反の推移に基づくソフトウェアの品質評価に向けて コーディング規約違反の推移に基づくソフトウェアの品質評価に向けて 日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ 日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ 2012/12 日本語 ポスター発表 公開
CX-Checker: 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー CX-Checker: 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー 情報処理学会全国大会 情報処理学会全国大会 2010/03 日本語 ポスター発表 公開
タイトル言語:
外部資金:競争的資金 (科学研究費補助金)
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
若手研究(B) 代表 ミスコードリポジトリを用いたソフトウェア開発支援 Software Development Environment using Miss Code Repository 2009/04/01〜2012/03/31
基盤研究(B) 分担 バリアントライフサイクルモデルに基づく多品種並行開発手法 Multi-variant development management method based on variant life cycle model 2012/04/01〜2017/03/31
基盤研究(B) 分担 ハイブリッドプログラム解析を利用した機能識別に基づくプログラム理解支援技術 Program comprehension based on feature identification using hybrid program analysis 2015/04/01〜2019/03/31
若手研究(B) 代表 ソフトウェア進化分析に基づくソフトウェア保守支援環境 Software Maintenance Support Environment based on Software Evolution Analysis 2015/04/01〜2019/03/31
基盤研究(C) 代表 仮想開発者によるソフトウェア自動修正と進化推薦 2018/04/01〜2022/03/31
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
ソフトウェア工学 Software Engineering 後期 工学部 2017/04〜2018/03
ソフトウェア工学 Software Engineering 後期 工学部 2018/04〜2019/03
ソフトウェア工学 Software Engineering 後期 工学部 2019/04〜2020/03
ILASセミナー:情報リテラシとしてのソーシャルプログラ … ILAS Seminar :Social Programming as an Information Literacy 前期 全学共通科目 2020/04〜2021/03
ソフトウェア工学(計算機) Software Engineering 後期 工学部 2020/04〜2021/03
プログラミング(クラウド計算) Programming (Cloud Computing) 後期 全学共通科目 2020/04〜2021/03
ILASセミナー:情報リテラシとしてのソーシャルプログラ … ILAS Seminar :Social Programming as an Information Literacy 前期 全学共通科目 2021/04〜2022/03
ソフトウェア工学(計算機) Software Engineering 後期 工学部 2021/04〜2022/03
プログラミング(クラウド計算) Programming (Cloud Computing) 後期 全学共通科目 2021/04〜2022/03
全学運営(役職等)
役職名 期間
教員DB基盤仕様検討WG メンバー 2020/10/01〜2021/09/30
教員DBデータ利活用WG メンバー 2020/10/01〜2021/09/30
研究者情報データベース専門部会 部会員 2020/10/01〜2021/09/30
リサーチデータマネジメント専門部会 部会員 2020/10/01〜2021/09/30
研究データ管理・公開ポリシー利活用ワーキンググループ 構成員 2020/07/01〜2021/03/31
部局運営(役職等)
役職名 期間
情報環境機構将来構想委員会 委員 2016/06/01〜
運営検討委員会 委員 2016/06/01〜
情報環境機構研究システム運用委員会 委員長 2021/04/01〜
研究者情報データベース専門部会 部会員 2020/10/01〜
情報環境機構研究用計算機専門委員会 委員
情報環境機構スーパーコンピュータシステム運用委員会 委員