メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
Shibaura Institute of Technology ホーム
English
日本語
ホーム
プロファイル
研究部門
研究成果
活動
プレス/メディア
受賞
専門知識、名前、または所属機関で検索
Scopus著者プロファイル
野田 夏子
教授
機能制御システム専攻
デザイン工学科
電気電子情報工学専攻
137
被引用数
出典: Scopus
7
h-index
Pureの文献数とScopusの被引用数に基づいて算出されます
1999
2020
年別の研究成果
概要
フィンガープリント
ネットワーク
研究成果
(24)
類似のプロファイル
(6)
Pureに変更を加えた場合、すぐここに表示されます。
研究成果
年別の研究成果
1999
2001
2011
2013
2020
2020
137
被引用数
7
h-index
12
Conference contribution
5
Article
3
Paper
2
Editorial
2
その他
1
Chapter
1
Conference article
年別の研究成果
年別の研究成果
5 件
出版年、タイトル
(昇順)
出版年、タイトル
(降順)
タイトル
タイプ
フィルター
Article
検索結果
2001
Software architecture
Kishi, T.
&
Noda, N.
,
2001 12月 1
,
In:
Computer Software.
18
,
2
,
p. 310-319
10 p.
研究成果
:
Article
›
査読
2006
Formal verification and software product lines
Kishi, T.
&
Noda, N.
,
2006 12月 1
,
In:
Communications of the ACM.
49
,
12
, 1183270.
研究成果
:
Article
›
査読
Formal verification
100%
Embedded software
17%
Model checking
15%
25
被引用数 (Scopus)
2013
Verification in Software Product Line Development.
Noda, N.
&
Kishi, T.
,
2013 1月
,
In:
Computer Software.
30
,
3
,
p. 3-17
15 p.
研究成果
:
Article
›
査読
Formal methods
100%
Software engineering
69%
Testing
44%
Costs
32%
1
被引用数 (Scopus)
2014
Variability modeling methods for software product line development
Noda, N.
&
Kishi, T.
,
2014 12月 14
,
In:
Computer Software.
31
,
4
,
p. 66-76
11 p.
研究成果
:
Article
›
査読
2020
日本ソフトウェア科学会第 36 回大会報告
Ito, K.
&
Noda, N.
,
2020
,
In:
Computer Software.
37
,
2
,
p. 2-13
12 p.
研究成果
:
Article
›
査読