Rchr
J-GLOBAL ID：200901052915749273   Update date: Feb. 01, 2024

Kusakabe Shigeru

クサカベ シゲル | Kusakabe Shigeru
Affiliation and department：
University of Nagasaki Faculty of Information Science and Electrical Engineering

About University of Nagasaki Faculty of Information Science and Electrical Engineering


Job title： Professor
Research field  (1)： Software
Research keywords  (8)： ソフトウェア開発プロセス ,  形式手法 ,  ソフトウェア工学 ,  セーフウェア ,  Formal Methods ,  Software Process ,  Software Engineering ,  Safeware
Research theme for competitive and other funds  (20)：
  • 2012 - 2017 Architecture Oriented Formal Approaches to High Quality Software Development
  • 2013 - 2016 Multi-thread scheduling mechanism for reducing execution and energy consumption
  • 2009 - 2011 Study on Formal Methods Applicable to Practical Software Development
  • 2006 - 2008 Operating system on commodity processor using continuation-based non-interruptible threads
  • 2004 - 2006 System Modeling and Property Interference Analysis in Software Development
Show all
Papers (69)：
ｍore...
MISC (86)：
ｍore...
Education (1)：
  • Kyushu University
Professional career (1)：
  • 博士(工学)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM