| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2022-01-20 15:15 |
ONLINE | オンライン開催 (Zoom) (オンライン) | ［招待講演］大学におけるソフトウェア開発人材育成の役割 ○松浦佐江子  KBSE2021-36 |
芝浦工業大学におけるソフトウェア開発人材育成への取り組みを振り返り．今後の社会で必要とされるソフトウェア開発技能育成に対... [more] | KBSE2021-36 p.7 |
| KBSE | 2020-01-25 15:55 |
東京 | 機械振興会館 (東京都) | 要求定義後トレーサビリティの確保に向けたUMLモデルによるユースケース記述変換手法 ○吉野魁人・松浦佐江子（芝浦工大） KBSE2019-45 |
ソフトウェアの品質を保証するためには，開発における工程間のトレーサビリティを確保することが重要である．しかし，トレーサビ... [more] | KBSE2019-45 pp.43-48 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-19 13:35 |
北海道 | 函館コミュニティプラザ (北海道) | ハードウェアと環境とのインタラクションに着目した制御モデルのアジャイル開発 ○西川 俊・松浦佐江子（芝浦工大） SS2017-6 KBSE2017-6 |
[more] | SS2017-6 KBSE2017-6 pp.31-35 |
| KBSE | 2016-03-03 13:50 |
大分 | 由布市湯布院公民館 (大分県) | ユースケース部品の組み合わせに対する目標の満足度の検査 ○松浦佐江子（芝浦工大）・小形真平（信州大）・青木善貴（日本ユニシス） KBSE2015-54 |
[more] | KBSE2015-54 pp.37-42 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-23 11:40 |
北海道 | 札幌市教育文化会館 (北海道) | 要求仕様における関心事の分離によるモデル駆動開発手法 ○川合 怜・松浦佐江子（芝浦工大） SS2015-24 KBSE2015-17 |
モデル駆動開発は高品質なソフトウェア製品を効率的に開発するための有用なアプローチである．我々は，インタラクティブなアプリ... [more] | SS2015-24 KBSE2015-17 pp.81-86 |
| KBSE | 2015-03-06 15:25 |
東京 | 電通大(調布, 東3号館) (東京都) | モデル検査を用いたユースケースモデルに基づくソースコード検証 ～ ASP.NETアプリケーションを事例として ～ ○青木善貴（芝浦工大）・小形真平（信州大）・谷沢智史（ボイスリサーチ）・松浦佐江子（芝浦工大） KBSE2014-64 |
モデル検査はシステムの振る舞いを検証するためには有効な技術である．我々はモデル検査技術を利用して仕様書とソースコードの振... [more] | KBSE2014-64 pp.71-76 |
| KBSE | 2015-01-26 14:40 |
東京 | 機械振興会館 B3F-2 (東京都) | ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 ～ ASP.NETアプリケーションを事例として ～ ○小形真平（信州大）・青木善貴（芝浦工大）・谷沢智史（ボイスリサーチ）・松浦佐江子（芝浦工大） KBSE2014-42 |
ソフトウェア開発において，要求仕様書とソースコードの対応関係を保持することは容易ではなく，最終的にソースコードが要求仕様... [more] | KBSE2014-42 pp.19-24 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2014-07-10 13:10 |
北海道 | 富良野文化会館 (北海道) | GUIビルダによるスマートフォンアプリケーション向けモデル駆動開発手法 ○松井浩司・松浦佐江子（芝浦工大） SS2014-12 KBSE2014-15 |
[more] | SS2014-12 KBSE2014-15 pp.63-68 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2014-07-10 13:40 |
北海道 | 富良野文化会館 (北海道) | 擬似マルウェア体験によるAndroidパーミッションと脅威の関係の学習 ○加藤 真・松浦佐江子（芝浦工大） SS2014-13 KBSE2014-16 |
近年Androidを対象としたマルウェアは増加している．Androidにおけるマルウェアの多くは要求するパーミッションの... [more] | SS2014-13 KBSE2014-16 pp.69-74 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2014-07-10 15:20 |
北海道 | 富良野文化会館 (北海道) | 反例からの検査式自動生成による不具合原因特定支援 ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） SS2014-16 KBSE2014-19 |
モデル検査はシステムの振る舞いを検証するためには有効な技術である．我々はモデル検査技術を利用して仕様書とソースコードの振... [more] | SS2014-16 KBSE2014-19 pp.87-92 |
| KBSE | 2014-05-30 13:45 |
神奈川 | 慶応義塾大学，日吉キャンパス（来往舎） (神奈川県) | 企業内でのモデル検査ツールの利用と普及 ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） KBSE2014-9 |
モデル検査はシステムの振る舞いを検査するのには優れた手法である．しかし，モデル検査の知識を持たない要員が検査モデルを作成... [more] | KBSE2014-9 pp.47-52 |
| KBSE | 2014-03-06 10:35 |
沖縄 | 沖縄県青年会館 (沖縄県) | モデル検査における反例解析容易化支援 ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） KBSE2013-79 |
[more] | KBSE2013-79 pp.1-6 |
| KBSE | 2014-01-28 15:00 |
東京 | 機械振興会館 (東京都) | コモンクライテリアを用いたモデル駆動セキュリティ要求分析手法の変更容易性に関する評価 ○野呂 惇・松浦佐江子（芝浦工大） KBSE2013-78 |
システムの要求分析において，アクセス制御に関する要求は機能要求であると同時にセキュリティ要求であるため，双方の要求間の関... [more] | KBSE2013-78 pp.77-82 |
| SS, KBSE (共催) |
2013-07-26 11:10 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） (北海道) | 初学者を対象としたユースケース記述の自動評価による学習支援 ○松井駿介・野呂 惇・岡田康治・加藤 真・渡辺大貴・松浦佐江子（芝浦工大） SS2013-26 KBSE2013-26 |
ユースケース記述は一般にテンプレートとして記述項目は定まっているが，記述は非形式的である．そのため，機能要求を分析できて... [more] | SS2013-26 KBSE2013-26 pp.79-84 |
| SS, KBSE (共催) |
2013-07-26 13:10 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） (北海道) | モデル検査技術の開発現場への適用 ～ 仕様とソースコードの齟齬の発見 ～ ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） SS2013-28 KBSE2013-28 |
開発現場では不十分な要件定義や実装時のミス・誤解等により人手では発見困難な不具合が発生する.担当する要員により原因特定に... [more] | SS2013-28 KBSE2013-28 pp.91-96 |
| SS, KBSE (共催) |
2013-07-26 13:40 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） (北海道) | UML要求分析モデルへのモデル検査技術適用による実現可能性の検証 ○青木善貴（日本ユニシス）・小形真平（信州大）・松浦佐江子（芝浦工大） SS2013-29 KBSE2013-29 |
高品質なソフトウェアを開発するためには，顧客による妥当性が確認された要求仕様を少ない手戻りで実装できるように，要求仕様の... [more] | SS2013-29 KBSE2013-29 pp.97-102 |
| KBSE | 2013-05-30 13:45 |
神奈川 | 慶應義塾大学 (神奈川県) | メソッドとフィールドの関係を用いたアンチパターン特定手法 ○渡辺大貴・松浦佐江子（芝浦工大） KBSE2013-1 |
ソフトウェア開発では仕様変更が繰り返されることにより，コードの複雑度が増大し，変更箇所の特定が困難になることが多い．その... [more] | KBSE2013-1 pp.1-6 |
| KBSE | 2013-03-14 10:05 |
東京 | 芝浦工業大学 (東京都) | 開発現場を想定したモデル検査に基づくプログラムの不具合検証 ～ 検査支援ツールを用いた安定的な検査 ～ ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） KBSE2012-69 |
開発現場では不十分な要件定義や実装時のミス・誤解等により人手では発見困難な不具合が発生する.担当する要員により原因特定に... [more] | KBSE2012-69 pp.1-6 |
| KBSE | 2013-03-14 14:45 |
東京 | 芝浦工業大学 (東京都) | 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法 ○式見 遼（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大） KBSE2012-75 |
システム開発においてプロジェクトを遅延なく成功させるために重要なことは，要求分析フェーズにおいて，「顧客と開発者との間で... [more] | KBSE2012-75 pp.37-42 |
| KBSE | 2012-11-22 14:40 |
石川 | 金沢大学 (角間キャンパス) (石川県) | ユースケース記述の意図の明確化を目的とした初学者特有の問題点の分析 ○奥田博隆・松井駿介・式見 遼・野呂 惇・岡田康治（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大） KBSE2012-45 |
ユースケース分析はシステムに対する機能要求をユーザとシステムのやり取りとして明確に定義する有効な手段である。ユースケース... [more] | KBSE2012-45 pp.43-48 |
[研究会発表申込システムのトップページに戻る]