Nakazima Shin 中島震

… Alternative Names

Researcher Number	60350211
Other IDs	https://orcid.org/0000-0002-3827-3165
External Links
Affiliation (Current)	2022: 国立情報学研究所, 大学共同利用機関等の部局等, 名誉教授
Affiliation (based on the past Project Information) *help	2016 – 2020: 国立情報学研究所, 情報社会相関研究系, 教授 2006 – 2016: 国立情報学研究所, アーキテクチャ科学研究系, 教授 2004 – 2005: 国立情報学研究所, ソフトウェア研究系, 教授 2003: 法政大学, 経営学部, 教授
Review Section/Research Field	Principal Investigator Software / Software / Basic Section 60050:Software-related Except Principal Investigator Software / Science and Engineering / Software
Keywords	Principal Investigator ソフトウェア工学 / モデル検査 / ソフトウェア開発効率化・安定化 / 仕様記述・仕様検証 / 自己適応システム / Webアプリケーション / 実行時検証 / 柔らかな不具合 / モデルベース開発 / 機能外要求 … More Except Principal Investigator ソフトウェア / ソフトウェア開発効率化・安定化 / アスペクト指向 / 型システム / アスペクト指向プログラミング / セキュリティ / ソフトウェア工学 / ディスペンダブル・コンピューティング / UML / 形式手法 / 要求工学 / ディスペンタブル・コンピューティング / プログラム言語 / ディペンダブル・コンピューティング / ディスペンダブル、コンピューティング / ソフトウェア開発効率化、安定化 / ソフトウェア・モジュール化 / オブジェクト指向 / 文脈指向 / ソフトウェア学 / プログラミング言語 / モジュール化 / 高信頼ソフトウェア開発 / ソフトウェアアーキテクチャ / インタフェース / 設計抽象化 / トレーサビリティ / アーキテクチャ検証 / ADL / DSL / ソフトウェアアーキテクチャ / アーキテクチャ / アーキテクチャ記述言語 / アーキテクチャ点 / アーキテクチャ点写像 / Arcface / 設計追跡性 / SMTソルバー / デバッグ / 制約 / コンポーネント / 高信頼性 / 再利用 / モデル検査 / 要求仕様 / Webサービス / software / component / high reliability / reuse / model checking / aspect-oriented programming / type system / requirements specification / 高信頼化 / リアクティブプログラミング Less

On Dataset Diversity for Achiving High Reliability of Machine Learning SoftwarePrincipal Investigator
- Principal Investigator
  
  中島震
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  National Institute of Informatics
リアクティブプログラミングのための高信頼化技術
- Principal Investigator
  
  細部博史
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Hosei University
Model-based Analysis of Energy Consumption in Smartphone ApplicationsPrincipal Investigator
- Principal Investigator
  
  Nakajima Shin
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Automatic Debugging by Using Soft Constraints
- Principal Investigator
  
  HOSOBE Hiroshi
- Project Period (FY)
  2012 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Hosei University
  National Institute of Informatics
A Study on Constructing Reliable Software Architecture
- Principal Investigator
  
  UBAYASHI Naoyasu
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyushu University
Detection and Repair of Soft-Faults in Software SystemsPrincipal Investigator
- Principal Investigator
  
  NAKAJIMA Shin
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era
- Principal Investigator
  
  CHIBA Shigeru
- Project Period (FY)
  2010 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
  Tokyo Institute of Technology
Automatic Analysis of Requirements Model with Algebraic Specification TechniquesPrincipal Investigator
- Principal Investigator
  
  NAKAJIMA Shin
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety
- Principal Investigator
  
  TAMAI Tetsuo
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
Algebraic Specification Approach to Model-Checking with ConstraintsPrincipal Investigator
- Principal Investigator
  
  NAKAJIMA Shin
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
High Reliability Component-Based Software Engineering
- Principal Investigator
  
  TAMAI Tetsuo
- Project Period (FY)
  2001 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo

[Book] SPIN モデル検査入門2010
- Author(s)
  M.Ben-Ari(著)、中島震(監訳)、谷津弘一、野中哲、足立太郎(訳)
- Total Pages
  241
- Publisher
  オーム社
- Data Source
  KAKENHI-PROJECT-20500042
[Book] SPINモデル検査入門(翻訳書)2010
- Author(s)
  中島震(監訳)、谷津、野中、足立(訳)
- Total Pages
  241
- Publisher
  オーム社
- Data Source
  KAKENHI-PROJECT-20500042
[Book] SPINモデル検査入門2010
- Author(s)
  中島震
