Rchr
J-GLOBAL ID：200901021975493054   Update date: Jan. 30, 2024

CHANG Han-Myung

チョウ カンメイ | CHANG Han-Myung
Affiliation and department：
Nanzan University Department of Mechanical Engineering and System Control, Faculty of Information Sciences and Technology

About Nanzan University Department of Mechanical Engineering and System Control, Faculty of Information Sciences and Technology


Job title： Associate Professor
Homepage URL  (2)： http://www.st.nanzan-u.ac.jp/info/chang/ ,  http://www.seto.nanzan-u.ac.jp/~chang/index-e.html
Research field  (1)： Software
Research keywords  (4)： 形式手法 ,  ソフトウェア工学 ,  Formal Methods ,  Software Engineering
Research theme for competitive and other funds  (13)：
  • 2020 - 2023 A Quality-Driven Software Architecture Design Method for IoT Systems
  • 2019 - 2022 Description method and formal verification method with section behavior model based on software architecture
  • 2016 - 2019 An Architecture Centric Software Development Environment for Cyber Physical Systems
  • 2012 - 2017 Architecture Oriented Formal Approaches to High Quality Software Development
  • 2012 - 2015 A product line construction method based on separation of concerns on cloud software
Show all
Papers (9)：
  • 張漢明, 野呂昌満, 沢田篤史. MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察. ソフトウェア工学の基礎XXIV(日本ソフトウェア科学会FOSE2017). 2017. 183-188
  • A Behavioral Specification Notation and Verification Method based on Section that Implies Multiple Events Occurrence. 2017. 34. 2. 3-15
  • 張 漢明, 野呂 昌満, 沢田 篤史. MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察. 第44回組込みシステム研究発表会 , 情報処理学会. 2017. 1-6
  • 張 漢明, 野呂 昌満, 沢田 篤史. 並列事象の同時生起を考慮した振る舞い仕様記述法に関する考察. 第23回ソフトウェア工学の基礎ワークショップ(FOSE2016). 2016. 255-256
  • HACHISU Yoshinari, NORO Masami, SAWADA Atsushi, CHANG Han-Myung, YOSHIDA Atsushi. A Design and Implementation of Light-Weight Fast XQuery Processor Generator Using Comppiler Design. Computer Software. 2013. 30. 4. 67-81
ｍore...
MISC (29)：
  • Consideration on formal specification model by appling MVC architecture in meta-level. 2017. 116. 510. 257-262
  • CHANG HAN-MYUNG, NORO MASAMI, SAWADA ATSUSHI. A discussion on concurrent system verification for considering simultaneous event occurences. IEICE technical report. Computer systems. 2015. 114. 506. 201-206
  • CHANG HAN-MYUNG, NORO MASAMI, SAWADA ATSUSHI. A discussion on concurrent system verification for considering simultaneous event occurences. IEICE technical report. Dependable computing. 2015. 114. 507. 201-206
  • A discussion on concurrent system verification for considering simultaneous event occurences. 2015. 2015. 13. 1-6
  • CHANG HAN-MYUNG, SAWADA ATSUSHI, NORO MASAMI. A discussion on the verification of concurrent systems for considering critical execution order. IEICE technical report. Dependable computing. 2014. 113. 498. 43-48
ｍore...
Education (4)：
  • - 1999 Nara Institute of Science and Technology Graduate School of Information Science
  • - 1999 Nara Institute of Science and Technology Graduate School, Division of Information Science
  • - 1989 Doshisha University
  • - 1989 Doshisha University Faculty of Engineering
Professional career (1)：
  • (BLANK) (Nara Institute of Science and Technology)
Association Membership(s) (2)：
日本ソフトウェア科学会 ,  情報処理学会
※ 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