Chang Han-Myung 張漢明

… Alternative Names

CHANG Han-myung 張漢明

CHANG Han-Myung 張漢明

CHANG Han-myun 張漢明

Less

Researcher Number	90329756
Other IDs
Affiliation (Current)	2025: 南山大学, 理工学部, 教授
Affiliation (based on the past Project Information) *help	2023: 南山大学, 理工学部, 教授 2014 – 2022: 南山大学, 理工学部, 准教授 2009 – 2013: 南山大学, 情報理工学部, 准教授 2004 – 2006: 南山大学, 数理情報学部, 助教授 2000 – 2001: 南山大学, 数理情報学部, 講師
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related Except Principal Investigator Software / Basic Section 60050:Software-related / Software / 計算機科学
Keywords	Principal Investigator 並行システム / アーキテクチャ / 並列・並行システム / 組み込みシステム / UML / 詳細化検証 / 振る舞い検証 / 同時性 / CSP / プロセス代数 … More / イベントの同時性 / 並列システム / ソフトウェアアーキテクチャ / モデル検査 / 形式仕様言語 / 形式仕様 / 形式手法 … More Except Principal Investigator ソフトウェアアーキテクチャ / 形式仕様記述 / アスペクト指向 / サイバーフィジカルシステム / 品質特性 / ソフトウェア品質 / IoT / 組込みソフトウェア / 形式手法 / モデル検査 / ソフトウェア工学 / アーキテクチャ設計 / 設計方法論 / 開発方法論 / 機械学習モジュール / サイバーフィジカルシステム設計 / 設計知識 / 品質モデル / Internet of Things / ソフトウェア開発支援 / ソフトウェア品質特性 / コンテキスト指向 / ソフトウェア開発支援環境 / 組込みソフトウェア開発支援 / ソフトウェア開発効率化・安定化 / 自己適用型ソフトウェア / コンテキストアウェアネス / 開発支援環境 / 組込みシステム / Architecture Style / Software Architecture / Embedded Systems / Aspect-Oriented / CSP / 組込ソフトウェア / アーキテクチャスタイル / aspect-orientation / behavioral analysis / highly reliable systems / case studies / manifold description and analysis / embedded software / formal specification / system modeling / システム特性 / アスペクト志向 / 振舞い分析 / 高信頼性 / 事例研究 / 多面的記述と分析 / システムモデル構築 / Diagram Analyzer / Case Studies / Formal Specification Testing / System Behavior Description / Statecharts / Formal Methods / Domain Modeling / Formal Specification / 段階的詳細化設計 / 図式表現 / 図式分析ツール / システム記述事例研究 / 形式仕様の検査 / システム動作記述 / ステートチャート / ドメインモデル構築 / SOA / クラウド / プロダクトライン / アスペクト指向技術 / 高信頼安心安全システム / 予備形式化 / 適用性の高い形式手法 / モデル化支援化ツール / 高適用形式手法 / モデル化支援ツール / ソフトウェアライフサイクル / アーキテクチャ指向モデル化 / 高適用性形式手法 / 高信頼安全安心システム / 書き換え支援 / インスペクション / ソフトウェアリポジトリ / リポジトリ解析 / 書換え支援 / ソースコード解析 / 検証方式 / コードインスペクション / ソフトウェアコーパス / 確率的言語モデル / ソフトウェア進化 / ソフトウェア解析 / コア資産 / 要求分析 / 実証的アプローチ / プロダクト追跡性 / アーキテクチャ文書化 / デザインパターン / 要求仕様モデル / プロダクトライン開発 / 形式的仕様記述 / 実証的手法 / モデル駆動開発 / PLSE Less

Quality Oriented Design Method for CPS Concerning Effects of Modules with Uncertain Behaviour
- Principal Investigator
  
  沢田篤史
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nanzan University
A Quality-Driven Software Architecture Design Method for IoT Systems
- Principal Investigator
  
  SAWADA Atsushi
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nanzan University
Description method and formal verification method with section behavior model based on software architecturePrincipal Investigator
- Principal Investigator
  
  Chang Han-Myung
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nanzan University
An Architecture Centric Software Development Environment for Cyber Physical Systems
- Principal Investigator
  
  SAWADA ATSUSHI
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nanzan University
Architecture Oriented Formal Approaches to High Quality Software Development
- Principal Investigator
  
  Araki Keijiro
- Project Period (FY)
  2012 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Software
- Research Institution
  Kyushu University
A product line construction method based on separation of concerns on cloud software
- Principal Investigator
  
  NORO Masami
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nanzan University
Studies on Software Analysis using Probabilistic Language Models
- Principal Investigator
  
  SAWADA Atsushi
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nanzan University
On tractability from requirements to architecture in product line software engineering
- Principal Investigator
  
  NORO Masami
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nanzan University
Software Development Environment for Embedded Systems based on Aspect-Oriented Architecture
- Principal Investigator
  
  NORO Masami
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nanzan University
System Modeling and Property Interference Analysis in Software Development
- Principal Investigator
  
  ARAKI Keijiro
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  KYUSHU UNIVERCITY
Basic Study on Formal Approaches to Systematic Development Methods of High-Quality Embedded Systems
- Principal Investigator
  
  ARAKI Keijiro
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Kyushu University

