宋 国煥 | 東北大学電気通信研究所情報科学研究科
スポンサーリンク
概要
関連著者
-
宋 国煥
東北大学電気通信研究所情報科学研究科
-
富樫 敦
宮城大学事業構想学部
-
白鳥 則郎
東北大学電気通信研究所
-
富樫 敦
東北大学電気通信研究所
-
福沢 尚司
東北大学電気通信研究所情報科学研究科
-
宋 国煥
東北大学電気通信研究所
-
宋 国煥
情報科学研究科
-
白鳥 則郎
東北大学電気通信研究所 情報科学研究科
-
白鳥 則郎
情報科学研究科
-
高橋 薫
東北大
-
高橋 薫
仙台電波工業高等専門学校
-
黄 錦法
東北大学電気通信研究所
-
吉村 晋
サレジオ工業高等専門学校
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
高橋 薫
東北大学電気通信研究所
-
白鳥 則郎
東北大学工学部
-
山本 潮
東北大学電気通信研究所
-
吉村 晋
都立航空高専電子工学科
-
黄 錦法
東北大学工学部情報工学科
-
吉村 晋
AIC(高度通信システム研究所)
-
宋 国煥
東北大学工学部情報工学科
-
山本 潮
東北大学工学部情報工学科
-
富樫 敦
情報科学研究所
-
臼井 伸幸
東北大
-
白鳥 則郎
仙台電波工業高等専門学校
-
神長 裕明
情報科学研究科
-
臼井 伸幸
情報科学研究科
著作論文
- 事例ベース推論を適用した通信ソフトウェア開発支援システムにおける要求仕様獲得とヒューマンインタフェースアーキテクチャについて
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- 形式仕様のやわらかい獲得支援環境の構築
- 命題論理に基づいたやわらかいソフトウェア設計支援システムとその応用
- 命題論理に基づいた要求記述法と状態遷移システムによる意味記述
- 論理ペトリネットを用いた形式仕様の自動変換と検証(グラフ,ネットワークとアルゴリズムおよび一般)