Noritoshi Atsumi
Noritoshi Atsumi
Verified email at kyoto-u.ac.jp - Homepage
Title
Cited by
Cited by
Year
Quantitative Non Functional Requirements evaluation using softgoal weight.
N Kobayashi, S Morisaki, N Atsumi, S Yamamoto
J. Internet Serv. Inf. Secur. 6 (1), 37-46, 2016
172016
An XML C source code interchange format for CASE tools
N Atsumi, T Kobayashi, S Yamamoto, K Agusa
2011 IEEE 35th Annual Computer Software and Applications Conference, 498-503, 2011
152011
An integrated optimization framework for reducing the energy consumption of embedded real-time applications
H Takase, G Zeng, L Gauthier, H Kawashima, N Atsumi, T Tatematsu, ...
IEEE/ACM International Symposium on Low Power Electronics and Design, 271-276, 2011
142011
Grouping objects for execution trace analysis based on design patterns
T Toda, T Kobayashi, N Atsumi, K Agusa
2013 20th Asia-Pacific Software Engineering Conference (APSEC) 2, 25-30, 2013
102013
CX-Checker: 柔軟にカスタマイズ可能な C 言語プログラムのコーディングチェッカ
大須賀俊憲, 小林隆志, 渥美紀寿, 間瀬順一, 山本晋一郎, 鈴村延保, ...
情報処理学会論文誌 53 (2), 590-600, 2012
82012
Identifying core objects for trace summarization using reference relations and access analysis
K Noda, T Kobayashi, T Toda, N Atsumi
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC …, 2017
72017
A unified approach on assurance case development method based on models
S Yamamoto, S Morisaki, N Atsumi
SIG-KSN, 2015
62015
CX-Checker: C 言語プログラムのためのカスタマイズ可能なコーディングチェッカ
大須賀
ソフトウェアエンジニアリング最前線 2009, 119-126, 2009
52009
XML 記述によるソフトウェアリポジトリを用いたコード検索
渥美紀寿, 山本晋一郎, 阿草清滋
情報処理学会研究報告ソフトウェア工学 (SE) 2005 (75 (2005-SE-149)), 57-64, 2005
42005
FCDG に基づいたコーディングパターン
渥美紀寿, 山本晋一郎, 結縁祥治, 阿草清滋
コンピュータ ソフトウェア 21 (4), 261-270, 2004
4*2004
Identifying core objects for trace summarization by analyzing reference relations and dynamic properties
K Noda, T Kobayashi, N Atsumi
IEICE TRANSACTIONS on Information and Systems 101 (7), 1751-1765, 2018
32018
モデルに基づく統一的保証ケース作成手法の提案
山本修一郎, 森崎修司, 渥美紀寿, 正田稔
SIG-KSN 17, 2015
32015
構成情報に基づく保証ケースレビュ手法の提案
山本修一郎, 森崎修司, 渥美紀寿
SIG-KSN 17, 2015
32015
Library evolution for reliable software
N Atsumi, S Yuen, K Agusa, S Yamamoto
Proceedings of the International Workshop on Principles of Software …, 2002
32002
関数呼出依存グラフに基づくプログラミング支援
渥美紀寿, 山本晋一郎, 阿草清滋
日本ソフトウェア科学会第 18 回大会論文集 2, 2, 2001
32001
名古屋大学における全学ファイアウォールの段階導入と運用
嶋田創, 山口由紀子, 加藤芳秀, 渥美紀寿, 田上奈緒, 太田芳博, ...
研究報告インターネットと運用技術 (IOT) 2016 (6), 1-8, 2016
22016
入力分析に基づくコード保証方法の提案 (知能ソフトウェア工学)
宮林凌太, 渥美紀寿, 森崎修司
電子情報通信学会技術研究報告= IEICE technical report: 信学技報 115 (281), 17-22, 2015
22015
高信頼 Web アプリケーションのためのページ生成プログラムのテスト手法
渥美紀寿, 桑原寛明, 金子伸幸, 山本晋一郎, 阿草清滋
コンピュータ ソフトウェア 24 (4), 4_153-4_164, 2007
22007
Categorization of library function call patterns
N Atsumi, S Yamamoto, K Agusa
Proc. of Workshop on Software Product Archiving and Retrieving System, 11-20, 2004
22004
実践的保証ケース作成方式
山本修一郎, 森崎修司, 渥美紀寿
SEC journal 13 (1), 24-31, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20