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 | 33 | 2016 |
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 | 17 | 2011 |
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 | 15 | 2011 |
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 | 12 | 2013 |
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 | 9 | 2017 |
CX-Checker: 柔軟にカスタマイズ可能な C 言語プログラムのコーディングチェッカ 大須賀俊憲, 小林隆志, 渥美紀寿, 間瀬順一, 山本晋一郎, 鈴村延保, ... 情報処理学会論文誌 53 (2), 590-600, 2012 | 9 | 2012 |
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 | 6 | 2018 |
A unified approach on assurance case development method based on models S Yamamoto, S Morisaki, N Atsumi SIG-KSN, 2015 | 6 | 2015 |
CX-Checker: C 言語プログラムのためのカスタマイズ可能なコーディングチェッカ 大須賀 ソフトウェアエンジニアリング最前線 2009, 119-126, 2009 | 6 | 2009 |
A Comparative capability analysis on the context description methods for CDM M Matsumura, S Morisaki, N Atsumi, S Yamamoto IEICE Technical Report; IEICE Tech. Rep. 114 (292), 13-18, 2014 | 5 | 2014 |
CX-Checker: A customizable coding checker for C T Osuka, T Kobayashi, J Mase, N Atsumi, S Yamamoto, N Suzumura, ... Proc. of IPSJ/SIGSE SES, 119-126, 2009 | 5 | 2009 |
XML 記述によるソフトウェアリポジトリを用いたコード検索 渥美紀寿, 山本晋一郎, 阿草清滋 情報処理学会研究報告ソフトウェア工学 (SE) 2005 (75 (2005-SE-149)), 57-64, 2005 | 4 | 2005 |
Library evolution for reliable software N Atsumi, S Yuen, K Agusa, S Yamamoto Proceedings of the International Workshop on Principles of Software …, 2002 | 4 | 2002 |
名古屋大学における全学ファイアウォールの段階導入と運用 嶋田創, 山口由紀子, 加藤芳秀, 渥美紀寿, 田上奈緒, 太田芳博, ... 研究報告インターネットと運用技術 (IOT) 2016 (6), 1-8, 2016 | 3 | 2016 |
逸脱分析を用いた要求仕様書からのテスト項目抽出手法 大林英晶, 森崎修司, 渥美紀寿, 山本修一郎 情報処理学会論文誌 57 (4), 1262-1273, 2016 | 3 | 2016 |
モデルに基づく統一的保証ケース作成手法の提案 山本修一郎, 森崎修司, 渥美紀寿, 正田稔 人工知能学会第二種研究会資料 2015 (KSN-017), 04, 2015 | 3 | 2015 |
An integrated framework for energy optimization of embedded real-time applications H Takase, G Zeng, L Gauthier, H Kawashima, N Atsumi, T Tatematsu, ... IEICE Transactions on Fundamentals of Electronics, Communications and …, 2014 | 3 | 2014 |
学と産の連携による基盤ソフトウェアの先進的開発: 7. 高信頼 WebWare 生成技術: WebWare のテスト・解析・作成支援 桑原寛明, 金子伸幸, 渥美紀寿, 山本晋一郎, 阿草清滋 情報処理 49 (11), 1271-1276, 2008 | 3* | 2008 |
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 | 3 | 2004 |
関数呼出依存グラフに基づくプログラミング支援 渥美紀寿, 山本晋一郎, 阿草清滋 日本ソフトウェア科学会第 18 回大会論文集 (2B-2), 2001 | 3 | 2001 |