情報・システム-画像工学(開催日:2019/03/04)

タイトル/著者/発表日/資料番号
組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ

坂梨 元軌(名大),  酒井 正彦(名大),  西田 直樹(名大),  橋本 健二(名大),  

[発表日]2019-03-04
[資料番号]SS2018-66
データフロー要求の波及効果解析手法

ブイ ド チエン フン(立命館大),  大森 隆行(立命館大),  大西 淳(立命館大),  

[発表日]2019-03-04
[資料番号]SS2018-59
サマータイム制度によるソフトウェア開発への影響調査

林 純一(阪大),  肥後 芳樹(阪大),  ?本 真佑(阪大),  楠本 真二(阪大),  

[発表日]2019-03-04
[資料番号]SS2018-56
ウェブアプリケーション開発における要求獲得のためのテスト記述支援環境の提案

中地 祥剛(奈良先端大),  崔 恩瀞(奈良先端大),  吉田 則裕(名大),  飯田 元(奈良先端大),  

[発表日]2019-03-04
[資料番号]SS2018-60
離散時間実行環境におけるYampaプログラムに対するUppaalを用いた振舞い検証

中根 里空(名大),  結縁 祥治(名大),  

[発表日]2019-03-04
[資料番号]SS2018-52
時間付き可逆プロセス計算の合同性について

山本 暁(名大),  結縁 祥治(名大),  

[発表日]2019-03-04
[資料番号]SS2018-53
ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案

辻 光顕(奈良先端大),  高井 利憲(奈良先端大),  片平 真史(JAXA),  石濱 直樹(JAXA),  柿本 和希(奈良先端大),  飯田 元(奈良先端大),  

[発表日]2019-03-04
[資料番号]SS2018-67
GitHubのJavaリポジトリを用いた弱参照の利用実態の調査

キム テヨン(阪大),  肥後 芳樹(阪大),  ?本 真佑(阪大),  楠本 真二(阪大),  

[発表日]2019-03-04
[資料番号]SS2018-57
行単位の差分情報を考慮した抽象構文木のノード単位の差分出力

松本 淳之介(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2019-03-04
[資料番号]SS2018-58
動的情報漏洩量の解析および適応的制御入力最適化

三輪 竜矢(名大),  関 浩之(名大),  

[発表日]2019-03-04
[資料番号]SS2018-68
Acumenを用いたハイブリッドシステムの統計的モデル検査

井上 晃輔(福井大),  石井 大輔(福井大),  

[発表日]2019-03-04
[資料番号]SS2018-54
リファクタリング実証的研究のためのデータセット作成環境

倉本 涼(東工大),  林 晋平(東工大),  佐伯 元司(東工大),  

[発表日]2019-03-04
[資料番号]SS2018-63
概念モデリングにおけるソフトウェアパターンの再利用を支援するツールの初期評価

赤木 謙(日本工大),  橋浦 弘明(日本工大),  田中 昂文(東京農工大),  櫨山 淳雄(学芸大),  高瀬 浩史(日本工大),  

[発表日]2019-03-04
[資料番号]SS2018-61
ブランチを考慮したプロアクティブなソフトウェアメトリクス値の推定

伊勢本 圭亮(東工大),  佐伯 元司(東工大),  林 晋平(東工大),  

[発表日]2019-03-04
[資料番号]SS2018-64
機械学習による要求文書からの開発バックログ作成支援

石塚 凌(早大),  鷲崎 弘宜(早大),  斎藤 忍(NTT),  應治 沙織(NTT),  

[発表日]2019-03-04
[資料番号]SS2018-62
余裕時間の考慮によりマルチプロセッサリアルタイムシステムのヒープメモリ消費量を削減する改良LLFスケジューリング

町頭 優輝(広島市大),  中田 明夫(広島市大),  

[発表日]2019-03-04
[資料番号]SS2018-55
改版履歴分析に基づく変更漏れ防止支援における変更ルール集約と順位付けの効果

石田 義八(東工大),  小林 隆志(東工大),  

[発表日]2019-03-04
[資料番号]SS2018-65
機械学習ソフトウェアの品質評価保証レベル

中島 震(NII),  妹尾 義樹(産総研),  大岩 寛(産総研),  磯部 祥尚(産総研),  

[発表日]2019-03-05
[資料番号]SS2018-79
テストスクリプト自動生成における適切な粒度の画面遷移テストの試み

倉林 利行(NTT),  切貫 弘之(NTT),  吉村 優(NTT),  安達 悠(NTT),  丹野 治門(NTT),  

[発表日]2019-03-05
[資料番号]SS2018-75
UIレイアウトテストにおける画面構成を考慮した段階的差異検出手法の提案

吉村 優(NTT),  安達 悠(NTT),  丹野 治門(NTT),  

[発表日]2019-03-05
[資料番号]SS2018-76
12>> 1-20hit(33hit)