| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2015-03-06 15:25 |
東京 | 電通大(調布, 東3号館) | モデル検査を用いたユースケースモデルに基づくソースコード検証 ～ ASP.NETアプリケーションを事例として ～ ○青木善貴（芝浦工大）・小形真平（信州大）・谷沢智史（ボイスリサーチ）・松浦佐江子（芝浦工大）  KBSE2014-64 |
モデル検査はシステムの振る舞いを検証するためには有効な技術である．我々はモデル検査技術を利用して仕様書とソースコードの振... [more] | KBSE2014-64 pp.71-76 |
[研究会発表申込システムのトップページに戻る]