- Total Pages
  262
- Publisher
  オーム社
- Data Source
  KAKENHI-PROJECT-18200001
[Book] ソフトウェア工学の基礎XVI2009
- Author(s)
  中島震、鷲崎弘宜(編)
- Total Pages
  336
- Publisher
  近代科学社
- Data Source
  KAKENHI-PROJECT-20500042
[Book] SPINモデル検査2008
- Author(s)
  中島震(著)
- Total Pages
  238
- Publisher
  近代科学社
- Data Source
  KAKENHI-PROJECT-20500042
[Journal Article] Distortion and Faults in Machine Learning Software2020
- Author(s)
  Shin Nakajima
- Journal Title
  
  Proc. The 9th International Workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL 2019)
  
  Volume: - Pages: 29-41
- DOI
  10.1007/978-3-030-41418-4_3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03224
[Journal Article] Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs2019
- Author(s)
  Shin Nakajima, T.Y. Chen
- Journal Title
  
  Proc. The 31st IFIP International Conference on Testing Software and Systems (IFIP-ICTSS 2019)
  
  Volume: - Pages: 56-64
- DOI
  10.1007/978-3-030-31280-0_4
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03224
[Journal Article] Quality Evaluation Assurance Levels for Deep Neural Networks Software2019
- Author(s)
  Shin Nakajima
- Journal Title
  
  Proc. The 24th International Conference on Technologies and Applications of Artificial Intelligence (TAAI 2019)
  
  Volume: - Pages: 1-6
- DOI
  10.1109/taai48200.2019.8959916
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03224
[Journal Article] Dataset Diversity for Metamorphic Testing of Machine Learning Software2019
- Author(s)
  Shin Nakajima
- Journal Title
  
  Post-Proc. 8th SOFL+MSVL (LNCS)
  
  Volume: - Pages: 21-38
- DOI
  10.1007/978-3-030-13651-2_2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03224
[Journal Article] A Net-based Formal Framework for Causal Loop Diagrams2018
- Author(s)
  Guillermina Cledou and Shin Nakajima
- Journal Title
  
  Proceedings of the 3rd Asia-Pacific Conference on Complex Systems Design and Management (CSD&M Asia 2018)
  
  Volume: - Pages: 1-12
- DOI
  10.1007/978-3-030-02886-2_1
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01726
[Journal Article] Software Testing under Dataset Diversity2018
- Author(s)
  中島震
- Journal Title
  
  Computer Software
  
  Volume: 35 Issue: 2 Pages: 2_26-2_32
- DOI
  10.11309/jssst.35.2_26
- NAID
  130007410585
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03224
[Journal Article] Quality Assurance of Machine Learning Software2018
- Author(s)
  Shin Nakajima
- Journal Title
  
  Proc. IEEE 7th Global Conference on Consumer Electronics
  
  Volume: - Pages: 601-604
- DOI
  10.1109/gcce.2018.8574766
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03224
[Journal Article] Model-based Analysis of Energy Consumption Behavior2016
- Author(s)
  Shin Nakajima
- Journal Title
  
  Trustworthy Cyber-Physical Systems Engineering
  
  Volume: - Pages: 271-305
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330095
[Journal Article] A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs2016
- Author(s)
  Si-Mohamed Lamraoui and Shin Nakajima
- Journal Title
  
  Journal of Information Processing
  
  Volume: 24 Issue: 1 Pages: 88-98
- DOI
  10.2197/ipsjjip.24.88
- NAID
  130005119975
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24300010
[Journal Article] Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability2015
- Author(s)
  Shin Nakajima and Si-Mohamed Lamraoui
- Journal Title
  
  Lecture Notes in Computer Science (CyPhy 2015)
  
  Volume: 9361 Pages: 99-115
- DOI
  10.1007/978-3-319-25141-7_8
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24300010
[Journal Article] Fault Localization of Timed Automata Using Maximum Satisfiability2015
- Author(s)
  Shin Nakajima and Si-Mohamed Lamraoui
- Journal Title
  
  Lecture Notes in Computer Science (SOFL+MSVL 2015)
  
  Volume: 9559 Pages: 72-85
- DOI
  10.1007/978-3-319-31220-0_6
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24300010
[Journal Article] Formal Analysis of Android Application Behavior with Real-Time Maude2015
- Author(s)
  S. Nakajima