[Journal Article] 機械学習を用いた危険予測システムのためのソフトウェアアーキテクチャ設計2023
- Author(s)
  加地智也、飯盛天翔、野呂昌満、沢田篤史、張漢明
- Journal Title
  
  電子情報通信学会技術研究報告（ソフトウェアサイエンス）
  
  Volume: Vol. 123 Pages: 1-6
- Open Access
- Data Source
  KAKENHI-PROJECT-23K11058
[Journal Article] 2.自動運転における危険予測のためのコンテキスト指向ソフトウェアアーキテクチャ2023
- Author(s)
  村上友太、曽我康平、並川雄貴、加地智也、飯盛天翔、野呂昌満、沢田篤史、張漢明
- Journal Title
  
  ソフトウェアエンジニアリングシンポジウム2023論文集
  
  Volume: Vol. 2023 Pages: 154-163
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K11058
[Journal Article] IoTアプリケーションのためのコンテキスト指向ソフトウェアアーキテクチャ2023
- Author(s)
  本田一輝、野呂昌満、沢田篤史、張漢明
- Journal Title
  
  ソフトウェア工学の基礎30（日本ソフトウェア科学会FOSE2023）
  
  Pages: 159-164
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K11058
[Journal Article] 並行システムデバッグ支援のためのフォールトパターンに関する考察2022
- Author(s)
  張漢明，高木裕也，沢田篤史，野呂昌満
- Journal Title
  
  情報処理学会研究報告（組込みシステム）
  
  Volume: Vol. 2022-EMB-59, No. 56 Pages: 1-7
- Open Access
- Data Source
  KAKENHI-PROJECT-20K11759
[Journal Article] アスペクト指向アーキテクチャに基づく組込みソフトウェアの設計法の提案2021
- Author(s)
  野呂昌満，沢田篤史，張漢明，繁田雅信
- Journal Title
  
  ソフトウェアエンジニアリングシンポジウム2021論文集
  
  Volume: 2021 Pages: 32-40
- NAID
  170000185279
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K11759
[Journal Article] アスペクト指向アーキテクチャに基づく組込みソフトウェアの設計法の提案2021
- Author(s)
  野呂昌満，沢田篤史，張漢明，繁田雅信
- Journal Title
  
  ソフトウェアエンジニアリングシンポジウム2021論文集
  
  Volume: 1 Pages: 32-40
- NAID
  170000185279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11911
[Journal Article] 同時に起こる事象を考慮した区間振る舞いモデルの提案2021
- Author(s)
  張漢明，野呂昌満，沢田篤史
- Journal Title
  
  情報処理学会研究報告（組込みシステム）
  
  Volume: 2021-EMB-56 Pages: 1-8
- Open Access
- Data Source
  KAKENHI-PROJECT-20K11759
[Journal Article] MVCアーキテクチャに基づく形式仕様と仕様記述プロセスに関する考察2019
- Author(s)
  張漢明、野呂昌満、沢田篤史
- Journal Title
  
  情報処理学会研究報告（組込みシステム）
  
  Volume: 2019-EMB-50/41 Pages: 1-7
- Open Access
- Data Source
  KAKENHI-PROJECT-16K00110
[Journal Article] MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察2017
- Author(s)
  張漢明，野呂昌満，沢田篤史
- Journal Title
  
  情報処理学会研究報告（組込みシステム）
  
  Volume: 2017-EMB-44/44 Pages: 1-6
- Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-16K00110
[Journal Article] 複数事象の発生を含意した区間振る舞い記述法とその検証法の提案2017
- Author(s)
  張漢明、野呂昌満、沢田篤史
- Journal Title
  
  日本ソフトウェア科学会コンピュータソフトウェア
  
  Volume: 印刷中
- NAID
  130006855232
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-24220001
[Journal Article] A Behavioral Specification Notation and Verification Method based on Section that Implies Multiple Events Occurrence2017
- Author(s)
  張漢明、野呂昌満、沢田篤史
- Journal Title
  
  Computer Software
  
  Volume: 34 Issue: 2 Pages: 2_3-2_15
- DOI
  10.11309/jssst.34.2_3
- NAID
  130006855232
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K00110
[Journal Article] MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察2017
- Author(s)
  張漢明、野呂昌満、沢田篤史
- Journal Title
  
  ソフトウェア工学の基礎XXIV（日本ソフトウェア科学会FOSE2017）
  
  Pages: 183-188
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00110
[Journal Article] 複数事象の発生を含意した区間振る舞い記述法とその検証法の提案2017
- Author(s)
  張漢明，野呂昌満，沢田篤史
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 印刷中
- NAID
  130006855232
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-16K00110
[Journal Article] 並列事象の同時生起を考慮した振る舞い仕様記述法に関する考察2016
- Author(s)
  張漢明，野呂昌満，沢田篤史
