| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2018-03-01 17:00 |
沖縄 | 石垣市民会館 中ホール | 自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法 ○岡野浩三・高橋一真・仲 悠介・小形真平（信州大）・関澤俊弦（日大）  KBSE2017-52 |
ソフトウェア開発の要求仕様書は自然言語で記述されていることが多く， 曖昧さや矛盾を含んでいる可能性がある．そのため，テ... [more] |
KBSE2017-52 pp.79-84 |
| NS, IN (併催) |
2018-03-01 10:50 |
宮崎 | フェニックス・シーガイア・リゾート | 高可用分散クラスタにおける保守シナリオを用いたシステム管理ソフトウェア部品の自動生成 ○荒川博樹・上田清志（日大） NS2017-184 |
近年，大規模な web アプリケーションやクラウド・コンピューティングに代表される大規模分散クラスタ 技術による計算資... [more] |
NS2017-184 pp.97-102 |
| 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 | 2017-03-04 11:30 |
石川 | 石川県金沢市 ITビジネスプラザ武蔵 研修室1 | 存在従属グラフに基づくドメインモデル実体化システムの自動生成 ○森本悠介・劉 湘涛・井田明男・金田重郎（同志社大） KBSE2016-47 |
アプリケーション開発におけるドメインモデルの構築はオブジェクト指向アプローチとUML表記を用いている．しかし，オブジェク... [more] | KBSE2016-47 pp.49-54 |
| KBSE | 2017-01-23 13:20 |
東京 | 機械振興会館 | UMLに基づく概念モデリングにおける状態遷移図に対するモデル記法チェック機能の効果 ○但馬将貴・香山瑞恵・小形真平・橋本昌巳（信州大） KBSE2016-32 |
本研究の目的は，UMLに基づく概念モデリング教育を支援する環境の拡充である．ここでは，学習者が日常にある物事の動作を状態... [more] | KBSE2016-32 pp.7-12 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2016-07-13 14:40 |
北海道 | 北海道立道民活動センター | ドメインモデルを用いたアクター間のゴール依存関係分析 ○海谷治彦（神奈川大） SS2016-4 KBSE2016-10 |
ソフトウェアや情報システムを導入するか否かは， それらが導入される人間や組織が営む活動の分析を通して行なうべきである．... [more] |
SS2016-4 KBSE2016-10 pp.43-48 |
| KBSE | 2016-05-26 14:50 |
東京 | 同志社大学 東京オフィス | ERモデリング演習における学習者の思考過程収集手法とその適用 ○田中昂文（東京農工大）・橋浦弘明（日本工大）・櫨山淳雄（学芸大）・古宮誠一（NII）・平井佑樹・金子敬一（東京農工大） KBSE2016-2 |
一般的なERモデリング演習では，学習者の成果物作成過程における成果物の変遷 (編集過程)および学習者の考え方や意図 (思... [more] | KBSE2016-2 pp.7-12 |
| SS | 2016-03-10 14:50 |
沖縄 | 沖縄県立宮古青少年の家 | ExecutableUMLを用いたソフトウェアの消費エネルギー解析手法 ○吉本竜輔・久住憲嗣・福田 晃（九大） SS2015-86 |
組込みシステムは多機能化が進んでおり，消費電力が増大している．消費エネルギーの削減のために，ソフトウェアの振る舞いに依存... [more] | SS2015-86 pp.61-66 |
| PRMU, CNR (共催) |
2016-02-21 11:00 |
福岡 | 九州工業大学・飯塚キャンパス | 移動ロボット追尾のための基幹ノードと位置推定ノードを用いた再帰型測位アルゴリズム ○稲垣慶太郎・杉本千佳・河野隆二（横浜国大） PRMU2015-142 CNR2015-43 |
近年、通信機能とルーティング機能を備えたセンサノードによって構築されるセンサネットワークが大きな注目を集めている。無線セ... [more] | PRMU2015-142 CNR2015-43 pp.61-64 |
| ET | 2015-10-31 17:05 |
大分 | 日本文理大学 湯布院研修所 | モデル駆動開発方法論に基づくロボット動作設計向けUMLモデリング教育用モデルコンパイラの開発 ○但馬将貴・香山瑞恵・小形真平・橋本昌巳（信州大） ET2015-54 |
本研究の目的は，UMLモデリング教育を支援する環境の拡張である．ここでは，ロボット動作をクラス図と状態遷移図でモデル化す... [more] | ET2015-54 pp.61-66 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 09:30 |
北海道 | 札幌市教育文化会館 | UMLモデリング教育を支援するルールベースのクラス図採点支援ツール ○宮島和音・小形真平・香山瑞恵・岡野浩三（信州大） SS2015-30 KBSE2015-23 |
UMLモデリング教育では，唯一の解がないモデルの採点とフィードバック作成に時間がかかる．本研究はクラス図を対象に，教師に... [more] | SS2015-30 KBSE2015-23 pp.149-154 |
| KBSE | 2015-05-25 11:00 |
東京 | 機械振興会館 地下3階 B3-6会議室 | 画面遷移モデルに基づくシナリオ作成支援手法の検討 ○小形真平・中村哲真・岡野浩三（信州大） KBSE2015-2 |
要求仕様の妥当性確認を十分に行い，Model-Based Testing(MBT)手法に見られるように要求仕様から有効な... [more] | KBSE2015-2 pp.7-12 |
| KBSE | 2015-03-05 13:45 |
東京 | 電通大(調布, 東3号館) | プログラム更新前後におけるUMLシーケンス図の抽象化と差異検出 ○宮城翔一・丸山翔平・上田賀一（茨城大） KBSE2014-55 |
リバースエンジニアリングによって生成されたシーケンス図は詳細であるため，事前に作成された設計書と抽象度が合わず比較が困難... [more] | KBSE2014-55 pp.19-24 |
| KBSE | 2015-01-26 14:40 |
東京 | 機械振興会館 B3F-2 | ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 ～ ASP.NETアプリケーションを事例として ～ ○小形真平（信州大）・青木善貴（芝浦工大）・谷沢智史（ボイスリサーチ）・松浦佐江子（芝浦工大） KBSE2014-42 |
ソフトウェア開発において，要求仕様書とソースコードの対応関係を保持することは容易ではなく，最終的にソースコードが要求仕様... [more] | KBSE2014-42 pp.19-24 |
| KBSE | 2015-01-26 17:05 |
東京 | 機械振興会館 B3F-2 | Systemigramとドメインクラス図の比較 ○山本修一郎（名大） KBSE2014-45 |
システム分析の図式手法について，問題状況理解の観点から，システミグラム図（Systemigram）とドメインクラス図を比... [more] | KBSE2014-45 pp.37-42 |
| AP | 2014-12-11 14:50 |
東京 | 機械振興会館 | 連立積分方程式によるダイポールアンテナの相互結合の解析 ○片木孝至・大嶺裕幸・宮下裕章・西本研悟（三菱電機） AP2014-157 |
任意の位置にある平行な諸元の異なる２本のダイポール上の電流分布について、周方向の変化も考慮した厳密な連立積分方程式を立て... [more] | AP2014-157 pp.37-42 |
| SWIM | 2014-08-21 13:55 |
京都 | 龍谷大学 | クラウド時代のWebアプリケーション設計方法の提案 ○五月女健治（法政大）・片岡信弘（元東海大）・工藤 司（静岡理工科大）・石野正彦（文教大） SWIM2014-10 |
クラウドサービスPaaSには，ノンプログラミングでWeb業務アプリケーションを開発できるサービスが出現し，従来型のオンプ... [more] | SWIM2014-10 pp.13-16 |
| SWIM | 2014-08-21 14:35 |
京都 | 龍谷大学 | 時間オートマトンによるUMLタイミング図の検証 ○梶村賢吾・新川芳行（龍谷大） SWIM2014-11 |
従来、UMLは業務系システムのモデリングに適したモデル記述言語として、情報システムの分析・設計・製作・評価の各工程で幅広... [more] | SWIM2014-11 pp.17-21 |
| SWIM | 2014-08-21 15:00 |
京都 | 龍谷大学 | VDM++とCPNによるUMLクラス図-アクティビティ図間の整合性検証 ○小原正義・新川芳行（龍谷大） SWIM2014-12 |
統一モデリング言語であるUML(Unified Modeling Language)は大規模ソフトウェア開発の標準手法と... [more] | SWIM2014-12 pp.23-28 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2014-07-10 14:10 |
北海道 | 富良野文化会館 | ユーザビリティ要求確認を支援するWebプロトタイプ自動生成手法 ○紙森翔平・小形真平・海尻賢二（信州大） SS2014-14 KBSE2014-17 |
近年,業務系 Web アプリケーション開発ではユーザビリ... [more] | SS2014-14 KBSE2014-17 pp.75-80 |
[研究会発表申込システムのトップページに戻る]