情報・システム-知能ソフトウェア工学(開催日:2012/03/08)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2012/3/8
[資料番号]
目次

,  

[発表日]2012/3/8
[資料番号]
Assurance Case作成手法(d*)の適用評価

猿渡 卓也,  山本 修一郎,  

[発表日]2012/3/8
[資料番号]KBSE2011-69
保証ケースを用いたサービス提供判断方法の提案

小林 茂憲,  山本 修一郎,  

[発表日]2012/3/8
[資料番号]KBSE2011-70
矩形同士の埋め込み型重ね合わせについての定性空間推論

小西 貴子,  高橋 和子,  

[発表日]2012/3/8
[資料番号]KBSE2011-71
実務に着目した知能ソフトウェア工学の研究と教育

橋本 正明,  

[発表日]2012/3/8
[資料番号]KBSE2011-72
持続的情報連携サービス分析方法論の構築について

山本 修一郎,  

[発表日]2012/3/8
[資料番号]KBSE2011-73
業務システムの高速生成ツールの開発と適用

萩原 淳,  斎藤 忍,  

[発表日]2012/3/8
[資料番号]KBSE2011-74
ソフトウェアセキュリティ知識体系化に関する研究動向

櫨山 淳雄,  

[発表日]2012/3/8
[資料番号]KBSE2011-75
複写される方へ

,  

[発表日]2012/3/8
[資料番号]
Notice for photocopying

,  

[発表日]2012/3/8
[資料番号]
奥付

,  

[発表日]2012/3/8
[資料番号]
裏表紙

,  

[発表日]2012/3/8
[資料番号]