- Journal Title
  
  ソフトウェア工学の基礎XXIII
  
  Volume: - Pages: 255-256
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K00110
[Journal Article] 前処理プログラムに対する記号表の構成手法2013
- Author(s)
  前林達也, 吉田敦, 蜂巣吉成, 張漢明, 野呂昌満
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.54, No.2 Pages: 912-921
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500049
[Journal Article] コンパイル方式による高速軽量なXQuery問い合わせプログラム生成系の設計と実現2013
- Author(s)
  蜂巣吉成，野呂昌満，沢田篤史，張漢明，吉田敦
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 30
- NAID
  10031196720
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500049
[Journal Article] Webページ記述内のプログラム断片に対する DOM tree を用いた構文木の構成手法2012
- Author(s)
  立道昂太, 吉田敦, 蜂巣吉成, 張漢明, 野呂昌満
- Journal Title
  
  ソフトウェアエンジニアリングシンポジウム2012論文集
  
  Volume: Vol.2012 Pages: 1-6
- NAID
  170000071932
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500049
[Journal Article] 属性付き字句系列に基づくソースコード書き換え支援環境2012
- Author(s)
  吉田敦，蜂巣吉成，沢田篤史，張漢明，野呂昌満
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 53巻 Pages: 1832-1849
- NAID
  110009423553
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] 属性付き字句系列に基づくソースコード書き換え支援環境2012
- Author(s)
  吉田敦,蜂巣吉成,沢田篤史,張漢明,野呂昌満
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.53,No.7 Pages: 1832-1849
- NAID
  110009423553
- URL
  http://id.nii.ac.jp/1001/00083176/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] 属性付き字句系列に基づくソースコード書換え支援環境2012
- Author(s)
  吉田敦, 蜂巣吉成, 沢田篤史, 張漢明, 野呂昌満
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.53, No.7 Pages: 1832-1849
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500049
[Journal Article] HTML要素の状態を考慮したCSSの拡張方法の提案2011
- Author(s)
  蜂巣吉成、吉田敦、野呂昌満、沢田篤史、張漢明
- Journal Title
  
  電子情報通信学会論文誌D
  
  Volume: Vol.J94-D、No.11 Pages: 1931-1934
- NAID
  110008761643
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] コンパイル方式によるXQuery問い合わせプログラム生成方法2011
- Author(s)
  蜂巣吉成,野呂昌満,沢田篤史,張漢明,吉田敦
- Journal Title
  
  ソフトウェア工学の基礎XVIII-日本ソフトウェア科学会FOSE2011
  
  Pages: 21-30
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] コンパイル方式によるXQuery問い合わせプログラム生成方法2011
- Author(s)
  蜂巣吉成, 野呂昌満, 沢田篤史, 張漢明, 吉田敦
- Journal Title
  
  ソフトウェア工学の基礎XVIII-日本ソフトウェア科学会FOSE2011
  
  Pages: 21-30
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] A Design Map for Recording Precise Architecture Decisions2011
- Author(s)
  沢田篤史、野呂昌満、張漢明、蜂巣吉成、吉田敦
- Journal Title
  
  Proc.the 18th Asia-Pacific Software Engineering Conference (APSEC2011)
  
  Pages: 298-305
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] コンパイル方式によるXQuery問い合わせプログラム生成方法2011
- Author(s)
  蜂巣吉成、野呂昌満、沢田篤史、張漢明、吉田敦
- Journal Title
  
  ソフトウェア工学の基礎XVIII-日本ソフトウェア科学会FOSE 2011
  
  Pages: 21-30
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] 表現の違いを考慮したマクロ逆置換方法の提案2011
- Author(s)
  曽我展世, 吉田敦, 蜂巣吉成, 沢田篤史, 張漢明, 野呂昌満
- Journal Title
  
  ソフトウェアエンジニアリングシンポジウム2011論文集(情報処理学会シンポジウムシリーズ)
  
  Volume: 2011 Pages: 1-6
- NAID
  170000067110
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] HTML要素の状態を考慮したCSSの拡張方法の提案2011
- Author(s)
  蜂巣吉成,吉田敦,野呂昌満,沢田篤史,張漢明
- Journal Title
  
  電子情報通信学会論文誌D
  
  Volume: Vol.J94-D,No.11 Pages: 1931-1934
- NAID
  110008761643
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] ソースコードインスペクションツールのためのソフトウェアアーキテクチャの設計と進化2011
- Author(s)
  沢田篤史,野呂昌満,蜂巣吉成,張漢明,吉田敦,長大介,浦野彰彦
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.28,No.4
- NAID
  130004549240
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] 表現の違いを考慮したマクロ逆置換方法の提案2011
- Author(s)
  曽我展世、吉田敦、蜂巣吉成、沢田篤史、張漢明、野呂昌満
- Journal Title
  
  ソフトウェアエンジニアリングシンポジウム2011(SES2011)論文集-情報処理学会シンポジウムシリーズ
  
  Pages: 6-6
