メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
Shibaura Institute of Technology ホーム
English
日本語
ホーム
プロファイル
研究部門
研究成果
活動
プレス/メディア
受賞
専門知識、名前、または所属機関で検索
Scopus著者プロファイル
中島 毅
教授
情報工学科
機能制御システム専攻
電気電子情報工学専攻
h-index
33
被引用数
2
h 指数
Pureの文献数とScopusの被引用数に基づいて算出されます
1985 …
2022
年別の研究成果
概要
フィンガープリント
ネットワーク
研究成果
(16)
類似のプロファイル
(6)
Pureに変更を加えた場合、すぐここに表示されます。
研究成果
年別の研究成果
1985
1990
1997
2016
2017
2020
2022
8
Conference contribution
4
Article
3
Conference article
1
Paper
年別の研究成果
年別の研究成果
1 件
出版年、タイトル
(降順)
出版年、タイトル
(昇順)
タイトル
タイプ
フィルター
Paper
検索結果
1997
ROAD/EE: A prototyping environment for object-oriented specifications
Tamura, N.
&
Nakajima, T.
,
1997 12月 1
,
p. 176-189
.
14 p.
研究成果
:
Paper
›
査読
Specifications
100%
Formal specification
73%
Specification languages
70%
Software engineering
25%