張 漢明 | 南山大学
スポンサーリンク
概要
関連著者
-
張 漢明
南山大学
-
野呂 昌満
南山大学情報理工学部
-
張 漢明
南山大学情報理工学部ソフトウェア工学科
-
沢田 篤史
京都大学
-
沢田 篤史
南山大学情報理工学部
-
蜂巣 吉成
南山大学情報理工学部
-
蜂巣 吉成
南山大学情報理工学部ソフトウェア工学科
-
沢田 篤史
南山大学情報理工学部ソフトウェア工学科
-
張 漢明
南山大学情報理工学部
-
吉田 敦
臨床検査医学,臨床検査部
-
吉田 敦
南山大学
-
野呂 昌満
南山大学情報理工部
-
蜂巣 吉成
南山大学理工学部ソフトウェア工学科
-
吉田 敦
南山大学情報理工学部
-
吉田 敦
和歌山大学システム情報学センター
-
吉田 敦
獨協医科大学臨床検査医学
-
吉田 敦
日本道路公団試験研究所交通環境研究部保全研究室
-
吉田 敦
和歌山大学
-
吉田 敦
獨協医科大学病院
-
横森 励士
南山大学情報理工学部
-
野呂 昌満
南山大学数理情報学部
-
張 漢明
南山大学数理情報学部
-
蜂巣 吉成
南山大学数理情報学部
-
野呂 昌満
南山大学情報理工学部ソフトウェア工学科
-
NAKAMURA Yukihiro
Research Organization of Science and Engineering, Ritsumeikan University
-
吉田 信明
京都高度技術研究所
-
Nakamura Yukihiro
Graduate School Of Sciences And Technology Niigata University:institute For Human Science And Biomed
-
Nakamura Yukihiro
The Department Of Communications And Computer Engineering Graduate School Of Informatics Kyoto Unive
-
中村 行宏
京都高度技術研究所
-
沢田 篤史
南山大学
-
加藤 大地
南山大学大学院数理情報研究科
-
沢田 篤史
南山大学数理情報学部
-
野呂 昌満
南山大学
-
野呂 昌満
南山大学経営学部
-
熊崎 敦司
南山大学数理情報学部情報通信学科
-
吉田 信明
(財)京都高度技術研究所
-
吉田 信明
京都大学数理解析研究所
-
熊崎 敦司
南山大学経営学部情報管理学科
-
張 漢明
南山大学経営学部情報管理学科
-
横森 励士
南山大学情報理工学部ソフトウェア工学科
-
前林 達也
南山大学大学院数理情報研究科
著作論文
- アスペクト指向技術を用いたORBミドルウェア開発方法(オブジェクト指向とWeb技術)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- E-AoSAS++における振舞い検証の枠組み
- 組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察
- 遅延パーサを用いた軽量なXQuery処理系
- VDM-SLによるソフトウェアアーキテクチャの記述法
- Web情報システムのソフトウェアアーキテクチャ
- HTML要素の状態を考慮したCSSの拡張方法の提案(研究速報)
- パターンに基づくCSP記述の検査に関する考察
- パターンに基づくCSP記述の検査に関する考察 (ソフトウェアサイエンス)
- 属性付き字句系列に基づくソースコード書き換え支援環境
- 並行システム記述におけるフォールトパターンに関する考察
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討
- 前処理前プログラムに対する記号表の構成手法
- アーキテクチャ指向開発における形式手法の適用に関する考察
- アーキテクチャ指向開発における形式手法の適用に関する考察
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討(検証と品質,ソフトウェアサイエンス、理論)
- 並行システム記述におけるフォールトパターンに関する考察(検証と品質,ソフトウェアサイエンス、理論)
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- VDM-SLによるソフトウェアアーキテクチャの記述法