| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2022-07-29 14:55 |
北海道 | 北海道自治労会館（札幌） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
変更前後のアクティビティ図の差分解析手法 岡本隼人・大森隆行・○大西 淳（立命館大）  SS2022-13 KBSE2022-23 |
ソフトウェア開発時に、アクティビティ図が変更されることがあるが、ある開発者が変更した際に、他の開発者が変更箇所や変更内容... [more] | SS2022-13 KBSE2022-23 pp.73-78 |
| KBSE | 2016-11-03 13:35 |
長野 | 信州大学 長野（工学）キャンパス | ユーザの状況を考慮した操作支援システムの自動生成 ○中村史門（早大）・岩田 一（神奈川工科大）・白銀純子（東京女子大）・深澤良彰（早大） KBSE2016-30 |
操作方法がわからないユーザに対して操作方法を提示する操作支援システムは、ユーザが使いたい機能の最初からの操作方法を提示す... [more] | KBSE2016-30 pp.37-42 |
| SWIM | 2011-11-18 16:25 |
東京 | 東海大学 高輪キャンパス | UMLステートマシン-アクティビティ図間の整合性分析 ○野村将人・新川芳行（龍谷大） SWIM2011-29 |
UMLアクティビティ図は複数のオブジェクト間の相互作用を含むプロセスの進行を体系的に記述する。一方、UMLステートマシン... [more] | SWIM2011-29 pp.65-70 |
| RECONF | 2011-09-26 14:20 |
愛知 | 名古屋大学(NCES) | ハードウェア設計のためのモデルコンパイラ開発と実証実験 ～ UMLステートマシン図からのハードウェア記述言語の生成 ～ ○狩野大樹・山崎亮太（東海大）・清水尚彦（東海大/IP ARCH） RECONF2011-27 |
本論文では，UMLクラス図，UMLアクティビティ図，UMLステートマシン図から，論理合成可能なハードウェア記述言語の自動... [more] | RECONF2011-27 pp.31-36 |
| KBSE | 2011-03-10 14:20 |
大分 | 別府国際コンベンションセンター | UML要求仕様からのカバレッジに基づく機能テストのテストケース生成 ○式見 遼・小形真平・松浦佐江子（芝浦工大） KBSE2010-48 |
システム開発において，テスト段階では開発したシステムが要求仕様を満たしていることを検証しなければならない．この検証のため... [more] | KBSE2010-48 pp.7-12 |
| SWIM | 2011-02-25 13:25 |
東京 | 機械振興会館 | UMLアクティビティ図からSPINモデル検査用コードの自動生成とWebアプリケーション設計への適用 ○山田 豊・和崎克己（信州大） SWIM2010-29 |
UMLアクティビティ図は、ワークフローの表現に適しており、分析・設計から実装に至るまでの開発の各段階において振る舞いを表... [more] | SWIM2010-29 pp.23-28 |
| RECONF, VLD, CPSY (共催) IPSJ-SLDM (連催) [詳細] |
2011-01-17 10:10 |
神奈川 | 慶應義塾大学日吉キャンパス | UMLアクティビティ図のハードウェア記述言語NSLへの動作合成 上陰敏弘・○山崎亮太（東海大）・清水尚彦（東海大/IP ARCH） VLD2010-84 CPSY2010-39 RECONF2010-53 |
本論文は，UMLアクティビティ図からハードウェアを合成するシステムについて述べる．我々は高位システム記述言語NSLとUM... [more] | VLD2010-84 CPSY2010-39 RECONF2010-53 pp.1-6 |
| SWIM | 2008-11-21 11:25 |
東京 | 東京国際フォーラム | モデル検査によるUMLアクティビティ図の正当性検証 ○井上貴至・新川芳行（龍谷大） SWIM2008-19 |
アクティビティ図は、処理の実行順序を表現するためのダイアグラムであり、UML2.0で大幅に改善されたものの1つである。こ... [more] | SWIM2008-19 pp.19-24 |
| NC | 2008-11-07 15:20 |
佐賀 | 佐賀大学 | 離散的かつ連続的な情報表現を持つ神経回路モデル ○北園 淳（東大）・大森敏明・岡田真人（東大/理研） NC2008-61 |
連想記憶モデルとメキシカンハット型相互作用をもつ神経回路モデルは，神経回路モデルにおいて二つの最も代表的なアトラクターネ... [more] | NC2008-61 pp.13-18 |
| MSS | 2008-08-04 13:50 |
静岡 | 静岡大学（浜松キャンパス）工学部システム工学科棟３階Ａ３１教室 | デバイスドライバのアクティビティ図に対するペトリネットに基づく検査について ○山田太郎・山口真悟・田中 稔（山口大） CST2008-14 |
最近，UML/アクティビティ図がデバイスドライバの設計に使われている．本稿では，UML/アクティビティ図によるデバイスド... [more] | CST2008-14 pp.11-16 |
| SS | 2008-03-03 16:30 |
長崎 | 長崎大学 | MDA体系に沿ったGUIモデル変換手法 ○迎田 宙・岩田 一（早大）・白銀純子（東京女子大）・深澤良彰（早大） SS2007-68 |
近年，MDAと呼ばれるソフトウェア開発体系が注目を集めている．しかし，モデルによるGUIの設計方法が確立されていないため... [more] | SS2007-68 pp.67-72 |
[研究会発表申込システムのトップページに戻る]