- Journal Title
  
  Proc. 3rd International Conference on Cyber-Physical Systems, Networks, and Applications
  
  Volume: - Pages: 7-12
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330095
[Journal Article] Hardened Flow-sensitive Trace Formula for Fault Localization2015
- Author(s)
  Si-Mohamed Lamraoui, Shin Nakajima, and Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS2015)
  
  Volume: - Pages: 50-59
- DOI
  10.1109/iceccs.2015.16
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24300010
[Journal Article] Fault Localization of Energy Consumption Behavior using Maximum Satisfiability2015
- Author(s)
  S. Nakajima and S.-M. Lamraoui
- Journal Title
  
  Proc. Fifth International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems
  
  Volume: - Pages: 99-115
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330095
[Journal Article] 要求変化へのソフトウェア工学2015
- Author(s)
  中島震
- Journal Title
  
  電子情報通信学会誌
  
  Volume: 98 Pages: 124-129
- NAID
  110009909643
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23650019
[Journal Article] Model Checking of Energy Consumption Behavior2015
- Author(s)
  S. Nakajima
- Journal Title
  
  Proc.1st International Conference on Complex Systems Design and Management (CSD&M Asia 2014)
  
  Volume: 1 Pages: 3-14
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330095
[Journal Article] Using Real-Time Maude to Model Check Energy Consumption Behavior2015
- Author(s)
  S. Nakajima
- Journal Title
  
  Proc. 20th International Symposium on Formal Methods
  
  Volume: - Pages: 378-394
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330095
[Journal Article] 自己適応システムにおけるコンポーネントの安全な置き換え2014
- Author(s)
  中島震
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 31 Pages: 259-269
- NAID
  130004688283
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23650019
[Journal Article] Behavioral Contracts for Energy Consumption2014
- Author(s)
  S. Nakajima and M. Toyoshima
- Journal Title
  
  Ada User Journal
  
  Volume: 35 Pages: 266-271
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330095
[Journal Article] Everlasting Challenges with the OBJ Language Family2014
- Author(s)
  S. Nakajima
- Journal Title
  
  Proc. Specification, Algebra, and Software (SAS2014)
  
  Volume: 8373 Pages: 478-493
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330095
[Journal Article] A Formula-Based Approach for Automatic Fault Localization of Imperative Programs2014
- Author(s)
  Si-Mohamed Lamraoui and Shin Nakajima
- Journal Title
  
  Lecture Notes in Computer Science (ICFEM2014)
  
  Volume: 8829 Pages: 251-266
- DOI
  10.1007/978-3-319-11737-9_17
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24300010
[Journal Article] 実行時干渉の発生確率予測2013
- Author(s)
  中島震
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 30 Pages: 95-101
- NAID
  130004549322
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23650019
[Journal Article] Context-dependent Product Line Engineering with Lightweight Formal Approaches (SPLC 2010 Revised Selected Paper)2013
- Author(s)
  Naoyasu Ubayashi, Shin Nakajima, and Masayuki Hirayama
- Journal Title
  
  Science of Computer Programming
  
  Volume: 78(12) Pages: 2331-2346
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300010
[Journal Article] Context-dependent Product Line Engineering with Lightweight Formal Approaches2013
- Author(s)
  Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama
- Journal Title
  
  Science of Computer Programming
  
  Volume: 78(12) Pages: 2331-2346
- DOI
  10.1016/j.scico.2012.06.006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300010
[Journal Article] 自己適応Ｗｅｂアプリケーションシステム：概念アーキテクチャと実現フレームワーク2012
- Author(s)
  中島震
- Journal Title
  
  コンピュータ・ソフトウェア
  
  Volume: ２９ Pages: 54-69
- NAID
  10030497714
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23650019
[Journal Article] Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems2010
- Author(s)
  S.Nakajima, M.Ishiguro, K.Tanaka
- Journal Title
  
  Proc.8^<th> IFIP SEUS 2010
  
  Pages: 83-94
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500042
[Journal Article] ソフトウェア品質確保の技術動向2010
- Author(s)
  中島震
- Journal Title
  
  自動車研究
  
  Volume: 32 Pages: 561-565
- Data Source
  KAKENHI-PROJECT-20500042
[Journal Article] Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems2010
- Author(s)
  Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka
- Journal Title
  
  Proceedings of 8^<th> IFIP Workshop on Software Technology for Future Embedded and Ubiquitous Systems
  
  Pages: 83-94
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500042
[Journal Article] ソフトウェア品質確保の技術動向2010
- Author(s)
  中島震
- Journal Title
  
  自動車研究 Vol.32、No.10
  
  Pages: 561-565
- Data Source
  KAKENHI-PROJECT-20500042