- NAID
  170000067110
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] ソースコードインスペクションツールのためのソフトウェアアーキテクチャの設計と進化2011
- Author(s)
  沢田篤史、野呂昌満、蜂巣吉成、張漢明、吉田敦、長大介、浦野彰彦
- Journal Title
  
  日本ソフトウェア科学会編コンピュータソフトウェア
  
  Volume: 28巻4号
- NAID
  130004549240
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] ソースコードインスペクションツールのためのソフトウェアアーキテクチャの設計と進化2011
- Author(s)
  沢田篤史, 野呂昌満, 蜂巣吉成, 張漢明, 吉田敦, 長大介, 浦野彰彦
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 28
- NAID
  130004549240
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] 表現の違いを考慮したマクロ逆置換方法の提案2011
- Author(s)
  曽我展世,吉田敦,蜂巣吉成,沢田篤史,張漢明,野呂昌満
- Journal Title
  
  ソフトウェアエンジニアリングシンポジウム2011論文集(情報処理学会シンポジウムシリーズ)
  
  Volume: Vol.2011 Pages: 1-6
- NAID
  170000067110
- URL
  http://id.nii.ac.jp/1001/00077559/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] 表現の違いを考慮したマクロ逆置換方法の提案2011
- Author(s)
  曾我展世、吉田敦、蜂巣吉成、沢田篤史、張漢明、野呂昌満
- Journal Title
  
  ソフトウェアエンジニアリングシンポジウム2011(SES2011)論文集-情報処理学会シンポジウムシリーズ
- NAID
  170000067110
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] A Design Map for Recording Precise Architecture Decisions2011
- Author(s)
  A. Sawada, M. Noro, H.-M Chang, Y. Hachisu, A. Yoshida
- Journal Title
  
  The 18th Asia-Pacific Software Engineering Conference(APSEC2011)
  
  Pages: 298-305
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] A Design Map for Recording Precise Architecture Decisions2011
- Author(s)
  Sawada, A, Noro, M., Chang, H.-M., Hachisu, Y., Yoshida, A
- Journal Title
  
  Proc.the 18th Asia-Pacific Software Engineering Conference (APSEC2011)
  
  Pages: 298-305
- DOI
  10.1109/apsec.2011.36
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500036, KAKENHI-PROJECT-22500037
[Journal Article] HTML要素の状態を考慮したCSSの拡張方法の提案2011
- Author(s)
  蜂巣吉成, 吉田敦, 野呂昌満, 沢田篤史, 張漢明
- Journal Title
  
  電子情報通信学会論文誌D
  
  Volume: J94-D Pages: 1931-1934
- NAID
  110008761643
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] 属性付き字句系列に基づくプログラム書換え支援環境の試作2010
- Author(s)
  吉田敦,蜂巣吉成,沢田篤史,張漢明,野呂昌満
- Journal Title
  
  ソフトウェアエンジニアリング最前線-情報処理学会SES2010
  
  Pages: 119-126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] 属性付き字句系列に基づくプログラム書換え支援環境の試作2010
- Author(s)
  吉田敦, 蜂巣吉成, 沢田篤史, 張漢明, 野呂昌満
- Journal Title
  
  ソフトウェアエンジニアリング最前線-情報処理学会SES2010
  
  Pages: 119-126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計2010
- Author(s)
  浦野彰彦,沢田篤史,野呂昌満,蜂巣吉成,張漢明,吉田敦
- Journal Title
  
  ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010
  
  Pages: 15-24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計2010
- Author(s)
  浦野彰彦、沢田篤史、野呂昌満、蜂巣吉成、張漢明、吉田敦
- Journal Title
  
  ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010
  
  Pages: 15-24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] 属性付き字句系列に基づくプログラム書換え支援環境の試作2010
- Author(s)
  吉田敦, 蜂巣吉成, 沢田篤史, 張漢明, 野呂昌満
- Journal Title
  
  ソフトウェアエンジニアリング最前線-情報処理学会SES2010
  
  Pages: 119-126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] 属性付き字句系列に基づくプログラム書換え支援環境の試作2010
- Author(s)
  吉田敦、蜂巣吉成、沢田篤史、張漢明、野呂昌満
- Journal Title
  
  ソフトウェアエンジニアリング最前線-情報処理学会SES2010
  
  Pages: 119-126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] モデル検査を用いた振舞検証の実用化技術に関する考察-網羅性に着目して-2010
- Author(s)
  張漢明, 野呂昌満, 沢田篤史, 蜂巣吉成, 吉田敦
- Journal Title
  
  ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010
  
  Pages: 107-112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計2010
- Author(s)
  浦野彰彦, 沢田篤史, 野呂昌満, 蜂巣吉成, 張漢明, 吉田敦
- Journal Title
  
  ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010
  
  Pages: 15-24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計2010
- Author(s)
  浦野彰彦, 沢田篤史, 野呂昌満, 蜂巣吉成, 張漢明, 吉田敦
- Journal Title
  
  ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010
  
  Pages: 15-24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] モデル検査を用いた振舞検証の実用化技術に関する考察-網羅性に着目して-2010
