お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 24件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
KBSE 2024-03-14
13:45
沖縄 沖縄県総合福祉センター
(ハイブリッド開催,主:現地開催,副:オンライン開催)
ユーザの性格特性に基づくシステム安全性検証に関する一考察
成澤瑠佳小形真平信州大)・青木善貴BIPROGY)・中川博之阪大)・小林一樹岡野浩三信州大KBSE2023-72
人に危害を及ぼさないシステムを開発するためには,設計段階から安全性を考慮することが重要である.近年では,利用者の性格特性... [more] KBSE2023-72
pp.43-48
KBSE 2024-03-14
14:10
沖縄 沖縄県総合福祉センター
(ハイブリッド開催,主:現地開催,副:オンライン開催)
倫理的判断へのモデル検査適用の試み
青木善貴中山陽太郎BIPROGYKBSE2023-73
自律的システムは,今後システムの安全を確保するとともに,倫理的な判断を行う必要がでてくると考えられる.形式手法の一つであ... [more] KBSE2023-73
pp.49-54
SS, KBSE
(共催)
IPSJ-SE
(連催) [詳細]
2023-07-22
11:25
北海道 北海道自治労会館(札幌)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
二種類のモデル検査器を用いたシステムの振る舞いの検証の試み
青木善貴BIPROGY)・小形真平信州大)・中川博之阪大)・小林一樹信州大SS2023-20 KBSE2023-31
 [more] SS2023-20 KBSE2023-31
pp.110-115
SWIM, KBSE
(共催)
2023-05-20
14:25
静岡 HAMAMATSU ACT CITY(浜松)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
対話型システムにおけるユーザの物品取り忘れの発生状況特定に関する検討
成澤瑠佳小形真平信州大)・青木善貴BIPROGY)・中川博之阪大)・小林一樹岡野浩三信州大KBSE2023-10 SWIM2023-10
物品のやり取りを伴う対話型システムの設計を行う際には,物品取り忘れが発生し得る状況への対策を施さなければならない.既存の... [more] KBSE2023-10 SWIM2023-10
pp.59-64
KBSE 2023-03-17
10:40
広島 JMS アステールプラザ(広島)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
モデル検査を用いたFRAMにおける機能間の相互作用を検証するの試み
青木善貴BIPROGY)・久住憲嗣芝浦工大KBSE2022-62
FRAM(Functional Resonance Analysis Method:機能共鳴分析手法) は,システムの機... [more] KBSE2022-62
pp.49-54
KBSE 2020-03-06
13:30
沖縄 てんぶす那覇
(開催中止,技報発行あり)
安全性解析支援のための状態遷移系に基づくハザード近接状態分析手法の提案
鈴木悠介・○小形真平大池勇太郎信州大)・青木善貴日本ユニシス)・中川博之阪大)・小林一樹岡野浩三信州大KBSE2019-47
STAMP (System-Theoretic Accident Model and Processes)/STPA (... [more] KBSE2019-47
pp.7-12
KBSE, SC
(共催)
2019-11-08
11:30
長野 信州大学 不具合原因分析支援のためのNuSMV反例解析手法の試案
大池勇太郎小形真平信州大)・青木善貴日本ユニシス)・中川博之阪大)・小林一樹岡野浩三信州大KBSE2019-24 SC2019-21
CPS(Cyber-Physical System)のように複数のモジュールが相互作用する大規模複雑なシステムを対象とし... [more] KBSE2019-24 SC2019-21
pp.7-12
SWIM, KBSE
(共催)
2019-05-25
09:45
東京 機械振興会館 確率的モデル検査器を用いたFRAM支援手法の試案
青木善貴日本ユニシス)・小形真平信州大KBSE2019-8 SWIM2019-8
FRAM (Functional Resonance Analysis Method)は複雑な技術システムを分析しモデル... [more] KBSE2019-8 SWIM2019-8
pp.49-56
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2018-07-18
15:50
北海道 北海道・帯広市 とかちプラザ 視聴覚室/大集会室 コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察
青木善貴日本ユニシス)・小形真平小林一樹信州大)・中川博之阪大SS2018-11 KBSE2018-21
IoT(Internet of Things)システムはサイバー空間とフィジカル空間をまたがる複雑な構成となる.その構成... [more] SS2018-11 KBSE2018-21
pp.61-66
SS, KBSE
(共催)
IPSJ-SE
(連催) [詳細]
2017-07-19
13:10
北海道 函館コミュニティプラザ IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価
小形真平信州大)・青木善貴日本ユニシス)・中川博之阪大)・小林一樹信州大)・福島祐子日本ユニシスSS2017-5 KBSE2017-5
IoTシステムのアーキテクチャでは,ユーザ,Webサービス,エッジ,デバイス,電力系統,自然環境などの様々なオブジェクト... [more] SS2017-5 KBSE2017-5
pp.25-30
KBSE 2016-05-27
10:45
東京 同志社大学 東京オフィス デザインパターンに基づくソースコードのモデル検証の手法の提案
青木善貴NULKBSE2016-6
今までに「モデル検査による仕様とソースコードの不一致を発見する手法」を提案してきた.この検証手法は制御フローをベースにし... [more] KBSE2016-6
pp.31-36
KBSE 2016-03-03
13:50
大分 由布市湯布院公民館 ユースケース部品の組み合わせに対する目標の満足度の検査
松浦佐江子芝浦工大)・小形真平信州大)・青木善貴日本ユニシスKBSE2015-54
 [more] KBSE2015-54
