Search Results1-20 of  28

  • 1 / 2
  • 中島 震 ID: 9000003426721

    Articles in CiNii:3

    • 3a-KB-8 連続γ線の測定 (1979)
    • 27p-GH-1 KEKブースターメソンチャネルの建設 IV (1980)
    • 30a-RB-6 パルス状ミューオンによる μe,μSR 測定 (1981)
  • 中島 震 ID: 9000017264692

    Articles in CiNii:1

    • Technology trends in software quality assurance (2010)
  • 中島 震 ID: 9000024963594

    Articles in CiNii:1

    • Guest Paper ソフトウエアの信頼性確保 形式手法の実像を知る--VDMやZ記法などのモデル規範型からUMLとの関連まで (2006)
  • 中島 震 ID: 9000242266917

    Articles in CiNii:1

    • ソフトウェア基礎・応用論文特集の発行にあたって(<特集>ソフトウェア基礎・応用論文) (2013)
  • 中島 震 ID: 9000242679882

    Articles in CiNii:1

    • Event-B : Refinement-based System Modeling (2014)
  • 中島 震 ID: 9000356604637

    Articles in CiNii:1

    • Debugging Pure Strategy Games (2017)
  • 中島 震 ID: 9000362768981

    Articles in CiNii:1

    • Frontiers of Software Engineering - The Era of Software-Defined Everything -:7. Software Testing and Verification under Uncertainty (2017)
  • 中島 震 ID: 9000377370087

    Articles in CiNii:1

    • CPS : its Vision and Technologies (2017)
  • 中島 震 ID: 9000382645113

    Articles in CiNii:1

    • Software Testing under Dataset Diversity (2017)
  • 中島 震 ID: 9000388996810

    Articles in CiNii:1

    • Uncertainty in Machine Learning Software from Quality Assurance Viewpoints (2018)
  • 中島 震 ID: 9000394050180

    Articles in CiNii:1

    • IJCAI-89の報告 (1990)
  • 中島 震 ID: 9000394958340

    Articles in CiNii:1

    • Software Testing under Dataset Diversity (2018)
  • NAKAJIMA S. ID: 9000004333938

    法政大学 (2003 from CiNii)

    Articles in CiNii:1

    • Editor's Message to Special Issue on Object-Oriented Technologies (2003)
  • NAKAJIMA Shin ID: 1000060350211

    National Institute of Informatics (2018 from CiNii)

    Articles in CiNii:132

    • Interoperability of Mobile Agents for Ubiquitous Applications (2005)
    • Alloy : Model-Oriented Specification Language with Automated Analysis Tool (2009)
    • Self-adaptive Web Application Systems : Conceptual Architecture and Implementation Framework (2012)
  • NAKAJIMA Shin ID: 9000107325273

    Articles in CiNii:1

    • A Study of Model Transformation Method Between UML and Simulink (2009)
  • NAKAJIMA Shin ID: 9000107378559

    Articles in CiNii:1

    • Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification (2010)
  • NAKAJIMA Shin ID: 9000258237610

    Articles in CiNii:1

    • 特集「ソフトウェア工学の基礎」の編集にあたって (2003)
  • NAKAJIMA Shin ID: 9000283467624

    Articles in CiNii:1

    • Book Review : The SPIN Model Checker – Primer and Reference Manual (2004)
  • NAKAJIMA Shin ID: 9000348885303

    Articles in CiNii:16

    • Two-Staged Modeling Method with Alloy and Event-B (2015)
    • Two-Staged Modeling Method with Alloy and Event-B (2015)
    • Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus (2013)
  • NAKAJIMA Shin ID: 9000386384369

    National Institute of Informatics (NII) Research Organization of Information and Systems (ROIS) (2017 from CiNii)

    Articles in CiNii:1

    • CPS: its Vision and Technologies (2017)
  • 1 / 2
Page Top