[Journal Article] AOWP : Web-specific AOP framework for PHP, Proceedings of the 24th IEEE/ACM Int'l Conf2009
- Author(s)
  Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubavashi, Shin Nakajima, Akihito Iwai
- Journal Title
  
  on Automated Software Engineering
  
  Pages: 679-681
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] 形式手法の潮流:アーキテクチャへの関心2008
- Author(s)
  中島震
- Journal Title
  
  システム/制御/情報 Vol.52、No.9
  
  Pages: 310-315
- Data Source
  KAKENHI-PROJECT-20500042
[Journal Article] Data Constraints for Validation of Real-Time Software2008
- Author(s)
  Shin NAKAJIMA
- Journal Title
  
  Proceedings of the IASTED International Conference on Software Engineering
  
  Pages: 98-105
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500028
[Journal Article] Data Constraints for Validation of Real-Time Software2008
- Author(s)
  Shin NAKAJIMA
- Journal Title
  
  Proceedings of the TASTED International Conference on Software Engineering
  
  Pages: 98-105
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500028
[Journal Article] Maude-based Implementation of Constraint Automata2007
- Author(s)
  Shin NAKAJIMA
- Journal Title
  
  Journal of Information Processing Society of Japan Vol.48, No.10
  
  Pages: 3341-3351
- NAID
  110006402782
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500028
[Journal Article] 代数仕様言語Maudeを用いた制約オートマトンの実現2007
- Author(s)
  中島震
- Journal Title
  
  情報処理学会論文誌 48
  
  Pages: 3341-3351
- NAID
  110006402782
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500028
[Journal Article] Applying Model-Checking Techniques to Verification of Software Design2006
- Author(s)
  Shin NAKAJIMA
- Journal Title
  
  Computer Software Vol.19, No.2
  
  Pages: 72-86
- NAID
  130004549052
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500028
[Journal Article] 形式手法の実像を知る2006
- Author(s)
  中島震
- Journal Title
  
  日経エレクトロニクス 933号
  
  Pages: 123-142
- Data Source
  KAKENHI-PROJECT-17500028
[Journal Article] Model-Checking Behavioral Specifications of BPEL Applications2006
- Author(s)
  Shin NAKAJIMA
- Journal Title
  
  Electric Notes in Theoretical Computer Science (掲載予定)
- Data Source
  KAKENHI-PROJECT-17500028
[Journal Article] モデル検査法のソフトウェア開発への応用2006
- Author(s)
  中島震
- Journal Title
  
  コンピュータソフトウェア 23
  
  Pages: 72-86
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500028
[Journal Article] Formal Specification and Analysis of JAAS Framework2006
- Author(s)
  Nakajima, S.
- Journal Title
  
  Proceedings of Software Engineering for Secure Systems
  
  Pages: 59-64
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] Aspect-Oriented Software Design with a Variant of UML/STD2006
- Author(s)
  Nakajima, S.
- Journal Title
  
  Proceedings of 5th International Workshop on Scenarios and State Machines : Model, Algorithm and Tools
  
  Pages: 44-50
- Data Source
  KAKENHI-PROJECT-18200001
[Journal Article] モデル検査法のソフトウェア開発への応用2006
- Author(s)
  中島震
- Journal Title
  
  コンピュータ・ソフトウェア 23巻・2号
  
  Pages: 72-86
- Data Source
  KAKENHI-PROJECT-17500028
[Journal Article] Lightweight Formal Analysis of Web Service Flows2005
- Author(s)
  Shin NAKAJIMA
- Journal Title
  
  Progress in Informatics No.2
  
  Pages: 57-76
- Data Source
  KAKENHI-PROJECT-17500028
[Journal Article] UMLステートダイアグラムを用いたアスペクト指向デザインとその検証2005
- Author(s)
  中島震
- Journal Title
  
  日本ソフトウェア科学会第22回大会講演論文集
- NAID
  130005006659
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Lightweight Formal Analysis of Aspect-Oriented Models2004
- Author(s)
  Shin Nakajima
- Journal Title
  
  UML2004 Workshop on Aspect-Oriented Modeling
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Lightweight Formal Analysis of Aspect-Oriented Models2004
- Author(s)
  Shin Nakajima
- Journal Title
  
  Proceedings of UML2004 Workshop on Aspect-Oriented Modeling
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] アスペクト指向モデリングにおける紡ぎあわせ2004
- Author(s)
  中島震
- Journal Title
  
  日本ソフトウェア科学会第21回大会講演論文集
