| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2022-03-08 10:45 |
ONLINE | オンライン開催 | シーケンス図とオブジェクト図を統合した動的グラフに基づく可視化手法 ○本郷亜季・新田直也（甲南大）  SS2021-59 |
UML は, リバースエンジニアリングにおいて現実のオブジェクト指向プログラムの複雑な振る舞いを表現 するのには適してい... [more] | SS2021-59 pp.103-108 |
| KBSE | 2021-03-05 13:35 |
ONLINE | オンライン開催 | Webアプリケーションにおける異常動作を解析支援するログファイルの可視化手法の提案 ○笠井裕貴（信州大）・谷沢智史（ボイスリサーチ）・小形真平・岡野浩三（信州大） KBSE2020-35 |
開発・保守者がWebアプリケーションに生じた異常動作の状況を特定するために，WebクライアントやWebサーバ等それぞれか... [more] | KBSE2020-35 pp.7-12 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2016-07-13 10:20 |
北海道 | 北海道立道民活動センター | シーケンス図のメーセージ順序の適正な修正手法 ○岡野浩三（信州大）・原内 聡（三菱電機）・田島洋介・小形真平（信州大） SS2016-2 KBSE2016-8 |
ソフトウェア開発において，品質を保証するための手法として設計の欠陥の検出，修正に関する多くの提案がされている．仕様設計の... [more] | SS2016-2 KBSE2016-8 pp.7-12 |
| SS | 2015-03-09 13:50 |
沖縄 | 沖縄県青年会館 | シーケンス図が持つメッセージ順序の曖昧性除去手法の提案 ○楠 野明・岡野浩三・楠本真二（阪大） SS2014-62 |
本稿は，仕様設計の段階で使用されるシーケンス図においてメッセージ順に関する欠陥を検出，および修正する手法を提案する．提案... [more] | SS2014-62 pp.43-48 |
| KBSE | 2015-03-05 13:45 |
東京 | 電通大(調布, 東3号館) | プログラム更新前後におけるUMLシーケンス図の抽象化と差異検出 ○宮城翔一・丸山翔平・上田賀一（茨城大） KBSE2014-55 |
リバースエンジニアリングによって生成されたシーケンス図は詳細であるため，事前に作成された設計書と抽象度が合わず比較が困難... [more] | KBSE2014-55 pp.19-24 |
| SS | 2014-03-12 09:55 |
沖縄 | てんぷす那覇：第１・２会議室 | オブジェクトの動的特徴に着目した実行トレースの抽象化 ○戸田達也（名大）・小林隆志（東工大）・渥美紀寿（名大）・阿草清滋（京大） SS2013-86 |
オブジェクト指向ソフトウェアの振舞い理解のために，実行トレースをシーケンス図に可視化する手法が提案されている．実行トレー... [more] | SS2013-86 pp.85-90 |
| SS | 2013-05-09 14:40 |
香川 | 香川大学（幸町） | シーケンス図のパターンに基づくセキュリティ脅威の検出法 ○阿部達也・林 晋平・佐伯元司（東工大） SS2013-1 |
システム設計段階において，あらかじめシステムに存在するセキュリティ脅威を検出し対策を講じることによって，より安全で高信頼... [more] | SS2013-1 pp.1-6 |
| KBSE | 2013-03-14 11:25 |
東京 | 芝浦工業大学 | 実行履歴解析によるUMLシーケンス図の抽象化手法 ○宮城翔一・上條康司・上田賀一（茨城大） KBSE2012-71 |
設計書とプログラムにおいて要素間の相互作用の対応関係を取るために，動的解析によるリバースエンジニアリングを用いてシーケン... [more] | KBSE2012-71 pp.13-18 |
| SS | 2012-03-14 12:05 |
沖縄 | てんぶす那覇 | 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング ○戸田達也・小林隆志・渥美紀寿・阿草清滋（名大） SS2011-82 |
オブジェクト指向プログラムの振舞いを理解するために，プログラム実行時に生成されるオブジェクト群 とそれらのメッセージ送... [more] |
SS2011-82 pp.151-156 |
| SWIM | 2011-02-25 15:05 |
東京 | 機械振興会館 | CPNによるUMLモデル間整合性検証 ○野村将人・安田佳宏・新川芳行（龍谷大） SWIM2010-31 |
UMLによりシステムの動的側面をモデル化する場合、一般にステートマシン図、シーケンス図、アクティビティ図などを組み合わせ... [more] | SWIM2010-31 pp.33-38 |
| KBSE | 2011-01-25 14:40 |
東京 | 機械振興会館 | シーケンス図をクエリとして用いるシーケンス図の振舞い検索の提案 ○長谷川明史・塚本享治（東京工科大） KBSE2010-43 |
UMLのシーケンス図はソフトウェアの振舞いを表す図の一つであり，ライフラインとして表されたオブジェクト間の相互作用が時系... [more] | KBSE2010-43 pp.49-54 |
| SWIM | 2010-11-19 15:25 |
東京 | 東海大学（高輪） | 時間制約を含むUMLシーケンス図の検証手法 ○安田佳宏・新川芳行（龍谷大） SWIM2010-23 |
ソフトウェアの仕様検証は，構造や機能に焦点を当てた静的検証，振る舞いに焦点を当てた動的検証，そして時間制約の検証が独立に... [more] | SWIM2010-23 pp.39-44 |
| SWIM | 2010-06-04 16:30 |
東京 | 機械振興会館 | 時間制約が存在するUMLの正当性検証 ○野村将人・新川芳行（龍谷大） SWIM2010-7 |
本論文では、モデル検査ツールUPPAALを用いてUMLシーケンス図の正当性を検証する方法について述べる。UPPAALはシ... [more] | SWIM2010-7 pp.45-50 |
| SWIM | 2010-02-26 16:25 |
東京 | 機械振興会館B3-2 | UMLシーケンス図における時間制約の記述とその検証 ○安田佳宏・新川芳行（龍谷大） SWIM2009-24 |
UML2.0ではシーケンス図に時間制約の記述が可能となっているが, UML自体にはその検証機能がないため, 時間制約の検... [more] | SWIM2009-24 pp.27-32 |
| MSS | 2010-01-21 15:00 |
愛知 | 豊田中央研究所アクタスCホール | プロセス代数CSPによるシーケンス図設計の詳細化と検証 ○海津智宏（北陸先端大）・磯部祥尚（産総研）・鈴木正人（北陸先端大） CST2009-40 |
ソフトウェアのモジュール構造の設計には，シーケンス図が用いられる場合が多い．本論文では，プロセス代数CSP を利用して，... [more] | CST2009-40 pp.19-24 |
| SS | 2007-12-18 09:30 |
島根 | 島根大学 | シーケンス図を利用した組込みシステム開発のためのテストケース生成手法の提案について ○井上 陽・片山徹郎（宮崎大） SS2007-52 |
組込みシステム開発では、製品の品質を保つための効率の良いテストが、強く求められている。 しかし、テストケースの作成は、... [more] |
SS2007-52 pp.85-90 |
| ICM | 2006-07-13 15:15 |
秋田 | 秋田大学 | NE/NW-OSS開発におけるオントロジーを用いたクラス抽出基準の検討 ○井上正輝・佐藤正崇・井上貴司・山村哲哉（NTT） TM2006-26 |
OSS (Operation Support System)開発の効率性向上のために，既存OSSで利用された知識を蓄積し... [more] | TM2006-26 pp.31-36 |
| SS | 2006-06-22 16:00 |
岡山 | 岡山大学創立五十周年記念館 | クラス図とシーケンス図の間の不整合検出手法 ○えるうぃんうぃどぅどぅ・大西 淳（立命館大） |
統一モデリング言語（ＵＭＬ）をソフトウェア開発に適用することは有用であるが、UMLモデル間に生じる矛盾を放置したまま開発... [more] | SS2006-17 pp.25-30 |
[研究会発表申込システムのトップページに戻る]