- Author(s)
  張漢明、野呂昌満、沢田篤史、蜂巣吉成、吉田敦
- Journal Title
  
  ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010
  
  Pages: 107-112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] モデル検査を用いた振舞検証の実用化技術に関する考察-網羅性に着目して-2010
- Author(s)
  張漢明,野呂昌満,沢田篤史,蜂巣吉成,吉田敦
- Journal Title
  
  ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010
  
  Pages: 107-122
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500037
[Journal Article] モデル検査を用いた振舞検証の実用化技術に関する考察-網羅性に着目して-2010
- Author(s)
  張漢明, 野呂昌満, 沢田篤史, 蜂巣吉成, 吉田敦
- Journal Title
  
  ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010
  
  Pages: 107-112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] アスペクト指向ソフトウェアアーキテクチャの振る舞い検証に関する考察2009
- Author(s)
  張, 蜂巣, 沢田, 野呂
- Journal Title
  
  ソフトウェア工学の基礎XVI(日本ソフトウェア科学会FOSE2009)
  
  Pages: 267-274
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] アスペクト指向ソフトウェアアーキテクチャの振る舞い検証に関する考察2009
- Author(s)
  張漢明、野呂昌満、沢田篤史、蜂巣吉成
- Journal Title
  
  ソフトウェア工学の基礎XVI-日本ソフトウェア科学会FOSE2009
  
  Pages: 267-274
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500042
[Journal Article] データフロー解析を用いたアスペクトの干渉の検出2006
- Author(s)
  張漢明, 野呂昌満, 蜂巣吉成, 八木晴信
- Journal Title
  
  ソフトウェア工学の基礎XIII日本ソフトウェア科学会 FOSE2006, レクチャーノート/ソフトウェア学 32
  
  Pages: 19-28
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500030
[Journal Article] Detection of the Aspect Interaction using Data Flow Analysis2006
- Author(s)
  H. M. Chang, M. Noro, Y. Hachisu, H. Yagi
- Journal Title
  
  JSSST Foundation of Software Engineering XIII 32
  
  Pages: 19-28
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500030
[Journal Article] データフロー解析を用いたアスペクトの干渉の検出2006
- Author(s)
  張漢明, 野呂昌満, 蜂巣吉成, 八木晴信
- Journal Title
  
  ソフトウェア工学の基礎XIII、レクチャーノート/ソフトウェア学 32
  
  Pages: 19-28
- Data Source
  KAKENHI-PROJECT-18500030
[Journal Article] データフロー解析を用いたアスペクトの干渉の検出2006
- Author(s)
  張漢明他
- Journal Title
  
  ソフトウェア工学の基礎 Vol.XIII
  
  Pages: 19-28
- Data Source
  KAKENHI-PROJECT-16300007
[Journal Article] Detection of the Aspect Interaction using Data Flow Analysis2006
- Author(s)
  Han-Myung Chang, Masami Noro, Yoshinari Hachisu, Harunobu Yagi
- Journal Title
  
  Proc.FOSE 2006(in Japanese)
  
  Pages: 19-28
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300007
[Journal Article] A Proposal for Specifying Embedded Software with Configuration Control2006
- Author(s)
  H. M. Chang, M. Noro, Y. Hachisu
- Journal Title
  
  IPSJ Software Engineering Symposium 2006
  
  Pages: 177-184
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500030
[Journal Article] データフロー解析を用いたアスペクトの干渉の検出2006
- Author(s)
  張漢明他
- Journal Title
  
  ソフトウェア工学の基礎 Vol. XIII
  
  Pages: 19-28
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300007
[Journal Article] 組込みソフトウェアにおける構成制御とその記述法の提案2006
- Author(s)
  張漢明, 野呂昌満, 蜂巣吉成
- Journal Title
  
  ソフトウェアエンジニアリング最前線2006 情報処理学会 SEシンポジウム
  
  Pages: 177-184
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500030
[Journal Article] 形式仕様記述における階層アーキテクチャ2005
- Author(s)
  張暁晶他
- Journal Title
  
  電子情報通信学会技術研究報告 Vol.105
  
  Pages: 43-48
- Data Source
  KAKENHI-PROJECT-16300007
[Journal Article] 形式仕様記述における階層アーキテクチャ2005
- Author(s)
  張暁晶他
- Journal Title
  
  電子情報通信学会技術研究報告 Vol. 105
  
  Pages: 43-48
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300007
[Presentation] 並行システムデバッグ支援のためのフォールトパターンに関する考察2022
- Author(s)
  張漢明，高木裕也，沢田篤史，野呂昌満
- Organizer
  情報処理学会組込みシステム研究会
- Data Source
  KAKENHI-PROJECT-20K11759
[Presentation] 並行システムデバッグ支援のためのフォールトパターンに関する考察2022
- Author(s)
  張漢明，高木裕也，沢田篤史，野呂昌満
- Organizer
  情報処理学会組込みシステム研究会（2022-EMB-59）
- Data Source
  KAKENHI-PROJECT-19K11911
