| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| 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 |
東京 | 同志社大学 東京オフィス | デザインパターンに基づくソースコードのモデル検証の手法の提案 ○青木善貴（NUL） KBSE2016-6 |
今までに「モデル検査による仕様とソースコードの不一致を発見する手法」を提案してきた．この検証手法は制御フローをベースにし... [more] | KBSE2016-6 pp.31-36 |
| MICT, ASN, MoNA (併催) |
2015-01-27 13:30 |
和歌山 | 南紀白浜温泉 ホテルむさし | メッシュ型地域ネットワークのプラットフォーム技術の研究開発 ○中川靖士（日本ユニシス）・高橋広嗣（フィンチジャパン）・実藤 亨（ナシュア・ソリューションズ）・木下哲男（東北大） MoNA2014-86 |
メッシュ型地域ネットワークのプラットフォーム技術の研究開発は、耐災害性を備えたメッシュネットワーク技術（NerveNet... [more] | MoNA2014-86 pp.129-134 |
| KBSE | 2012-01-23 16:20 |
東京 | 機械振興会館 | 開発現場を想定したモデル検査に基づくプログラムの欠陥抽出手法 ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） KBSE2011-60 |
[more] | KBSE2011-60 pp.43-48 |
| KBSE | 2011-05-27 10:30 |
香川 | 香川大学（幸町キャンパス） | 組織における問題解決支援に関する一提案 ○妻木俊彦（NII）・辻 昇治（日本ユニシス） KBSE2011-8 |
組織は，異なった視点を持った複数の要員によって構成されており，そこで発生する問題を解決するには，個々の構成員の異なる意見... [more] | KBSE2011-8 pp.43-48 |
[研究会発表申込システムのトップページに戻る]