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

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

,  

[発表日]2012/7/20
[資料番号]
目次

,  

[発表日]2012/7/20
[資料番号]
アスペクト指向ワークフロー変換 : オブジェクト指向ペトリネットによるワークフロー表現への適用(一般)

飯島 正,  

[発表日]2012/7/20
[資料番号]KBSE2012-12,SS2012-10
Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出(一般)

鷲崎 弘宜,  村上 真一,  深澤 良彰,  

[発表日]2012/7/20
[資料番号]KBSE2012-13,SS2012-11
例外イベント列の正常シナリオへの組み込み支援手法(一般)

大西 淳,  

[発表日]2012/7/20
[資料番号]KBSE2012-14,SS2012-12
UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法(一般)

野呂 惇,  小形 真平,  松浦 佐江子,  

[発表日]2012/7/20
[資料番号]KBSE2012-15,SS2012-13
多数決手法によるError Prone予測手法の評価(一般)

高橋 利英,  大西 達也,  小形 真平,  海谷 治彦,  海尻 賢二,  

[発表日]2012/7/20
[資料番号]KBSE2012-16,SS2012-14
エンドユーザ主導開発のためのビジネスロジックの定義方式の提案(一般)

中所 武司,  

[発表日]2012/7/20
[資料番号]KBSE2012-17,SS2012-15
スーパーコンピュータ運用手順に対するディペンダビリティの確認手法の提案(一般)

高間 翔太,  松野 裕,  山本 修一郎,  

[発表日]2012/7/20
[資料番号]KBSE2012-18,SS2012-16
エンタープライズ系システム開発で生産性を最大化するためのTOC/CCPM適用方法について : 合流チェーン上の要員の稼働率向上により,全体の生産性向上を実現するマネジメントシステムの提案(一般)

副島 千鶴,  

[発表日]2012/7/20
[資料番号]KBSE2012-19,SS2012-17
アシュアランスケースへの構造化文書の適用に関する調査(サーベイ・解説)

松野 裕,  パトゥ ヴァイセ,  山本 修一郎,  

[発表日]2012/7/20
[資料番号]KBSE2012-20,SS2012-18
A proposed research framework for "Dependability Science" based on assurance cases

,  

[発表日]2012/7/20
[資料番号]KBSE2012-21,SS2012-19
ディペンダビリティケース作成法に関する一考察(サーベイ・解説)

山本 修一郎,  松野 裕,  

[発表日]2012/7/20
[資料番号]KBSE2012-22,SS2012-20
ロールプレイ演習における学習者の行動とスキルとの関係分析(一般)

立川 結貴,  丸山 広,  高嶋 章雄,  中村 太一,  

[発表日]2012/7/20
[資料番号]KBSE2012-23,SS2012-21
細粒度プロジェクトモニタリングのためのDaaSを利用したソフトウェア開発PBL支援環境の提案(一般)

眞鍋 雄貴,  井垣 宏,  福安 直樹,  佐伯 幸郎,  楠本 真二,  井上 克郎,  

[発表日]2012/7/20
[資料番号]KBSE2012-24,SS2012-22
Alloyによるリポジトリマイニング向けドメイン専用言語の構築支援(一般)

黄 長贇,  中城 亮祐,  山下 一寛,  亀井 靖高,  久住 憲嗣,  鵜林 尚靖,  

[発表日]2012/7/20
[資料番号]KBSE2012-25,SS2012-23
プログラム構造の簡略化によるメトリクス計測方法の改善(一般)

佐々木 唯,  石原 知也,  堀田 圭佑,  畑 秀明,  肥後 芳樹,  井垣 宏,  楠本 真二,  

[発表日]2012/7/20
[資料番号]KBSE2012-26,SS2012-24
ソフトウェアの機能に対応する実装構造の抽出と可視化手法の提案(一般)

風戸 広史,  林 晋平,  岡田 敏,  宮田 俊介,  星野 隆,  佐伯 元司,  

[発表日]2012/7/20
[資料番号]KBSE2012-27,SS2012-25
動的解析を用いたコード移動リファクタリングの支援(一般)

木村 秀平,  肥後 芳樹,  井垣 宏,  楠本 真二,  

[発表日]2012/7/20
[資料番号]KBSE2012-28,SS2012-26
On Extending Matching Operation in Grammar Programs for Program Inversion

丹羽 南,  西田 直樹,  酒井 正彦,  坂部 俊樹,  草刈 圭一朗,  

[発表日]2012/7/20
[資料番号]KBSE2012-29,SS2012-27
12>> 1-20hit(32hit)