| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-23 16:50 |
北海道 | 札幌市教育文化会館 | データバインディングを利用したRIA UI設計のモデル検査 ○岩塚卓弥・大島剛志・榎本俊文（NTT）  SS2015-28 KBSE2015-21 |
RIA はクライアントサイドスクリプトによる Web ページの部分的な書き換えによって,高い使用性を実 現している.一方... [more] | SS2015-28 KBSE2015-21 pp.137-142 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 11:40 |
北海道 | 札幌市教育文化会館 | SPINを用いたVDM仕様に対するモデル検査適用手法 ○林 信宏・大森洋一・日下部 茂・荒木啓二郎（九大） SS2015-34 KBSE2015-27 |
VDM (Vienna Development Method)は、形式手法の一つで，ソフトウェア開発の要求に対して様々な... [more] | SS2015-34 KBSE2015-27 pp.173-178 |
| MSS, CAS, SIP, VLD (共催) |
2015-06-18 10:10 |
北海道 | 小樽商科大学 | 記号実行による組込みアセンブリプログラムのソフトウェアモデル検査 公下亮佑・○山根 智（金沢大） CAS2015-15 VLD2015-22 SIP2015-46 MSS2015-15 |
組込みシステムのソフトウェアモデル検査器を開発した． この検証器は，アセンブリプログラムから，モデルを記号実行を用いて... [more] |
CAS2015-15 VLD2015-22 SIP2015-46 MSS2015-15 pp.77-81 |
| SS | 2015-03-09 13:25 |
沖縄 | 沖縄県青年会館 | 適応的重点サンプリングによる統計的モデル検査手法 ○西木 悠・結縁祥治（名大） SS2014-61 |
本研究では,フォールトツリー解析と適応的重点サンプリングを使用した統計的モデル検査手法を提案する.統計的モデル検査はモン... [more] | SS2014-61 pp.37-42 |
| SS | 2015-03-09 13:50 |
沖縄 | 沖縄県青年会館 | シーケンス図が持つメッセージ順序の曖昧性除去手法の提案 ○楠 野明・岡野浩三・楠本真二（阪大） SS2014-62 |
本稿は，仕様設計の段階で使用されるシーケンス図においてメッセージ順に関する欠陥を検出，および修正する手法を提案する．提案... [more] | SS2014-62 pp.43-48 |
| CPSY, DC (共催) IPSJ-EMB, IPSJ-SLDM (共催) (連催) [詳細] |
2015-03-07 13:00 |
鹿児島 | 奄美市社会福祉協議会 会議室（2F・４F） | 危険側故障割合の定量評価を用いたFPGA活用制御システムの低コスト化 ○広津鉄平・鳥羽忠信（日立） CPSY2014-180 DC2014-106 |
近年，FPGAの高性能化，低価格化が進展し，コストパフォーマンスを追求する制御用組込みシステムを実現する上で有望なデバイ... [more] | CPSY2014-180 DC2014-106 pp.119-124 |
| KBSE | 2015-03-05 14:30 |
東京 | 電通大(調布, 東3号館) | モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化 ○宮島卓巳（茨城大）・小飼 敬（茨城高専）・上田賀一（茨城大）・山形知行・武澤隆之（日立） KBSE2014-56 |
検査対象を機械的かつ網羅的に探索するモデル検査は，探索範囲の指数的増加のため適用が困難である．そこで，検査対象を構造と振... [more] | KBSE2014-56 pp.25-30 |
| MSS | 2015-03-06 10:25 |
石川 | ITビジネスプラザ武蔵 | 割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発 ○小橋潤平・竹下 淳・山根 智・櫻井孝平（金沢大） MSS2014-100 |
近年の発展を続けている組込みシステムにおいて, ハードウェアに依存する性質を持つソフトウェアが用いられており, 開発期間... [more] | MSS2014-100 pp.53-58 |
| KBSE | 2015-03-06 15:25 |
東京 | 電通大(調布, 東3号館) | モデル検査を用いたユースケースモデルに基づくソースコード検証 ～ ASP.NETアプリケーションを事例として ～ ○青木善貴（芝浦工大）・小形真平（信州大）・谷沢智史（ボイスリサーチ）・松浦佐江子（芝浦工大） KBSE2014-64 |
モデル検査はシステムの振る舞いを検証するためには有効な技術である．我々はモデル検査技術を利用して仕様書とソースコードの振... [more] | KBSE2014-64 pp.71-76 |
| MSS | 2015-03-06 13:55 |
石川 | ITビジネスプラザ武蔵 | 組込みアセンブリプログラムからのモデル抽出による記号モデル検査 ○加藤友紀・公下亮佑・櫻井孝平・山根 智（金沢大） MSS2014-102 |
組込みシステムは，広く利用されており，徐々に複雑化している．複雑化している組込みシステムを安全に運用するためには，システ... [more] | MSS2014-102 pp.65-70 |
| MSS, SS (共催) |
2015-01-26 17:20 |
鳥取 | ブランナールみささ | A Consideration on How to Model Check Distributed Snapshot Reachability Property ○Wenjie Zhang・Kazuhiro Ogata（JAIST）・Min Zhang（ECNU） MSS2014-77 SS2014-41 |
[more] | MSS2014-77 SS2014-41 pp.49-54 |
| NLP | 2015-01-26 17:35 |
大分 | コンパルホール | エネルギーシステムの信頼性解析へのRRTアルゴリズムの適用 ○薄 良彦（京大/JST）・T. John Koo（ASTRI） NLP2014-128 |
エネルギーシステムのダイナミクスに関わる信頼性解析は，ダイナミクスを表す数理モデルである入力変数を有する動的システムの可... [more] | NLP2014-128 pp.89-94 |
| KBSE | 2015-01-26 14:40 |
東京 | 機械振興会館 B3F-2 | ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 ～ ASP.NETアプリケーションを事例として ～ ○小形真平（信州大）・青木善貴（芝浦工大）・谷沢智史（ボイスリサーチ）・松浦佐江子（芝浦工大） KBSE2014-42 |
ソフトウェア開発において，要求仕様書とソースコードの対応関係を保持することは容易ではなく，最終的にソースコードが要求仕様... [more] | KBSE2014-42 pp.19-24 |
| SS | 2014-10-23 15:45 |
高知 | 高知市文化プラザかるぽーと | UPPAALを用いたLEGO Mindstorms EV3制御プログラムの合成 ○荒川 洸・結縁祥治（名大） SS2014-32 |
本研究は，UPPAALを用いて記述した時間オートマトンによる振舞い仕様からLEGO Mindstorm EV3システムを... [more] | SS2014-32 pp.41-46 |
| MoNA, CQ (併催) |
2014-09-12 13:35 |
宮城 | 石巻市河北総合センタービッグバン（石巻市） | 確率的モデル検査を用いたBluetooth LEデバイス探索時間の特性評価 ○松尾友介・梅原大祐・若杉耕一郎（京都工繊大） CQ2014-61 |
Bluetoothではペアリングをするとき，デバイスの探索に電気エネルギーを消費する． Bluetoothのペリフェラ... [more] |
CQ2014-61 pp.123-128 |
| SWIM | 2014-08-21 14:35 |
京都 | 龍谷大学 | 時間オートマトンによるUMLタイミング図の検証 ○梶村賢吾・新川芳行（龍谷大） SWIM2014-11 |
従来、UMLは業務系システムのモデリングに適したモデル記述言語として、情報システムの分析・設計・製作・評価の各工程で幅広... [more] | SWIM2014-11 pp.17-21 |
| CPSY, DC (併催) |
2014-07-29 15:40 |
新潟 | 朱鷺メッセ 新潟コンベンションセンター | Hash Compaction を利用したグラフ書換え系モデル検査の大規模化とその評価 ○吉田健人・小沼 賢・上田和紀（早大） DC2014-19 |
グラフ書換え系モデル検査とはグラフ書換え系をモデリング言語として, そのモデルが取りうる全ての状態を網羅的に探索すること... [more] | DC2014-19 pp.9-16 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2014-07-10 15:20 |
北海道 | 富良野文化会館 | 反例からの検査式自動生成による不具合原因特定支援 ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） SS2014-16 KBSE2014-19 |
モデル検査はシステムの振る舞いを検証するためには有効な技術である．我々はモデル検査技術を利用して仕様書とソースコードの振... [more] | SS2014-16 KBSE2014-19 pp.87-92 |
| 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 Carvalho・Tatsuhiro Tsuchiya（Osaka Univ.） SS2014-23 KBSE2014-26 |
状態遷移テストはソフトウェアテストにおける重要な手法である．我々はこれまでに全遷移対を網羅するカバレッジ基準に焦点を当て... [more] | SS2014-23 KBSE2014-26 pp.149-154 |
| KBSE | 2014-05-30 13:45 |
神奈川 | 慶応義塾大学，日吉キャンパス（来往舎） | 企業内でのモデル検査ツールの利用と普及 ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） KBSE2014-9 |
モデル検査はシステムの振る舞いを検査するのには優れた手法である．しかし，モデル検査の知識を持たない要員が検査モデルを作成... [more] | KBSE2014-9 pp.47-52 |
[研究会発表申込システムのトップページに戻る]