- NAID
  130005006611
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] コンポーネントフレームワーク振舞い解析への多値遷移システムの応用2004
- Author(s)
  中島震
- Journal Title
  
  コンピュータソフトウェア 21・2
  
  Pages: 32-36
- NAID
  130006948920
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Weaving in Role-based Aspect Design Models2004
- Author(s)
  Shin Nakajima
- Journal Title
  
  Proceedings of Early Aspects 2004
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] Weaving in Role-based Aspect Design Models2004
- Author(s)
  Shin Nakajima
- Journal Title
  
  Early Aspects 2004 (Workshop at OOPAL 2004)
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] セキュリティポリシー変更に関するデザイン解析2003
- Author(s)
  中島震
- Journal Title
  
  情報処理学会研究報告 2003-SE-143
  
  Pages: 53-60
- NAID
  110002911437
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] 高レベル・セキュリティポリシーのデザイン検証2003
- Author(s)
  中島震
- Journal Title
  
  日本ソフトウェア科学会第20回大会講演論文集
- NAID
  130004638767
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Journal Article] EJBコンポーネントアーキテクチャのSPINによる振舞い解析2002
- Author(s)
  中島震
- Journal Title
  
  コンピュータソフトウェア 19・2
  
  Pages: 2-18
- NAID
  130004548962
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224013
[Presentation] AIビジネスリスク軽減への価値共創アプローチ2020
- Author(s)
  中島震
- Organizer
  日本ソフトウェア科学会ソフトウェア工学の基礎ワークショップ
- Data Source
  KAKENHI-PROJECT-18H03224
[Presentation] 訓練済み機械学習モデル歪みの定量指標2020
- Author(s)
  中島震
- Organizer
  電子情報通信学会ソフトウェア・サイエンス研究会
- Data Source
  KAKENHI-PROJECT-18H03224
[Presentation] 機械学習ソフトウェア・テスティングの技術動向2020
- Author(s)
  中島震
- Organizer
  電子情報通信学会システム数理と応用研究会
- Data Source
  KAKENHI-PROJECT-18H03224
[Presentation] ファズ・データセットを用いたメタモルフィック・テスティング ~ 機械学習ソフトウェアの検査 ~2019
- Author(s)
  中島震
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-18H03224
[Presentation] 機械学習ソフトウェアの品質評価保証レベル2019
- Author(s)
  中島震
- Organizer
  電子情報通信学会ソフトウェア・サイエンス研究会
- Data Source
  KAKENHI-PROJECT-18H03224
[Presentation] モデルの歪みと機械学習プログラムの欠陥2019
- Author(s)
  中島震
- Organizer
  情報処理学会第202回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-18H03224
[Presentation] 因果ループ図の形式定義と性質解析2018
- Author(s)
  中島震, Guillermina Cledou
- Organizer
  情報処理学会第199回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-17H01726
[Presentation] Dataset Diversity for Metamorphic Testing of Machine Learning Software2018
- Author(s)
  Shin Nakajima
- Organizer
  8th International Workshop SOFL+MSVL
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03224
[Presentation] Quality Assurance of Machine Learning Software2018
- Author(s)
  Shin Nakajima
- Organizer
  IEEE 7th Global Conference on Consumer Electronics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03224
[Presentation] 機械学習ソフトウェアの品質：製品, サービス, プラットフォーム2018
- Author(s)
  中島震
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-18H03224
[Presentation] 機械学習ソフトウェアの品質保証とは2018
- Author(s)
  中島震
- Organizer
  機械学習工学研究会キックオフシンポジウム
- Invited
- Data Source
  KAKENHI-PROJECT-18H03224
[Presentation] Formal Analysis of Causal Loop Diagrams2018
- Author(s)
  Shin Nakajima
- Organizer
  Asia Pacific Conference on Robot IoT System Development and Platform (APRIS2018)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01726
[Presentation] Analyzing Lifecycle Behavior of Android Application Components2015
- Author(s)
  S. Nakajima
- Organizer
  The First International Workshop on Dependable Software and Applications
- Place of Presentation
  台湾、台中市
- Year and Date
  2015-07-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330095
[Presentation] アンドロイド・アプリの電力消費振舞い：形式モデルと有界解析2015
- Author(s)
  中島震
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-26330095
[Presentation] AlloyとEvent-Bを用いる２段階モデリング手法2015
- Author(s)
  中島震
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  札幌市教育文化会館
- Year and Date
  2015-07-24
- Data Source
  KAKENHI-PROJECT-26330095
