福沢 尚司 | 東北大学電気通信研究所情報科学研究科
スポンサーリンク
概要
関連著者
-
福沢 尚司
東北大学電気通信研究所情報科学研究科
-
白鳥 則郎
東北大学電気通信研究所 情報科学研究科
-
高橋 薫
東北大
-
白鳥 則郎
東北大学電気通信研究所
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
宋 国煥
東北大学電気通信研究所情報科学研究科
-
富樫 敦
宮城大学事業構想学部
-
宋 国煥
情報科学研究科
-
神長 裕明
情報科学研究科
-
白鳥 則郎
情報科学研究科
-
郷 健太郎
山梨大学
-
郷 健太郎
山梨大学工学部
-
高橋 薫
東北大学電気通信研究所
-
富樫 敦
東北大学電気通信研究所
-
富樫 敦
情報科学研究所
-
郷 健太郎
東北大学電気通信研究所情報科学研究科
-
臼井 伸幸
東北大
-
白鳥 則郎
仙台電波工業高等専門学校
-
神長 裕明
山形大学工学部電子工学科
-
宗 国煥
東北大学電気通信研究所 情報科学研究科
-
臼井 伸幸
情報科学研究科
-
宋 国煥
東北大学電気通信研究所
著作論文
- 命題論理に基づく要求仕様の詳細化とその支援
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- 要求と形式仕様のやわらかい設計支援システム
- 形式仕様のやわらかい獲得支援環境の構築
- 命題論理に基づいたやわらかいソフトウェア設計支援システムとその応用