電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 50件中 1〜20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
KBSE 2018-01-25
13:35
東京 機械振興会館 MAPE loop構造に基づいた機能更新フレームワークに関する考察
土田真也中川博之土屋達弘阪大
 [more]
CAS, MSS
(共催)
IPSJ-AL
(連催) [詳細]
2017-11-17
16:30
東京 日立中央研究所 SATソルバを使用したロケーティングアレイの生成手法について
小西達也小島英春中川博之土屋達弘阪大
 [more] CAS2017-62 MSS2017-46
pp.147-152
SS, DC
(共催)
2017-10-20
09:30
高知 高知市文化プラザかるぽーと SMTを用いた制約付きロケーティングアレイの生成について
金 浩阪大)・崔 銀惠産総研)・土屋達弘阪大
 [more] SS2017-30 DC2017-29
pp.55-60
KBSE 2017-03-03
12:05
石川 石川県金沢市 ITビジネスプラザ武蔵 研修室1 システム環境の変化傾向に基づいた効率的な構成切り替え手法
妙見侑祐中川博之土屋達弘阪大
周囲の環境変化に適応するような自己適応システムは,ソフトウェアシステムの大規模・複雑化に伴い,その重要性が増している.
... [more]
KBSE2016-39
pp.1-6
KBSE 2017-03-03
12:50
石川 石川県金沢市 ITビジネスプラザ武蔵 研修室1 キャッシュの効率利用による自己適応システムの動的モデル検査法改善
外山大夢中川博之小島英春土屋達弘阪大
近年,システム自身の振る舞いを変化させる自己適応システムに注目が集まっているが,振る舞い変更時に変更後の振る舞いの正しさ... [more] KBSE2016-40
pp.7-12
KBSE 2016-11-03
16:00
長野 信州大学 長野(工学)キャンパス 文書からのストップワード抽出によるトピックモデル洗練化
高橋 仁中川博之土屋達弘阪大
 [more] KBSE2016-27
pp.19-24
DC, SS
(共催)
2016-10-27
11:00
滋賀 彦根勤労福祉会館(彦根市) ZDDアルゴリズムを用いた高強度テストケース生成法
大橋 輝土屋達弘阪大
組み合わせインタラクションテストは様々なソフトウェアの不具合を検出する実用的な方法である.
この方法はt組みのパラメ... [more]
SS2016-18 DC2016-20
pp.1-6
DC, SS
(共催)
2016-10-27
11:25
滋賀 彦根勤労福祉会館(彦根市) 抽象化タイムスタンプを用いたフォールトトレラントシステムのモデル検査
中野伸哉土屋達弘阪大
 [more] SS2016-19 DC2016-21
pp.7-11
KBSE 2016-05-26
15:50
東京 同志社大学 東京オフィス トピックモデリングを用いたテストケース記述クラスタリングに関する考察
高橋 仁中川博之土屋達弘阪大
 [more] KBSE2016-3
pp.13-18
DC, SS
(共催)
2015-10-13
14:30
奈良 東大寺総合文化センター 貪欲法による組み合わせテスト集合生成における高速化について
大橋 輝土屋達弘阪大
本研究では,貪欲法を使った組み合わせテスト用のテスト集合生成の効率化に
ついて議論する.貪欲法では,一つずつテストケー... [more]
SS2015-37 DC2015-27
pp.13-15
KBSE 2015-09-25
10:30
大阪 大阪大学大学院情報科学研究科(吹田キャンパス) 主要語の変遷に着目した要求トピックの洗練化に関する考察
高橋 仁中川博之土屋達弘阪大
 [more] KBSE2015-32
pp.27-31
DC 2015-06-16
16:25
東京 機械振興会館 地下3階2号室 ソフトウェアテスト用テストケース生成における2分決定図を用いた制約処理
土屋達弘阪大
組み合わせテストを対象として,テスト生成で重要となる制約処理に関して議論する.組み合わせテストとは,特定の機能の組み合わ... [more] DC2015-21
pp.31-34
KBSE 2015-05-26
10:00
東京 機械振興会館 地下3階 B3-6会議室 実世界ハードウェアに対する自己適応フレームワークのプロトタイプ実装
津田宏軌中川博之土屋達弘阪大
ソフトウェアシステムの発展に伴う大規模化や複雑化により,その管理や制御にかかるコストが大きくなってきている.その自動化の... [more] KBSE2015-7
pp.33-38
KBSE 2015-03-06
14:40
東京 電通大(調布, 東3号館) 自己適応システムにおける動的検証法の適用範囲向上に向けて
小川賢人中川博之土屋達弘阪大
 [more] KBSE2014-63
pp.65-70
KBSE 2015-01-26
10:35
東京 機械振興会館 B3F-2 LDAを用いたフィードバックコメントからの要求獲得に関する一考
高橋 仁中川博之土屋達弘阪大
 [more] KBSE2014-39
pp.1-6
DC 2014-10-27
14:30
東京 機械振興会館 相互依存するネットワーク上の連鎖的障害に対する充足可能性判定を用いた評価方法の提案
土屋達弘阪大
電力ネットワークとSCADAネットワークの様な相互依存するネットワークにおける連鎖的障害の解析を充足可能性判定を用いるこ... [more] DC2014-21
pp.1-3
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2014-07-10
09:00
北海道 富良野文化会館 多様なタスクスケジューリング問題への解集合プログラミングの適用
小林弘幸中川博之小島英春土屋達弘阪大
近年, シングルコアプロセッサからなるCPUでの性能向上の鈍化に伴いマルチコアプロセッサを採用したCPUが広く用いられる... [more] SS2014-9 KBSE2014-12
pp.25-30
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2014-07-11
13:10
北海道 富良野文化会館 On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation
Cassia de Souza CarvalhoTatsuhiro TsuchiyaOsaka Univ.
状態遷移テストはソフトウェアテストにおける重要な手法である.我々はこれまでに全遷移対を網羅するカバレッジ基準に焦点を当て... [more] SS2014-23 KBSE2014-26
pp.149-154
SS, MSS
(共催)
2014-01-31
10:45
愛知 豊田中央研究所 誤りを引き起こすインタラクションを特定可能なテストセット生成法の改善
永元雄宙小島英春土屋達弘阪大
本研究では, ソフトウェアのインタラクションテストにおいて, テストの実行結果から異常動作などの原因
である故障インタ... [more]
MSS2013-64 SS2013-61
pp.77-81
DC 2013-12-13
15:35
石川 和倉温泉観光会館 電力網とSCADA網との相互作用が及ぼす堅牢性への影響について
松井佑記小島英春土屋達弘阪大
本研究では,SCADAと電力網におけるネットワーク間の相互作用に対する堅牢性の評価を行う.これまでの研究の多くでは,単一... [more] DC2013-74
pp.35-39
 50件中 1〜20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会