 | | |
| |
| | 中島震更新日: 10/04/01 10:42 プロフィールディペンダブル・ソフトウェアに向けた形式手法の研究を続けています。形式仕様言語、代表的な自動検証の技術であるロジック・モデル検査に関心があります。基礎的な研究だけではなく形式手法の実際的な適用にも興味があり産業界の方と交流する場を積極的に持っています。併任の総合研究大学院大学では社会人学生の方と形式手法の研究を行っています。面白い研究テーマが沢山あります。一緒に考えてみませんか？ 研究キーワード 形式手法(6) , ディペンダブルソフトウェア工学(1) , 高信頼性ソフトウェア(1) , モデル検査(5) , 要求仕様(3) , 再利用(3) , アスペクト指向(3) , ソフトウェア工学(19) , Webサービス(8) , 検証技術(1) , ソフトウェア開発効率(1) , モデル化(9) 研究分野 情報学 / ソフトウエア(67) / ディペンダブルソフトウェア、形式手法、モデル検査、検証アルゴリズム
経歴2006年4月 - 現在 国立情報学研究所 アーキテクチャ科学研究系 教授 2005年4月 - 現在 総合研究大学院大学複合科学研究科 教授（併任） 受賞2004年6月 日本ソフトウェア科学会 2003年度論文賞 Miscソフトウェア工学の道具としての形式手法 中島震 ソフトウェアエンジニアリング最前線2007 2007年8月 改訂版：NII Technical Report 2007-007J 形式手法の実像を知る 中島震 日経エレクトロニクス (933) 2006年8月 An Algebraic Approach to Object-Oriented Software Engineering Shin Nakajima Ph.D. Thesis, The University of Tokyo 2000年11月 Alloy : 自動解析可能なモデル規範形式仕様言語 中島震、鵜林尚靖 コンピュータ ソフトウェア 26(3) 78-83 2009年8月 書籍SPINモデル検査入門 中島震（監訳）、谷津弘一、野中哲、足立太郎（訳） オーム社 2010年3月 ISBN:978-4-274-20844-7 M. Ben-Ari : Principles of the SPIN Model Checker (Springer 2008)の翻訳書 |
ソフトウェア工学の基礎 XVI 中島震、鷲崎弘宜（編） 近代科学社 2009年11月 ISBN:978-4-7649-0376-0 |
Proceedings of ISORC 2009 Shin NAKAJIMA et al (eds.) IEEE 2009年3月 |
SPINモデル検査 中島震 近代科学社 2008年4月 ISBN:978-4-7649-0353-1 |
Bメソッドによる形式仕様記述 中島震（監修）、来間啓伸（著） 近代科学社 2007年12月 ISBN:9784764903470 |
講演・口頭発表等検証モデリングの比較検討 ～ 組込みソフトウェアの事例 ～ 中島震、谷津弘一、野中哲、佐原伸 CST 2010年1月 形式手法とモデリング 中島震 情報処理学会ウィンターワークショップ2010・イン・倉敷 2010年1月 形式手法、モデル検査法：その原理と適用の現実 [招待講演] 中島震 情報処理学会連続セミナー 進化する組込みシステム技術 2009年11月 AOWP: Web-Specific AOP Framework for PHP Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi,Shin Nakajima, Akihito Iwai ASE 2009 - Tool Demo 2009年11月 形式手法の概要と適用の実際 [招待講演] 中島震 Embedded Technology 2009 横浜 2009年11月 論文Modular Checking of C Programs using SAT-based Bounded Model-Checker Y. Hashimoto and S. Nakajima Proc. APSEC 2009 2009年12月 [査読有り] A Guidance and Methodology for Employing Model-Checking for Software Development M. Ishiguro, K. Tanaka, A. Umemura, S. Nakajima, and T. Kishi Proc. APESER 2009 2009年12月 [査読有り] Modular Checking with Model Checking Y. Hashimoto and S. Nakajima ENTCS 254 105-122 2009年10月 [査読有り] Integration of Formal Specification, Review, and Testing for Software Component Quality Assurance S. Liu, T. Tamai, S. Nakajima Proceedings of SAC 2009 2009年3月 [査読有り] Aspect-Oriented Programming for Web Controller Layer Keiji HOKAMURA, Naoyasu UBAYASHI, Shin NAKAJIMA 15th Asia-Pacific Software Engineering Conference 529-536 2008年12月 [査読有り] |
|
|
|
| |