[Presentation] Model Checking of Energy Consumption Behavior2014
- Author(s)
  S. Nakajima
- Organizer
  湘南会議
- Place of Presentation
  湘南国際村センター
- Year and Date
  2014-10-30
- Invited
- Data Source
  KAKENHI-PROJECT-26330095
[Presentation] スマートタブレットの省電力2014
- Author(s)
  中島震
- Organizer
  情報処理学会　組込みシステムシンポジウム (ESS2014)
- Place of Presentation
  国立オリンピック記念青少年センター
- Year and Date
  2014-10-22
- Invited
- Data Source
  KAKENHI-PROJECT-26330095
[Presentation] スマホ・アプリ電力消費振る舞いと検査性質の表現2014
- Author(s)
  中島震
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学
- Year and Date
  2014-09-09
- Data Source
  KAKENHI-PROJECT-26330095
[Presentation] 電力消費振る舞いのロジック・モデル検査2014
- Author(s)
  中島震
- Organizer
  情報処理学会　第34回組込みシステム研究会
- Place of Presentation
  札幌市男女共同参画センター
- Year and Date
  2014-09-17
- Data Source
  KAKENHI-PROJECT-26330095
[Presentation] Using Linear Temporal Logic with Freeze Quantifier in Model-based Analysis of Energy Consumption2014
- Author(s)
  S. Nakajima
- Organizer
  The 2nd IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014)
- Place of Presentation
  香港、中国
- Year and Date
  2014-08-25
- Data Source
  KAKENHI-PROJECT-26330095
[Presentation] 有界な時区間におけるコスト制約問題としての電力消費解析2014
- Author(s)
  中島震
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  高知市文化プラザかるぽーと
- Year and Date
  2014-10-24
- Data Source
  KAKENHI-PROJECT-26330095
[Presentation] Behavioral Contracts for Energy Consumption2014
- Author(s)
  S. Nakajima and M. Toyoshima
- Organizer
  Challenges and New Approaches for Dependable Cyber-Physical Systems Engineering (De-CPS 2014)
- Place of Presentation
  パリ、フランス
- Year and Date
  2014-06-23
- Data Source
  KAKENHI-PROJECT-26330095
[Presentation] 自己適応システムの安全なコンポーネント置き換え2013
- Author(s)
  中島震
- Organizer
  日本ソフトウェア科学会第３０会大会
- Place of Presentation
  東京大学、本郷キャンパス
- Data Source
  KAKENHI-PROJECT-23650019
[Presentation] Safe Substitution of Components in Self-Adaptive Web Applications2013
- Author(s)
  Shin Nakajima
- Organizer
  The 20th Asia-Pacific Software Engineering Conference
- Place of Presentation
  Bangkok, Thailand
- Data Source
  KAKENHI-PROJECT-23650019
[Presentation] A Constraint-Based Approach to Error Localization2012
- Author(s)
  Hiroshi Hosobe, Shin Nakajima, Michel Rueher
- Organizer
  Fifth CSPSAT & ASP Seminar
- Place of Presentation
  神戸大学
- Year and Date
  2012-10-11
- Data Source
  KAKENHI-PROJECT-24300010
[Presentation] Importance Sampling of Runtime Interference2012
- Author(s)
  Shin Nakajima
- Organizer
  The 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
- Place of Presentation
  香港、中国
- Data Source
  KAKENHI-PROJECT-23650019
[Presentation] 柔らかな不具合の発生頻度予測2012
- Author(s)
  中島震
- Organizer
  日本ソフトウェア科学会第２９回大会
- Place of Presentation
  法政大学、小金井キャンパス
- Data Source
  KAKENHI-PROJECT-23650019
[Presentation] An Architecture of Dynamically Adaptive PHP-based Web Applications2011
- Author(s)
  Shin NAKAJIMA
- Organizer
  APSEC 2011
- Place of Presentation
  ベトナム、ホーチミン市
- Data Source
  KAKENHI-PROJECT-23650019
[Presentation] 柔らかな不具合に対する自己適応システムのアーキテクチャ2011
- Author(s)
  中島震
- Organizer
  2011年度日本ソフトウェア科学会大会
- Place of Presentation
  那覇市
- Data Source
  KAKENHI-PROJECT-23650019
[Presentation] Finding Minimal Unsatisfiable Fragments in Inconsistent Feature Diagrams2010
- Author(s)
  Shin Nakajima
- Organizer
  ACMSAC2010
- Place of Presentation
  HES-SO(Sierre, Switzerland)
- Year and Date
  2010-03-24
