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

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

,  

[発表日]2015/2/26
[資料番号]
目次

,  

[発表日]2015/2/26
[資料番号]
発達障害児向けICT教材開発におけるEPISODEの実践と評価

金山 貴泰,  後藤 隆彰,  西野 哲朗,  

[発表日]2015/2/26
[資料番号]KBSE2014-52
特定問題領域に特化したAndroidアプリケーション自動生成ツールの構築と適用評価

飯山 大樹,  中所 武司,  

[発表日]2015/2/26
[資料番号]KBSE2014-53
クラス図作成演習における学習者の編集過程の細粒度分析

田中 昂文,  橋浦 弘明,  櫨山 淳雄,  古宮 誠一,  

[発表日]2015/2/26
[資料番号]KBSE2014-54
プログラム更新前後におけるUMLシーケンス図の抽象化と差異検出

宮城 翔一,  丸山 翔平,  上田 賀一,  

[発表日]2015/2/26
[資料番号]KBSE2014-55
モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化

宮島 卓巳,  小飼 敬,  上田 賀一,  山形 知行,  武澤 隆之,  

[発表日]2015/2/26
[資料番号]KBSE2014-56
ソフトウェアセキュリティ知識を活用したセキュアなソフトウェア開発のための事例ベース管理システムの開発

齊藤 大仁,  櫨山 淳雄,  吉岡 信和,  小橋 孝紀,  鷲崎 弘宜,  海谷 治彦,  大久保 隆夫,  

[発表日]2015/2/26
[資料番号]KBSE2014-57
モジュールを用いた安全性ケースの読解性向上手法についての考察

近藤 純平,  森崎 修司,  山本 修一郎,  

[発表日]2015/2/26
[資料番号]KBSE2014-58
属性付保証ケースを用いたアーキテクチャ評価手法の提案

山本 修一郎,  

[発表日]2015/2/26
[資料番号]KBSE2014-59
調理支援システムの構築を目的とした調理動作の認識

肱岡 佑磨,  村上 真,  木本 伊彦,  

[発表日]2015/2/26
[資料番号]KBSE2014-60
ペルソナに基づく撤回可能付きGSN構築手法の提案 : システムアシュアランス導入に関するリスクケースを題材として

泉川 大樹,  高井 利憲,  

[発表日]2015/2/26
[資料番号]KBSE2014-61
アシュアランスケース構築のための議論合成法

高井 利憲,  木藤 浩之,  松野 裕,  

[発表日]2015/2/26
[資料番号]KBSE2014-62
自己適応システムにおける動的検証法の適用範囲向上に向けて

小川 賢人,  中川 博之,  土屋 達弘,  

[発表日]2015/2/26
[資料番号]KBSE2014-63
モデル検査を用いたユースケースモデルに基づくソースコード検証 : ASP.NETアプリケーションを事例として

青木 善貴,  小形 真平,  谷沢 智史,  松浦 佐江子,  

[発表日]2015/2/26
[資料番号]KBSE2014-64
複写される方へ

,  

[発表日]2015/2/26
[資料番号]
Reprographic Reproduction outside Japan

,  

[発表日]2015/2/26
[資料番号]
奥付

,  

[発表日]2015/2/26
[資料番号]
裏表紙

,  

[発表日]2015/2/26
[資料番号]