[Presentation] アスペクト指向アーキテクチャに基づく組込みソフトウェアの設計法の提案2021
- Author(s)
  野呂昌満，沢田篤史，張漢明，繁田雅信
- Organizer
  ソフトウェアエンジニアリングシンポジウム2021（SES2021）
- Data Source
  KAKENHI-PROJECT-20K11759
[Presentation] 同時に起こる事象を考慮した区間振る舞いモデルの提案2021
- Author(s)
  張漢明，野呂昌満，沢田篤史
- Organizer
  情報処理学会第56回組込みシステム研究発表会
- Data Source
  KAKENHI-PROJECT-20K11759
[Presentation] 同時に起こる事象を考慮した区間振る舞いモデルの提案2021
- Author(s)
  張漢明，野呂昌満，沢田篤史
- Organizer
  第56回組込みシステム研究発表会
- Data Source
  KAKENHI-PROJECT-19K11911
[Presentation] MVCに基づいた組み込みソフトウェアの形式仕様メタモデルに関する考察2020
- Author(s)
  張漢明，野呂昌満，沢田篤史
- Organizer
  情報処理学会第53回組込みシステム研究会
- Data Source
  KAKENHI-PROJECT-19K11911
[Presentation] Specifying Abstract User Interface in VDM-SL2020
- Author(s)
  Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto , Kumiyo Nakakoji, Han-Myung Chang, and Peter Gorm Larsen
- Organizer
  THE 19TH OVERTURE WORKSHOP
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11911
[Presentation] 自動販売機システム開発文書への形式仕様記述の適用事例2016
- Author(s)
  寺西祐斗、張漢明、沢田篤史
- Organizer
  情報処理学会ソフトウェア工学研究会
- Place of Presentation
  吹田市
- Year and Date
  2016-03-14
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] 並列事象の同時生起を考慮した振る舞い仕様記述法に関する考察2016
- Author(s)
  張漢明、野呂昌満、沢田篤史
- Organizer
  日本ソフトウェア科学会 FOSE 2016
- Place of Presentation
  香川県琴平町
- Year and Date
  2016-12-01
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] オブジェクト間の相互作用の設計手法に関する考察2015
- Author(s)
  張漢明、沢田篤史、野呂昌満
- Organizer
  日本ソフトウェア科学会ソフトウェア工学の基礎研究会
- Place of Presentation
  天童市
- Year and Date
  2015-11-26
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] 際どい実行順序を考慮した並行システム検証に関する考察2014
- Author(s)
  張漢明，沢田篤史，野呂昌満
- Organizer
  情報処理学会組込みシステム研究会
- Place of Presentation
  沖縄県石垣市ICT文化ホール
- Data Source
  KAKENHI-PROJECT-24500049
[Presentation] 際どい実行順序を考慮した並行システム検証に関する考察2014
- Author(s)
  張漢明
- Organizer
  情報処理学会第165回SLDM・第32回EMB合同研究会
- Place of Presentation
  沖縄県石垣市
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] Verifying Curve25519 Software2014
- Author(s)
  Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang
- Organizer
  ACM SIGSAC Conference on Computer and Communications Security
- Place of Presentation
  米国アリゾナ
- Year and Date
  2014-11-04
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] アーキテクチャ指向開発における形式手法適用に関する考察2013
- Author(s)
  張漢明，野呂昌満，沢田篤史，吉田敦，蜂巣吉成
- Organizer
  情報処理学会組込みシステム研究会
- Place of Presentation
  対馬市交流センター
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] アーキテクチャ指向開発における形式手法適用に関する考察2013
- Author(s)
  張漢明,野呂昌満,沢田篤史,吉田敦,蜂巣吉成
- Organizer
  情報処理学会第28回組込みシステム研究発表会
- Place of Presentation
  対馬市交流センター(長崎県対馬市)
- Year and Date
  2013-03-13
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] アーキテクチャ指向開発における形式手法適用に関する考察2013
- Author(s)
  張漢明，野呂昌満，沢田篤史，吉田敦，蜂巣吉成，横森励士
- Organizer
  情報処理学会研究報告組込みシステム研究会
- Place of Presentation
  対馬交流センター
- Data Source
  KAKENHI-PROJECT-24500049
[Presentation] アーキテクチャ指向開発における形式手法の適用に関する考察2013
- Author(s)
  張漢明
- Organizer
  情報処理学会研究報告組込みシステム研究会
- Place of Presentation
  長崎県対馬市
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] パターンを用いたフォールト検出2013
- Author(s)
  張漢明，野呂昌満，沢田篤史
- Organizer
  デバッグ自動化の現状と今後（ワークショップ）SES2013
- Place of Presentation
  東洋大学白山キャンパス
- Data Source
  KAKENHI-PROJECT-24500049
[Presentation] パターンを用いたフォールト検出2013
- Author(s)
  張漢明
- Organizer
  ソフトウェアエンジニアリングシンポジウム2013
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] パターンを用いたフォールト検出法2013
- Author(s)
  張漢明
- Organizer
  日本ソフトウェア科学会 20回ソフトェア工学の基礎ワークショップ
