お知らせ 研究会の開催と会場に参加される皆様へのお願い(2022年6月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 19件中 1~19件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
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
KBSE 2012-11-23
15:05
石川 金沢大学 (角間キャンパス) データライフサイクルの妥当性に着目したモデル検査ツールの自動利用法
小形真平信州大)・谷沢智史西村一彦ボイスリサーチ)・青木善貴奥田博隆松浦佐江子芝浦工大KBSE2012-56
モデル検査技術は,仕様を効率的かつ網羅的に検査する有望な技術である.しかし,開発者が適切にモデルと仕様を書くノウハウや,... [more] KBSE2012-56
pp.109-114
KBSE 2012-01-23
16:20
東京 機械振興会館 開発現場を想定したモデル検査に基づくプログラムの欠陥抽出手法
青木善貴日本ユニシス)・松浦佐江子芝浦工大KBSE2011-60
 [more] KBSE2011-60
pp.43-48
KBSE 2011-03-11
15:55
大分 別府国際コンベンションセンター モデル検査を用いたプログラムにおける再現性の低い潜在的欠陥の抽出手法 ~ データベースロック問題の検証 ~
青木善貴松浦佐江子芝浦工大KBSE2010-60
 [more] KBSE2010-60
pp.79-84
KBSE 2009-11-27
14:10
島根 島根大学 ソースコード解析を利用したモデル検査に基づく欠陥抽出手法の提案
青木善貴松浦佐江子芝浦工大KBSE2009-44
仕様を正しく理解していない開発者により作成されたプログラムは,思わぬ所に不具合が内在し,システム開発に多大な影響を与える... [more] KBSE2009-44
pp.79-84
 19件中 1~19件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会