Rchr
J-GLOBAL ID:200901030798025427   Update date: Jan. 17, 2020

Shin Nakajima

Shin Nakajima
Affiliation and department:
Job title: Professor
Other affiliations (1):
Research field  (2): Software ,  Software
Research keywords  (11): Machine Learning Software ,  Modeling ,  Software Engineering ,  Requirements Specification ,  Logic Model Checking ,  Dependable Systems ,  Formal Methods ,  Socio-Technlogy ,  Game Theory ,  Cyber Physical Systems ,  Software Testsing
Papers (66):
  • Shin Nakajima. Quality Evaluation Assurance Levels for Deep Neural Networks Software. Proc. 24th International Conference on Technologies and Applications of Artificial Intelligence (TAAI 2019). 2019. 1-6
  • Shin Nakajima. Distortion and Faults in Machine Learning Software. Proc. SOFL+MSVL 2019. 2019
  • S. Nakajima and T.Y. Chen. Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs. Proc. IFIP-ICTSS 2019. 2019. 56-64
  • K. Okano, S. Harauchi, T. Sekizawa, S. Ogata, and S. Nakajima. Consistency Checking between Java equals and hashCode Methods using Software Analysis Workbench. IEICE Trans. Information and Systems. 2019. E102-D. 8. 1498-1505
  • Guillermina Cledou and Shin Nakajima. A Net-based Formal Framework for Causal Loop Diagrams. Proc.3rd International Conference on Complex Systems Design and Management (CSD&M Asia 2018). 2018. 1-12
more...
MISC (1):
  • Shin Nakajima. An Algebraic Approach to Object-Oriented Software Engineering. Ph.D. Thesis, The University of Tokyo. 2000
Books (2):
  • Proceedings of ISORC 2009
    IEEE 2009
  • Cyber-Physical System Design from an Architecture Analysis Viewpoint
    Springer 2017 ISBN:978-981-10-4435-9
Lectures and oral presentations  (70):
  • モデル検査を用いたソフトウェアの形式検証
    (日本ソフトウェア科学会チュートリアル 2004)
  • モデル検査法を用いたデザイン検証
    (ソフトウェア品質管理研究会第6回例会 2005)
  • フォーマルメソッドは夢か道具か?
    (第8回プログラミングおよびプログラミング言語ワークショップ 2006)
  • モデル検査とは何か? 技術の概要と歴史
    (組み込みソフト・フォーラム2006Spring 2006)
  • ソフトウェア工学の道具としての形式手法
    (ソフトウェアエンジニアリングシンポジウム2007 2007)
more...
Professional career (1):
  • Ph.D. (The University of Tokyo)
Association Membership(s) (3):
FME ,  IPSJ ,  JSSST
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page