- Place of Presentation
  石川県加賀市
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] パターンを用いたフォールト検出法2013
- Author(s)
  張漢明，野呂昌満，沢田篤史
- Organizer
  第20回ソフトウェア工学の基礎ワークショップ
- Place of Presentation
  石川県加賀市ゆのくに天祥
- Data Source
  KAKENHI-PROJECT-24500049
[Presentation] ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討2012
- Author(s)
  吉田信明，張漢明，沢田篤史，中村行宏
- Organizer
  電子情報通信学会技術研究報告ソフトウェアサイエンス研究会
- Place of Presentation
  広島市立大学
- Data Source
  KAKENHI-PROJECT-24500049
[Presentation] フォールトパターンを用いたデバッグ支援2012
- Author(s)
  張漢明,沢田篤史
- Organizer
  日本ソフトウェア科学会第19回ソフトウェア工学の基礎ワークショップ
- Place of Presentation
  ゆふいん山水館(大分県由布市)
- Year and Date
  2012-12-13
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] ネットワークの振る舞いに依存するシステムへの形式手法の適用の検討2012
- Author(s)
  吉田信明,張漢明,沢田篤史,中村行宏
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  広島市立大学(広島県広島市)
- Year and Date
  2012-11-01
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] フォールトパターンを用いたデバッグ支援2012
- Author(s)
  張漢明
- Organizer
  日本ソフトウェア科学会第19回ソフトウェア工学の基礎ワークショップ
- Place of Presentation
  大分県由布市
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] ネットワークの振る舞いに依存するシステムへの形式手法の適用の検討2012
- Author(s)
  吉田信明，張漢明，沢田篤史，中村行宏
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  広島市立大学
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] 並行システム記述におけるフォールトパターンに関する考察2012
- Author(s)
  張漢明，野呂昌満，沢田篤史，吉田敦，蜂巣吉成，横森励士
- Organizer
  電子情報通信学会技術研究報告ソフトウェアサイエンス研究会
- Place of Presentation
  広島市立大学
- Data Source
  KAKENHI-PROJECT-24500049
[Presentation] 並行システム記述におけるフォールトパターンに関する考察2012
- Author(s)
  張漢明，野呂昌満，沢田篤史，横森励士，吉田敦，蜂巣吉成
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  広島市立大学
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] 並行システム記述におけるフォールトパターンに関する考察2012
- Author(s)
  張漢明,野呂昌満,沢田篤史,横森励士,吉田敦,蜂巣吉成
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  広島市立大学(広島県広島市)
- Year and Date
  2012-11-01
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] 並行システム記述におけるフォールトパターンに関する考察2012
- Author(s)
  張漢明
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  広島市
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] フォールトパターンを用いたデバッグ支援2012
- Author(s)
  張漢明，沢田篤史
- Organizer
  日本ソフトウェア科学会第19回ソフトウェア工学の基礎ワークショップ
- Place of Presentation
  ゆふいん山水館
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] フォールトパターンを用いたデバッグ支援2012
- Author(s)
  張漢明，沢田篤史
- Organizer
  日本ソフトウェア科学会第19回ソフトウェア工学の基礎ワークショップ
- Place of Presentation
  大分県由布市ゆふいん山水館
- Data Source
  KAKENHI-PROJECT-24500049
[Presentation] パターンを用いたフォールトの検出に関する考察2012
- Author(s)
  張漢明
- Organizer
  ソフトウェア・シンポジウム 2012
- Place of Presentation
  福井市
- Data Source
  KAKENHI-PROJECT-24220001
[Presentation] パターンに基づくCSP記述の検査に関する考察2011
- Author(s)
  張漢明、野呂昌満、沢田篤史、吉田敦、蜂巣吉成、横森励士
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  北陸先端科学技術大学院大学
- Year and Date
  2011-10-28
- Data Source
  KAKENHI-PROJECT-21500042
[Presentation] パターンに基づくCSP記述の検査に関する考察2011
- Author(s)
  張漢明, 野呂昌満, 沢田篤史, 吉田敦, 蜂巣吉成, 横森励士
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  北陸先端科学技術大学院大学
- Year and Date
  2011-10-28
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] パターンに基づくCSP記述の検査に関する考察2011
- Author(s)
  張漢明,野呂昌満,沢田篤史,吉田敦,蜂巣吉成,横森励士
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  北陸先端科学技術大学院大学(石川県能美市)
- Year and Date
  2011-10-28
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] 階層分割に基づく組込みソフトウェアの振舞い検証の支援について2010
- Author(s)
  張漢明, 野呂昌満, 沢田篤史, 蜂巣吉成, 吉田敦
- Organizer
  情報処理学会第18回組込みシステム研究発表会
- Place of Presentation
  はこだて未来大学(北海道函館市)
- Year and Date
  2010-08-10
- Data Source
  KAKENHI-PROJECT-21500042
[Presentation] E-AoSAS++における振舞い検証の枠組み2010
- Author(s)
  張漢明、沢田篤史、野呂昌満
