| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| 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-03-05 13:45 |
東京 | 電通大(調布, 東3号館) | プログラム更新前後におけるUMLシーケンス図の抽象化と差異検出 ○宮城翔一・丸山翔平・上田賀一（茨城大） KBSE2014-55 |
リバースエンジニアリングによって生成されたシーケンス図は詳細であるため，事前に作成された設計書と抽象度が合わず比較が困難... [more] | KBSE2014-55 pp.19-24 |
| KBSE | 2015-01-26 17:05 |
東京 | 機械振興会館 B3F-2 | Systemigramとドメインクラス図の比較 ○山本修一郎（名大） KBSE2014-45 |
システム分析の図式手法について，問題状況理解の観点から，システミグラム図（Systemigram）とドメインクラス図を比... [more] | KBSE2014-45 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 |
| SWIM | 2013-08-21 14:30 |
宮城 | 宮城大学 仙台駅前AER (アエル) サテライトキャンパス | CPNによるUMLクラス図とステートマシン図間の整合性検証 ○小原正義・新川芳行（龍谷大） SWIM2013-7 |
統一モデリング言語であるUML(Unified Modeling Language)は大規模ソフトウェア開発の標準手法と... [more] | SWIM2013-7 pp.9-13 |
| 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, KBSE (共催) |
2013-07-26 11:10 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） | 初学者を対象としたユースケース記述の自動評価による学習支援 ○松井駿介・野呂 惇・岡田康治・加藤 真・渡辺大貴・松浦佐江子（芝浦工大） SS2013-26 KBSE2013-26 |
ユースケース記述は一般にテンプレートとして記述項目は定まっているが，記述は非形式的である．そのため，機能要求を分析できて... [more] | SS2013-26 KBSE2013-26 pp.79-84 |
| KBSE | 2013-03-14 11:25 |
東京 | 芝浦工業大学 | 実行履歴解析によるUMLシーケンス図の抽象化手法 ○宮城翔一・上條康司・上田賀一（茨城大） KBSE2012-71 |
設計書とプログラムにおいて要素間の相互作用の対応関係を取るために，動的解析によるリバースエンジニアリングを用いてシーケン... [more] | KBSE2012-71 pp.13-18 |
| KBSE | 2013-01-28 15:20 |
東京 | 機械振興会館 | 「クラス図は英語である」との観点に基づく仕様文・クラス図変換メソッドの提案 ○金田重郎・井田明男・酒井孝真（同志社大） KBSE2012-60 |
著者らは，(1) クラス図が英語の言語構造に立脚していること，そのため，(2) ビジネス仕様記述から概念クラス図を作成す... [more] | KBSE2012-60 pp.13-18 |
| CPSY, VLD, RECONF (共催) IPSJ-SLDM (連催) [詳細] |
2013-01-17 13:50 |
神奈川 | 慶応義塾大学 日吉キャンパス | UML図を用いた設計検証の自動化手法の開発 ○狩野大樹（東海大）・清水尚彦（東海大/IP ARCH） VLD2012-131 CPSY2012-80 RECONF2012-85 |
我々はハードウェア設計開発の効率向上を目的とし，UML図を用いて視覚的なハードウェア設計を行う手法を開発した．本論文では... [more] | VLD2012-131 CPSY2012-80 RECONF2012-85 pp.141-146 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2012-11-28 13:50 |
福岡 | 九州大学百年講堂 | SysMLを用いたモデルベースハードウェア開発の試行 ○山崎亮太（東海大）・清水尚彦（東海大/IP ARCH） RECONF2012-58 |
当論文では，MP3エンコーダを設計対象にしてシステム分析にSysMLを用いたシステムモデルの例を示す． また，システム... [more] |
RECONF2012-58 pp.63-69 |
| KBSE | 2012-11-22 14:40 |
石川 | 金沢大学 (角間キャンパス) | ユースケース記述の意図の明確化を目的とした初学者特有の問題点の分析 ○奥田博隆・松井駿介・式見 遼・野呂 惇・岡田康治（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大） KBSE2012-45 |
ユースケース分析はシステムに対する機能要求をユーザとシステムのやり取りとして明確に定義する有効な手段である。ユースケース... [more] | KBSE2012-45 pp.43-48 |
| KBSE, SS (共催) |
2012-07-28 14:20 |
北海道 | 公立はこだて未来大学 | ユースケース記述における初学者特有の問題点への系統的な改善方法 ○松井駿介・奥田博隆・式見 遼・野呂 惇・岡田康治（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大） SS2012-33 KBSE2012-35 |
ユースケース分析はシステムに対する機能要求をユーザとシステムのやり取りとして明確に定義する有効な手段である．ユースケース... [more] | SS2012-33 KBSE2012-35 pp.139-144 |
| SS, MSS (共催) |
2012-01-26 11:45 |
高知 | 高知市文化プラザかるぽーと | SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 ○新村勇人・宮本俊幸（阪大） MSS2011-58 SS2011-43 |
近年，記号モデル検査\cite{SMC}の有効な手法として命題論理式の充足可能性問題 (satisfiability，S... [more] | MSS2011-58 SS2011-43 pp.21-26 |
| SS, MSS (共催) |
2012-01-26 13:15 |
高知 | 高知市文化プラザかるぽーと | cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について ○長谷川泰央・宮本俊幸（阪大） MSS2011-59 SS2011-44 |
情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテ... [more] | MSS2011-59 SS2011-44 pp.27-32 |
| SWIM | 2011-11-18 10:30 |
東京 | 東海大学 高輪キャンパス | 上流設計からモデル検査プロセスまでの一貫設計検証環境 ～ UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法 ～ ○宮本直樹・和崎克己（信州大） SWIM2011-19 |
SPIN モデル検査器を実行するには，専用の仕様記述言語 PROMELA で対象モデルを記述する．また，検査対象の仕様の... [more] | SWIM2011-19 pp.7-12 |
| SWIM | 2011-11-18 16:25 |
東京 | 東海大学 高輪キャンパス | UMLステートマシン-アクティビティ図間の整合性分析 ○野村将人・新川芳行（龍谷大） SWIM2011-29 |
UMLアクティビティ図は複数のオブジェクト間の相互作用を含むプロセスの進行を体系的に記述する。一方、UMLステートマシン... [more] | SWIM2011-29 pp.65-70 |
[研究会発表申込システムのトップページに戻る]