岸 知二

J-GLOBALへ         更新日: 17/03/14 03:14
 
アバター
研究者氏名
岸 知二
 
キシ トモジ
URL
http://www.kishi.mgmt.waseda.ac.jp/index.html
所属
早稲田大学
部署
理工学術院 創造理工学部
職名
教授
学位
博士(情報科学)(北陸先端科学技術大学院大学)
科研費研究者番号
30422661

研究キーワード

 
 

研究分野

 
 

経歴

 
1982年
 - 
2003年
日本電気株式会社
 
2003年
 - 
2009年
北陸先端科学技術大学院大学 情報科学研究科
 
2009年
   
 
早稲田大学 理工学術院
 

学歴

 
 
 - 
1982年
京都大学 工学研究科 情報工学専攻
 
 
 - 
2002年
北陸先端科学技術大学院大学 情報科学研究科 
 

受賞

 
2013年11月
情報処理学会 国際規格開発賞
 
2010年3月
情報処理学会 学会活動貢献賞
 
2007年
IPA/SEC, SEC Journal 最優秀論文賞
 
1998年
情報処理学会 山下記念研究賞
 

論文

 
アスペクト指向を利用したアーキテクチャ設計に関する考察
野田夏子, 岸知二
情報処理学会 ソフトウェア工学研究会 研究報告   Vol.2014-SE-186(17)    2014年
近似的構成管理について
岸知二, 宮里章太, 野田夏子
情報処理学会 ソフトウェア工学研究会 研究報告   Vol.2014-SE-186(15) 1-7   2014年
プロダクトライン開発における可変性のモデル化手法
野田夏子, 岸知二
コンピュータソフトウェア   Vol.31(No.4) 66-76   2014年
近似的モデリングアーキテクチャに関する考察
岸知二, 川島優樹, 野田夏子
情報処理学会, ソフトウェアエンジニアリングシンポジウム2014   152-157   2014年
アスペクト指向技術に基づいたOpenFlow制御プログラムの開発支援
大迫正和, 岸知二
情報処理学会 第76回全国大会論文集   329-330   2014年

書籍等出版物

 
Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System
Aoki, Toshiaki, Satoh, Makoto, Tani, Mitsuhiro, Yatake, Kenro, Kishi, Tomoji (担当:共著)
北陸先端科学技術大学院大学 情報科学研究科   2016年5月   
SPLC2013, 17th International Software Product Line Conference, Proceedings - Volume1
Tomoji Kishi, Stan Jarzabek, Stefania Gnesi, Natsuko Noda
ACM   2013年8月   ISBN:978-1-4503-1968-3
SPLC2013, 17th International Software Product Line Conference, Proceedings - Volume2
Tomoji Kishi, Sholom Cohen, Steve Livengood
ACM   2013年8月   ISBN:978-1-4503-2325-3
組み込みソフトウェア開発技術
沢田/平山編著 (岸知二担当: ソフトウェアアーキテクチャ,プロダクトライン開発の章)
CQ出版社   2011年2月   
ソフトウェアエンジニアリング最前線 2009
鵜林尚靖, 岸知二
近代科学社   2009年   ISBN:9784764903715

競争的資金等の研究課題

 
大規模不整合モデルの近似的構成管理手法の研究
科学研究費助成事業(早稲田大学): 科学研究費助成事業(基盤研究(C))
大規模ソフトウェアモデリングのための近似的モデリング手法の研究
科学研究費助成事業(早稲田大学): 科学研究費助成事業(基盤研究(C))
設計モデルと検証モデルの体系化のためのアスペクト指向モデリング技術の研究
科学研究費助成事業(北陸先端科学技術大学院大学): 科学研究費助成事業(基盤研究(C))