- Organizer
  電子情報通信学会技術研究報告(ソフトウェアサイエンス研究会)
- Place of Presentation
  鹿児島大学
- Year and Date
  2010-03-08
- Data Source
  KAKENHI-PROJECT-21500042
[Presentation] 階層分割に基づく組込みソフトウェアの振舞い検証の支援について2010
- Author(s)
  張漢明、野呂昌満、沢田篤史、蜂巣吉成、吉田敦
- Organizer
  情報処理学会第18回組込みシステム研究発表会
- Place of Presentation
  はこだて未来大学
- Year and Date
  2010-08-10
- Data Source
  KAKENHI-PROJECT-21500042
[Presentation] 階層分割に基づく組込みソフトウェアの振舞い検証の支援について2010
- Author(s)
  張漢明, 野呂昌満, 沢田篤史, 蜂巣吉成, 吉田敦
- Organizer
  情報処理学会第18回組込みシステム研究発表会
- Place of Presentation
  はこだて未来大学(北海道函館市)
- Year and Date
  2010-08-10
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] 階層分割に基づく組込みソフトウェアの振舞い検証の支援について2010
- Author(s)
  張漢明 ,野呂昌満 ,沢田篤史 ,蜂巣吉成,吉田敦
- Organizer
  情報処理学会第18回組込みシステム研究発表会
- Place of Presentation
  はこだて未来大学(北海道函館市)
- Year and Date
  2010-08-10
- Data Source
  KAKENHI-PROJECT-22500037
[Presentation] 組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察2010
- Author(s)
  加藤大地、沢田篤史、張漢明、野呂昌満
- Organizer
  情報処理学会研究報告第167回ソフトウェア工学研究会
- Place of Presentation
  国立情報学研究所
- Year and Date
  2010-03-19
- Data Source
  KAKENHI-PROJECT-21500042
[Presentation] 遅延パーサを用いた軽量なXQuery処理系2010
- Author(s)
  蜂巣吉成、野呂昌満、沢田篤史、張漢明
- Organizer
  電子情報通信学会技術研究報告(ソフトウェアサイエンス研究会)
- Place of Presentation
  鹿児島大学
- Year and Date
  2010-03-08
- Data Source
  KAKENHI-PROJECT-21500042
[Presentation] 組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察2010
- Author(s)
  加藤, 沢田, 張, 野呂
- Organizer
  情報処理学会研究報告(ソフトウェア工学研究会)
- Place of Presentation
  国立情報学研究所
- Year and Date
  2010-03-19
- Data Source
  KAKENHI-PROJECT-21500042
[Presentation] 同時性を考慮した並行システムの振舞い検証に関する考察
- Author(s)
  張漢明，野呂昌満，沢田篤史
- Organizer
  情報処理学会第36回組込みシステム研究発表会
- Place of Presentation
  奄美市社会福祉協議会（鹿児島県・奄美市）
- Year and Date
  2015-03-06 – 2015-03-07
- Data Source
  KAKENHI-PROJECT-24500049

1. NORO Masami (40189452)

# of Collaborated Projects: 8 results

# of Collaborated Products: 79 results
2. SAWADA Atsushi (40273841)

# of Collaborated Projects: 8 results

# of Collaborated Products: 78 results
3. Araki Keijiro (40117057)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. HACHISU Yoshinari (30319298)

# of Collaborated Projects: 2 results

# of Collaborated Products: 25 results
5. OMORI Yoichi (20309727)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. MOCHIO Koji (60331013)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. KUSAKABE Shigeru (70234416)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. YOSHIDA Atsushi (50283495)

# of Collaborated Projects: 1 results

# of Collaborated Products: 17 results
9. YOKOMORI Reishi (40379152)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
10. FUKUDA Akira (80165282)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. NAKANISHI Tsuneo (70311785)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 山本修一郎 (20523294)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 片山徹郎 (50283932)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 加藤大地 (80631861)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. LIN Hsin-Hung

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
16. ODA Tomohiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. ESAKA ATSUSHI

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Chang Han-Myung 張 漢明

CHANG Han-myung 張 漢明

CHANG Han-Myung 張 漢明

CHANG Han-myun 張 漢明

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Description method and formal verification method with section behavior model based on software architecturePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] 機械学習を用いた危険予測システムのためのソフトウェアアーキテクチャ設計2023

Author(s)

Journal Title

Data Source

[Journal Article] 2.自動運転における危険予測のためのコンテキスト指向ソフトウェアアーキテクチャ2023

Author(s)

Journal Title

Data Source

[Journal Article] IoTアプリケーションのためのコンテキスト指向ソフトウェアアーキテクチャ2023

Author(s)

Journal Title

Data Source

[Journal Article] 並行システムデバッグ支援のためのフォールトパターンに関する考察2022

Author(s)

Journal Title

Data Source

[Journal Article] アスペクト指向アーキテクチャに基づく組込みソフトウェアの設計法の提案2021

Chang Han-Myung 張漢明

CHANG Han-myung 張漢明

CHANG Han-Myung 張漢明

CHANG Han-myun 張漢明