Följ
Noritoshi Atsumi
Noritoshi Atsumi
Verifierad e-postadress på kyoto-u.ac.jp - Startsida
Titel
Citeras av
Citeras av
År
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
332016
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
182011
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
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
122017
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
122013
CX-Checker: 柔軟にカスタマイズ可能な C 言語プログラムのコーディングチェッカ
大須賀俊憲, 小林隆志, 渥美紀寿, 間瀬順一, 山本晋一郎, 鈴村延保, ...
情報処理学会論文誌 53 (2), 590-600, 2012
102012
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
62018
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
62009
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
52014
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
52009
モデルに基づく統一的保証ケース作成手法の提案
山本修一郎, 森崎修司, 渥美紀寿, 正田稔
人工知能学会第二種研究会資料 2015 (KSN-017), 04, 2015
42015
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
42014
XML 記述によるソフトウェアリポジトリを用いたコード検索
渥美紀寿, 山本晋一郎, 阿草清滋
情報処理学会研究報告ソフトウェア工学 (SE) 2005 (75 (2005-SE-149)), 57-64, 2005
42005
実践的保証ケース作成方式
山本修一郎, 森崎修司, 渥美紀寿
SEC journal 13 (1), 24-31, 2017
32017
名古屋大学における全学ファイアウォールの段階導入と運用
嶋田創, 山口由紀子, 加藤芳秀, 渥美紀寿, 田上奈緒, 太田芳博, ...
研究報告インターネットと運用技術 (IOT) 2016 (6), 1-8, 2016
32016
逸脱分析を用いた要求仕様書からのテスト項目抽出手法
大林英晶, 森崎修司, 渥美紀寿, 山本修一郎
情報処理学会論文誌 57 (4), 1262-1273, 2016
32016
構成情報に基づく保証ケースレビュ手法の提案
山本修一郎, 森崎修司, 渥美紀寿
人工知能学会第二種研究会資料 2015 (KSN-017), 03, 2015
32015
学と産の連携による基盤ソフトウェアの先進的開発: 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
32004
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20