お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 47件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
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
 47件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会