- Data Source
  KAKENHI-PROJECT-18200001
[Presentation] A Refinement Planning Sheet2010
- Author(s)
  S.Nakajima
- Organizer
  RODIN Developer Workshop 2010
- Place of Presentation
  デユッセルドルフ
- Year and Date
  2010-09-15
- Data Source
  KAKENHI-PROJECT-20500042
[Presentation] Event-Bで書かれたシステム要求仕様の妥当性検査2010
- Author(s)
  中島震
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  旭川
- Year and Date
  2010-08-07
- Data Source
  KAKENHI-PROJECT-20500042
[Presentation] A Refinement Planning Sheet2010
- Author(s)
  中島震
- Organizer
  RODIN User and Developer Workshop 2010
- Place of Presentation
  デユッセルドルフ
- Year and Date
  2010-09-15
- Data Source
  KAKENHI-PROJECT-20500042
[Presentation] 検証モデリングの比較検討-組込みシステムの事例-2010
- Author(s)
  中島震、谷津、野中、佐原
- Organizer
  電子情報通信学会コンカレント工学研究会
- Place of Presentation
  トヨタ中研(豊田市)
- Year and Date
  2010-01-21
- Data Source
  KAKENHI-PROJECT-20500042
[Presentation] Construching FODA Feature Diagrams with a GUI-based Tool2009
- Author(s)
  Shin Nakajima
- Organizer
  SEKE2009
- Place of Presentation
  Hyatt Harborside at Logan Int'l Airport(Boston, USA)
- Year and Date
  2009-07-01
- Data Source
  KAKENHI-PROJECT-18200001
[Presentation] RODIN Plug-in to Link Event-B with SPIN2009
- Author(s)
  Thomas MULLER, 中島震
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  北見工大(北見市)
- Year and Date
  2009-08-07
- Data Source
  KAKENHI-PROJECT-20500042
[Presentation] ソフトウェア工学からみたモデル検査法2009
- Author(s)
  中島震
- Organizer
  回路とシステム軽井沢ワークショップ
- Place of Presentation
  プリンスホテル(軽井沢)
- Year and Date
  2009-04-20
- Data Source
  KAKENHI-PROJECT-20500042
[Presentation] A GUI Tool for FODA Feature Diagrams2009
- Author(s)
  Shin Nakajima
- Organizer
  8th International Conference on Aspect-Oriented Software Development
- Place of Presentation
  University of Virginia, Charlottesville, USA
- Year and Date
  2009-03-04
- Data Source
  KAKENHI-PROJECT-18200001
[Presentation] Abstraction Aided Model Checking of Modeling Notations2009
- Author(s)
  Shin Nakajima
- Organizer
  JAIST 21世紀COE CafeOBJ/Maude Workshop
- Place of Presentation
  JAIST(能美市)(石川県)
- Year and Date
  2009-02-25
- Data Source
  KAKENHI-PROJECT-20500042
[Presentation] Abstraction Aided Model Checking for Validation of Event-B Descriptions2009
- Author(s)
  Shin Nakajima, Hironobu Kuruma
- Organizer
  IM_FMT 2009
- Place of Presentation
  デユッセルドルフ
- Year and Date
  2009-02-16
- Data Source
  KAKENHI-PROJECT-20500042
[Presentation] Abstraction Aided Model Checking of Event-B Descriptions2009
- Author(s)
  Shin NAKAJIMA
- Organizer
  IM_FMT 2009
- Place of Presentation
  デュッセルドルフ(ドイツ)
- Year and Date
  2009-02-16
- Data Source
  KAKENHI-PROJECT-20500042
[Presentation] 要求違反の実行時監視と原因診断2008
- Author(s)
  中島震
- Organizer
  第5回システム検証の科学シンポジウム
- Place of Presentation
  筑波大学
- Year and Date
  2008-11-18
- Data Source
  KAKENHI-PROJECT-18200001
[Presentation] FD Checker--A Formal Analysis Tool for FODA Feature Diagrams2008
- Author(s)
  Shin Nakajima
- Organizer
  AOAsia4
- Data Source
  KAKENHI-PROJECT-18200001
[Presentation] Event-B仕様記述のモデル検査2008
- Author(s)
  中島震
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  東京大学(東京都)
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20500042
[Presentation] Event-Bデザインのモデル検査における抽象化2008
- Author(s)
  中島震
- Organizer
  情報処理学会ソフトウェア工学研究会
- Place of Presentation
  情報処理学会(東京都)
- Year and Date
  2008-06-20
