張漢明

チョウカンメイ | CHANG Han-Myung

所属機関・部署：
職名：准教授
ホームページURL (2件)： http://www.st.nanzan-u.ac.jp/info/chang/ , http://www.seto.nanzan-u.ac.jp/~chang/index-e.html

研究分野 (1件)：ソフトウェア

研究キーワード (4件)：形式手法 , ソフトウェア工学 , Formal Methods , Software Engineering

競争的資金等の研究課題 (13件)：

全件表示

論文 (9件)：

張漢明, 野呂昌満, 沢田篤史. MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察. ソフトウェア工学の基礎XXIV(日本ソフトウェア科学会FOSE2017). 2017. 183-188
張漢明, 野呂昌満, 沢田篤史. 複数事象の発生を含意した区間振る舞い記述法とその検証法の提案. コンピュータソフトウェア. 2017. 34. 2. 3-15
張漢明, 野呂昌満, 沢田篤史. MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察. 第44回組込みシステム研究発表会 , 情報処理学会. 2017. 1-6
張漢明, 野呂昌満, 沢田篤史. 並列事象の同時生起を考慮した振る舞い仕様記述法に関する考察. 第23回ソフトウェア工学の基礎ワークショップ(FOSE2016). 2016. 255-256
蜂巣吉成, 野呂昌満, 沢田篤史, 張漢明, 吉田敦. コンパイル方式による高速軽量なXQuery問い合わせプログラム生成系の設計と実現. コンピュータソフトウェア. 2013. 30. 4. 67-81

MISC (29件)：

張漢明, 野呂昌満, 沢田篤史. MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察 (コンピュータシステム) -- (組込み技術とネットワークに関するワークショップETNET2017). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2017. 116. 510. 257-262
張漢明, 野呂昌満, 沢田篤史. 同時性を考慮した並行システムの振舞い検証に関する考察 (コンピュータシステム). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2015. 114. 506. 201-206
張漢明, 野呂昌満, 沢田篤史. 同時性を考慮した並行システムの振舞い検証に関する考察 (ディペンダブルコンピューティング). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2015. 114. 507. 201-206
張漢明, 野呂昌満, 沢田篤史. 同時性を考慮した並行システムの振舞い検証に関する考察. 研究報告組込みシステム(EMB). 2015. 2015. 13. 1-6
張漢明, 沢田篤史, 野呂昌満. 際どい実行順序を考慮した並行システム検証に関する考察 (ディペンダブルコンピューティング組込み技術とネットワークに関するワークショップETNET2014). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2014. 113. 498. 43-48

学歴 (4件)：

学位 (1件)：

所属学会 (2件)：

日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

張 漢明