| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| NS, RCS (併催) |
2023-12-15 14:50 |
福岡 | 九州工業大学 戸畑キャンパス＋オンライン開催 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
センサーネットワーク検証システムにおける遷移図を用いたMACプロトコル設計環境の開発 ○小林 遼・アサノ デービッド・不破 泰（信州大）  NS2023-148 |
我々が開発している無線センサーネットワークは、様々な環境やアプリケーションに応じて仕様が異なり、その都度新しく通信プロト... [more] | NS2023-148 pp.126-131 |
| KBSE, SWIM (共催) |
2021-05-22 14:00 |
ONLINE | オンライン開催 | UMLステートマシン図の教育的フィードバック自動生成に向けた答案の誤り特定自動化手法の提案 ～ 特定すべき誤りの種類とその特定結果への着目 ～ ○五島光祥・小形真平（信州大）・槇原絵里奈（同志社大）・岡野浩三（信州大） KBSE2021-10 SWIM2021-10 |
UML（Unified Modeling Language）のステートマシン図の学習では，教育者が答案を採点することに時... [more] | KBSE2021-10 SWIM2021-10 pp.56-61 |
| KBSE, SC (共催) |
2020-11-13 15:00 |
ONLINE | オンライン開催+機械振興会館 （ハイブリッド開催，主：オンライン開催，副：現地開催） |
［ポスター講演］ステートマシン図学習者の躓き特定手法の提案に向けて ○北村拓弥・小形真平（信州大）・槇原絵里奈（同志社大）・岡野浩三（信州大） KBSE2020-13 SC2020-17 |
UMLステートマシン図の教育を支援するために，学習者の躓きについて分析する研究が行われている． 関連研究では，モデルの... [more] |
KBSE2020-13 SC2020-17 p.26 |
| KBSE, SC (共催) |
2020-11-13 15:04 |
ONLINE | オンライン開催+機械振興会館 （ハイブリッド開催，主：オンライン開催，副：現地開催） |
［ポスター講演］学習者への教育的フィードバックの自動化に向けたステートマシン図間の差分検出ツールの試作 ○五島光祥・小形真平（信州大）・槇原絵里奈（同志社大）・岡野浩三（信州大） KBSE2020-15 SC2020-19 |
UML のステートマシン図は離散的な振る舞いを表すため，システム開発等において有用であるが，初学者にとって理解が難しいと... [more] | KBSE2020-15 SC2020-19 p.30 |
| KBSE, SC (共催) |
2018-11-10 14:00 |
兵庫 | 神戸大学 瀧川記念学術交流会館 | 多人数教育におけるUMLステートマシン図の調査・分析 ○小形真平・香山瑞恵・岡野浩三（信州大） KBSE2018-41 SC2018-36 |
本稿は多人数教育におけるステートマシン図を含むモデルを評価支援する手法の提案に向けて，一つのモデル記述課題に対する多数の... [more] | KBSE2018-41 SC2018-36 pp.77-82 |
| KBSE | 2017-01-23 12:35 |
東京 | 機械振興会館 | SMart-Learning: DSLベースのUMLステートマシン図学習支援ツールの拡張 ～ 複数インスタンスのシミュレーション ～ ○小形真平・岡野浩三・香山瑞恵（信州大） KBSE2016-31 |
われわれはこれまで，ステートマシン図教育支援を目的にDSL(Domain Specific Language)ベースのU... [more] | KBSE2016-31 pp.1-6 |
| KBSE | 2017-01-23 13:20 |
東京 | 機械振興会館 | UMLに基づく概念モデリングにおける状態遷移図に対するモデル記法チェック機能の効果 ○但馬将貴・香山瑞恵・小形真平・橋本昌巳（信州大） KBSE2016-32 |
本研究の目的は，UMLに基づく概念モデリング教育を支援する環境の拡充である．ここでは，学習者が日常にある物事の動作を状態... [more] | KBSE2016-32 pp.7-12 |
| SS, KBSE (共催) |
2013-07-25 16:40 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） | 状態マシン図を用いたスマートフォンアプリのモデル化 ○落水恭介・横川智教（岡山県立大）・宮崎 仁（川崎医療福祉大）・佐藤洋一郎・有本和民（岡山県立大） SS2013-21 KBSE2013-21 |
本稿では，UMLの状態マシン図を用いてスマートフォンアプリをモデル化する手法を提案している． アプリを動作させるユーザ... [more] |
SS2013-21 KBSE2013-21 pp.49-54 |
| SS, MSS (共催) |
2012-01-26 13:15 |
高知 | 高知市文化プラザかるぽーと | cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について ○長谷川泰央・宮本俊幸（阪大） MSS2011-59 SS2011-44 |
情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテ... [more] | MSS2011-59 SS2011-44 pp.27-32 |
| SWIM | 2011-11-18 16:25 |
東京 | 東海大学 高輪キャンパス | UMLステートマシン-アクティビティ図間の整合性分析 ○野村将人・新川芳行（龍谷大） SWIM2011-29 |
UMLアクティビティ図は複数のオブジェクト間の相互作用を含むプロセスの進行を体系的に記述する。一方、UMLステートマシン... [more] | SWIM2011-29 pp.65-70 |
| CAS, MSS (共催) |
2011-11-18 11:40 |
山口 | 山口大学大学会館 | SOAに基づくシステムの設計検証のためのUMLサブセット ○長谷川泰央・新村勇人・宮本俊幸（阪大） CAS2011-79 MSS2011-48 |
短期間で情報システムを構築可能なアーキテクチャとしてSOA が注目されている．SOA に基づくシステム開発の効率化のため... [more] | CAS2011-79 MSS2011-48 pp.89-94 |
| RECONF | 2011-09-26 14:20 |
愛知 | 名古屋大学(NCES) | ハードウェア設計のためのモデルコンパイラ開発と実証実験 ～ UMLステートマシン図からのハードウェア記述言語の生成 ～ ○狩野大樹・山崎亮太（東海大）・清水尚彦（東海大/IP ARCH） RECONF2011-27 |
本論文では，UMLクラス図，UMLアクティビティ図，UMLステートマシン図から，論理合成可能なハードウェア記述言語の自動... [more] | RECONF2011-27 pp.31-36 |
| SWIM | 2011-02-25 15:05 |
東京 | 機械振興会館 | CPNによるUMLモデル間整合性検証 ○野村将人・安田佳宏・新川芳行（龍谷大） SWIM2010-31 |
UMLによりシステムの動的側面をモデル化する場合、一般にステートマシン図、シーケンス図、アクティビティ図などを組み合わせ... [more] | SWIM2010-31 pp.33-38 |
| MSS, CAS (共催) |
2010-11-18 14:55 |
大阪 | 関西大学 | T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について ○長谷川泰央・宮本俊幸（阪大） CAS2010-72 CST2010-45 |
情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテ... [more] | CAS2010-72 CST2010-45 pp.41-46 |
| SS | 2004-11-26 11:00 |
山梨 | 山梨大学 甲府(武田)キャンパス | 状態マシンに基づくWebアプリケーションのモデル化 ○大崎雅代・寺岡照彦・中田秀男（三菱電機） |
本稿では，Webアプリケーションを，UMLの状態マシンに基づいてモデル化する手法について提案する．本手法では，Webペー... [more] | SS2004-37 pp.19-24 |
[研究会発表申込システムのトップページに戻る]