- Data Source
  KAKENHI-PROJECT-20500042
[Presentation] Right-weight Formal Methods for Real-time Components2007
- Author(s)
  Shinge NAKAJIMA
- Organizer
  IEICE-SS
- Place of Presentation
  Sapporo
- Year and Date
  2007-08-03
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500028
[Presentation] リアルタイム・コンポーネント向けの程良い形式手法2007
- Author(s)
  中島震
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  北海道大学
- Year and Date
  2007-08-03
- Data Source
  KAKENHI-PROJECT-17500028
[Presentation] 制約オートマトンを用いたソフトウェア・デザインの記述法2006
- Author(s)
  中島震
- Organizer
  電子情報通信学会 SS
- Place of Presentation
  北海道大学
- Year and Date
  2006-08-03
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500028
[Presentation] Software Design Method Using Extended Finite-State Automata with Constraints2006
- Author(s)
  Shinge NAKAJIMA
- Organizer
  IEICE-SS
- Place of Presentation
  Sapporo
- Year and Date
  2006-08-03
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500028
[Presentation] Constraint-based Software Design2006
- Author(s)
  Shinge NAKAJIMA
- Organizer
  IEICE-KBSE
- Place of Presentation
  Naha
- Year and Date
  2006-11-25
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500028
[Presentation] Automated Error Localization with Weighted Partial Maximum Satisfiability
- Author(s)
  Si-Mohamed Lamraoui and Shin Nakajima
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  北海道立道民活動センター(北海道・札幌市)
- Year and Date
  2013-07-25 – 2013-07-26
- Data Source
  KAKENHI-PROJECT-24300010
[Presentation] SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs
- Author(s)
  Si-Mohamed Lamraoui and Shin Nakajima
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  沖縄県青年会館(沖縄県・那覇市)
- Year and Date
  2015-03-09 – 2015-03-10
- Data Source
  KAKENHI-PROJECT-24300010
[Presentation] SNIPER: A Tool for Automatically Localizing Errors in Imperative Programs
- Author(s)
  Si-Mohamed Lamraoui and Shin Nakajima
- Organizer
  ソフトウェアエンジニアリングシンポジウム2013「プログラム・デバッグ自動化の現状と今後」ワークショップ
- Place of Presentation
  東洋大学白山キャンパス(東京都・文京区)
- Year and Date
  2013-09-09 – 2013-09-11
- Data Source
  KAKENHI-PROJECT-24300010
[Presentation] Safe Substitution for Service-based Applications
- Author(s)
  Shin Nakajima
- Organizer
  2nd International Workshop on Quality Assurance for Service-based Applications
- Place of Presentation
  Lugano, Switzerland
- Data Source
  KAKENHI-PROJECT-23650019

1. UBAYASHI Naoyasu (80372762)

# of Collaborated Projects: 4 results

# of Collaborated Products: 2 results
2. TAMAI Tetsuo (60217172)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. MASUHARA Hidehiko (40280937)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. IGARASHI Atsushi (40323456)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. CHIBA Shigeru (80282713)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. KAMINA Tetsuo (90431882)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. HOSOBE Hiroshi (60321577)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
8. FUKUDA Akira (80165282)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. HISAZUMI Kenji (10380685)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. KAMEI Yasutaka (10610222)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. SHIBAYAMA Etsuya (80162642)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 金子知適 (00345068)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 青山幹雄 (40278073)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 日高宗一郎 (70321578)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. RUEHER Michel

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
16. LAMRAOUI Si-Mohamed

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results

Nakazima Shin 中島 震

NAKAJIMA Shin 中島 震

中嶋 震 ナカジマ シン

中島 震 ナカジマ シン

Research Projects

Research Products

Co-Researchers

On Dataset Diversity for Achiving High Reliability of Machine Learning SoftwarePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

リアクティブプログラミングのための高信頼化技術

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Model-based Analysis of Energy Consumption in Smartphone ApplicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automatic Debugging by Using Soft Constraints

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Constructing Reliable Software Architecture

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Detection and Repair of Soft-Faults in Software SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automatic Analysis of Requirements Model with Algebraic Specification TechniquesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Algebraic Specification Approach to Model-Checking with ConstraintsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

High Reliability Component-Based Software Engineering

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Book] SPIN モデル検査入門2010

Author(s)

Total Pages

Publisher

Data Source

[Book] SPINモデル検査入門(翻訳書)2010

Author(s)

Nakazima Shin 中島震

NAKAJIMA Shin 中島震

中嶋震ナカジマシン

中島震ナカジマシン