| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, NLP (共催) |
2022-03-28 10:05 |
ONLINE | オンライン開催 | 統計的モデル検査を用いたエレベータ制御則の設計検証の検討 ○北原祐希・中村正樹・榊原一紀（富山県立大）  MSS2021-57 NLP2021-128 |
エレベータシステムを設計する際，乗客発生の確率分布を考慮することで効率的な制御則を得ることが期待できる． UPPAAL... [more] |
MSS2021-57 NLP2021-128 pp.13-18 |
| SS | 2019-03-04 09:25 |
沖縄 | 沖縄産業支援センター | 離散時間実行環境におけるYampaプログラムに対するUppaalを用いた振舞い検証 ○中根里空・結縁祥治（名大） SS2018-52 |
本研究では，離散時間実行環境におけるYampaプログラムの振舞い検証を行った．離散的な振舞いは連続的な振舞いを十分に実現... [more] | SS2018-52 pp.1-6 |
| SWIM | 2015-12-05 14:50 |
東京 | 東京工芸大学 中野キャンパス | UPPAALによるGAEの性能評価 ○西田紗知・新川芳行（龍谷大） SWIM2015-15 |
近年，Google App Engine (GAE) などの PAAS 型クラウドが，企業情報システム実行基盤の選択肢と... [more] | SWIM2015-15 pp.19-24 |
| KBSE | 2015-03-06 15:25 |
東京 | 電通大(調布, 東3号館) | モデル検査を用いたユースケースモデルに基づくソースコード検証 ～ ASP.NETアプリケーションを事例として ～ ○青木善貴（芝浦工大）・小形真平（信州大）・谷沢智史（ボイスリサーチ）・松浦佐江子（芝浦工大） KBSE2014-64 |
モデル検査はシステムの振る舞いを検証するためには有効な技術である．我々はモデル検査技術を利用して仕様書とソースコードの振... [more] | KBSE2014-64 pp.71-76 |
| SS | 2014-10-23 15:45 |
高知 | 高知市文化プラザかるぽーと | UPPAALを用いたLEGO Mindstorms EV3制御プログラムの合成 ○荒川 洸・結縁祥治（名大） SS2014-32 |
本研究は，UPPAALを用いて記述した時間オートマトンによる振舞い仕様からLEGO Mindstorm EV3システムを... [more] | SS2014-32 pp.41-46 |
| SWIM | 2014-08-21 14:35 |
京都 | 龍谷大学 | 時間オートマトンによるUMLタイミング図の検証 ○梶村賢吾・新川芳行（龍谷大） SWIM2014-11 |
従来、UMLは業務系システムのモデリングに適したモデル記述言語として、情報システムの分析・設計・製作・評価の各工程で幅広... [more] | SWIM2014-11 pp.17-21 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2014-07-10 15:20 |
北海道 | 富良野文化会館 | 反例からの検査式自動生成による不具合原因特定支援 ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） SS2014-16 KBSE2014-19 |
モデル検査はシステムの振る舞いを検証するためには有効な技術である．我々はモデル検査技術を利用して仕様書とソースコードの振... [more] | SS2014-16 KBSE2014-19 pp.87-92 |
| KBSE | 2014-05-30 13:45 |
神奈川 | 慶応義塾大学，日吉キャンパス（来往舎） | 企業内でのモデル検査ツールの利用と普及 ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） KBSE2014-9 |
モデル検査はシステムの振る舞いを検査するのには優れた手法である．しかし，モデル検査の知識を持たない要員が検査モデルを作成... [more] | KBSE2014-9 pp.47-52 |
| SS, KBSE (共催) |
2013-07-26 13:10 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） | モデル検査技術の開発現場への適用 ～ 仕様とソースコードの齟齬の発見 ～ ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） SS2013-28 KBSE2013-28 |
開発現場では不十分な要件定義や実装時のミス・誤解等により人手では発見困難な不具合が発生する.担当する要員により原因特定に... [more] | SS2013-28 KBSE2013-28 pp.91-96 |
| KBSE | 2013-03-14 10:05 |
東京 | 芝浦工業大学 | 開発現場を想定したモデル検査に基づくプログラムの不具合検証 ～ 検査支援ツールを用いた安定的な検査 ～ ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） KBSE2012-69 |
開発現場では不十分な要件定義や実装時のミス・誤解等により人手では発見困難な不具合が発生する.担当する要員により原因特定に... [more] | KBSE2012-69 pp.1-6 |
| KBSE | 2012-11-23 15:05 |
石川 | 金沢大学 (角間キャンパス) | データライフサイクルの妥当性に着目したモデル検査ツールの自動利用法 ○小形真平（信州大）・谷沢智史・西村一彦（ボイスリサーチ）・青木善貴・奥田博隆・松浦佐江子（芝浦工大） KBSE2012-56 |
モデル検査技術は，仕様を効率的かつ網羅的に検査する有望な技術である．しかし，開発者が適切にモデルと仕様を書くノウハウや，... [more] | KBSE2012-56 pp.109-114 |
| KBSE, SS (共催) |
2011-07-30 11:15 |
北海道 | 北海道情報大学 | 実行時検査を伴う実時間プログラムの生成について ～ 時間オートマトンから非実時間実行環境上の実時間プログラムへ ～ Ilankaikone Senthooran・Julian Prokay・○渡部卓雄（東工大） SS2011-25 KBSE2011-22 |
検証済みのモデルから実時間プログラムを生成する手法を提案する．本手法では，時間制約を実行時に検査するために，それに伴うオ... [more] | SS2011-25 KBSE2011-22 pp.75-80 |
| SWIM | 2010-06-04 16:05 |
東京 | 機械振興会館 | UMLアクティビティ図-クラス図間の整合性検証 ○堂西祐一・新川芳行（龍谷大） SWIM2010-6 |
統一モデリング言語 (UML)を用いることにより、ソフトウェアの構造及び振る舞いについての仕様を詳細に記述できるが、各U... [more] | SWIM2010-6 pp.39-44 |
| SWIM | 2010-06-04 16:30 |
東京 | 機械振興会館 | 時間制約が存在するUMLの正当性検証 ○野村将人・新川芳行（龍谷大） SWIM2010-7 |
本論文では、モデル検査ツールUPPAALを用いてUMLシーケンス図の正当性を検証する方法について述べる。UPPAALはシ... [more] | SWIM2010-7 pp.45-50 |
| SWIM | 2010-02-26 16:25 |
東京 | 機械振興会館B3-2 | UMLシーケンス図における時間制約の記述とその検証 ○安田佳宏・新川芳行（龍谷大） SWIM2009-24 |
UML2.0ではシーケンス図に時間制約の記述が可能となっているが, UML自体にはその検証機能がないため, 時間制約の検... [more] | SWIM2009-24 pp.27-32 |
| SS | 2009-12-18 09:40 |
香川 | 香川大学幸町キャンパス | 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル ○水野洋樹・結縁祥治（名大） SS2009-43 |
あらまし 本論文では,マルチコア環境で実行される実時間応用プロク... [more] | SS2009-43 pp.49-54 |
| VLD | 2009-03-12 15:15 |
沖縄 | 沖縄県男女共同参画センター | モデル検査ツールUPPAALを用いたGALSシステムの形式的検証 ○桐田和明・横川智教・宮崎 仁・佐藤洋一郎・早瀬道芳（岡山県立大） VLD2008-150 |
GALS (Globally Asynchronous Locally Synchronous)システムの設計では， ... [more] |
VLD2008-150 pp.141-146 |
| SS | 2007-08-03 11:45 |
北海道 | 北海道大学 | UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法 ○長岡武志・岡野浩三・楠本真二（阪大） SS2007-29 |
近年，情報システムの高信頼設計においてモデル検査は重要な役割を果たすようになってきている．実時間システムのモデル検査では... [more] | SS2007-29 pp.77-82 |
[研究会発表申込システムのトップページに戻る]