pp.37-42
KBSE 2015-03-06
15:25
東京 電通大(調布, 東3号館) モデル検査を用いたユースケースモデルに基づくソースコード検証 ~ ASP.NETアプリケーションを事例として ~
青木善貴芝浦工大)・小形真平信州大)・谷沢智史ボイスリサーチ)・松浦佐江子芝浦工大KBSE2014-64
モデル検査はシステムの振る舞いを検証するためには有効な技術である.我々はモデル検査技術を利用して仕様書とソースコードの振... [more] KBSE2014-64
pp.71-76
KBSE 2015-01-26
14:40
東京 機械振興会館 B3F-2 ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 ~ ASP.NETアプリケーションを事例として ~
小形真平信州大)・青木善貴芝浦工大)・谷沢智史ボイスリサーチ)・松浦佐江子芝浦工大KBSE2014-42
ソフトウェア開発において,要求仕様書とソースコードの対応関係を保持することは容易ではなく,最終的にソースコードが要求仕様... [more] KBSE2014-42
pp.19-24
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
KBSE 2014-03-06
10:35
沖縄 沖縄県青年会館 モデル検査における反例解析容易化支援
青木善貴日本ユニシス)・松浦佐江子芝浦工大KBSE2013-79
 [more] KBSE2013-79
pp.1-6
SS, KBSE
(共催)
2013-07-26
13:10
北海道 北海道立道民活動センター [かでる2.7] 710会議室(7階) モデル検査技術の開発現場への適用 ~ 仕様とソースコードの齟齬の発見 ~
青木善貴日本ユニシス)・松浦佐江子芝浦工大SS2013-28 KBSE2013-28
開発現場では不十分な要件定義や実装時のミス・誤解等により人手では発見困難な不具合が発生する.担当する要員により原因特定に... [more] SS2013-28 KBSE2013-28
pp.91-96
SS, KBSE
(共催)
2013-07-26
13:40
北海道 北海道立道民活動センター [かでる2.7] 710会議室(7階) UML要求分析モデルへのモデル検査技術適用による実現可能性の検証
青木善貴日本ユニシス)・小形真平信州大)・松浦佐江子芝浦工大SS2013-29 KBSE2013-29
高品質なソフトウェアを開発するためには,顧客による妥当性が確認された要求仕様を少ない手戻りで実装できるように,要求仕様の... [more] SS2013-29 KBSE2013-29
pp.97-102
KBSE 2013-03-14
10:05
東京 芝浦工業大学 開発現場を想定したモデル検査に基づくプログラムの不具合検証 ~ 検査支援ツールを用いた安定的な検査 ~
青木善貴日本ユニシス)・松浦佐江子芝浦工大KBSE2012-69
開発現場では不十分な要件定義や実装時のミス・誤解等により人手では発見困難な不具合が発生する.担当する要員により原因特定に... [more] KBSE2012-69
pp.1-6
 24件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会