情報・システム-知能ソフトウェア工学(開催日：2013/09/05)

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

,  

[発表日]2013/9/5
[資料番号]
目次

,  

[発表日]2013/9/5
[資料番号]
類似パターンの省略によりソースコードの可読性を向上させる新技法

菊池 紘,  西野 哲朗,  後藤 隆彰,  若月 光夫,  

[発表日]2013/9/5
[資料番号]KBSE2013-36
識別子の共起頻度に基づく凝集度遷移過程の可視化と測定

岩山 浩将,  井上 純一,  

[発表日]2013/9/5
[資料番号]KBSE2013-37
UML/OCLアサーションのサーバサイドでの実装

田中 聖一,  小林 洋,  

[発表日]2013/9/5
[資料番号]KBSE2013-38
割り込み処理に着目した組込みソフトウェアへのモデル検査適用の検討

佐々木 隆益,  吉岡 信和,  田原 康之,  大須賀 昭彦,  

[発表日]2013/9/5
[資料番号]KBSE2013-39
オブジェクト指向ペトリネットに基づきイベント駆動性を取り入れた業務プロセスエンジンのアーキテクチャ

金子 良太,  秦 良平,  飯島 正,  

[発表日]2013/9/5
[資料番号]KBSE2013-40
ゴール構文表を利用したディペンダビリティケースのゴール分析法について

松村 昌典,  山本 修一郎,  

[発表日]2013/9/5
[資料番号]KBSE2013-41
ゴール指向要求分析における意思決定と合意形成に関する研究 : 学際的アプローチ

岡野 道太郎,  中谷 多哉子,  

[発表日]2013/9/5
[資料番号]KBSE2013-42
非機能要求グレードの大学ポータルサービスへの適用についての考察

増元 美紀,  山本 修一郎,  

[発表日]2013/9/5
[資料番号]KBSE2013-43
Consistency check of D-case (dependability case) produced from DFD (data flow diagram)

,  

[発表日]2013/9/5
[資料番号]KBSE2013-44
シーケンス図に基づくディペンダビリティケース作成法の適用性検討

丁 峰,  山本 修一郎,  

[発表日]2013/9/5
[資料番号]KBSE2013-45
SEMATと保証ケースの関係についての考察

山本 修一郎,  

[発表日]2013/9/5
[資料番号]KBSE2013-46
利用者インタラクションの設計・評価のためのストレスレベルのセンサーによる取得と利用

石井 愛弓,  飯島 正,  

[発表日]2013/9/5
[資料番号]KBSE2013-47
コミュニケーション支援のためのジェスチャの取得と記述

宇野澤 広樹,  飯島 正,  

[発表日]2013/9/5
[資料番号]KBSE2013-48
マルチエージェントシミュレーションのための地理空間情報の知識再構成

山崎 淳城,  飯島 正,  

[発表日]2013/9/5
[資料番号]KBSE2013-49
要求工学の現状と展望 : ソフトウェア進化と自己適応にむけて

中川 博之,  

[発表日]2013/9/5
[資料番号]KBSE2013-50
運用手順に対するアシュアランスケース作成法の比較評価

高間 翔太,  山本 修一郎,  

[発表日]2013/9/5
[資料番号]KBSE2013-51
A classification method in identifying security patterns for a dependable Security Case : From Security Patterns to D-Case

,  

[発表日]2013/9/5
[資料番号]KBSE2013-52
複写される方へ

,  

[発表日]2013/9/5
[資料番号]
12>> 1-20hit(23hit)