| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2012-11-23 15:05 |
石川 | 金沢大学 (角間キャンパス) | データライフサイクルの妥当性に着目したモデル検査ツールの自動利用法 ○小形真平（信州大）・谷沢智史・西村一彦（ボイスリサーチ）・青木善貴・奥田博隆・松浦佐江子（芝浦工大）  KBSE2012-56 |
モデル検査技術は，仕様を効率的かつ網羅的に検査する有望な技術である．しかし，開発者が適切にモデルと仕様を書くノウハウや，... [more] | KBSE2012-56 pp.109-114 |
| KBSE | 2012-01-23 16:20 |
東京 | 機械振興会館 | 開発現場を想定したモデル検査に基づくプログラムの欠陥抽出手法 ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） KBSE2011-60 |
[more] | KBSE2011-60 pp.43-48 |
| KBSE | 2011-03-11 15:55 |
大分 | 別府国際コンベンションセンター | モデル検査を用いたプログラムにおける再現性の低い潜在的欠陥の抽出手法 ～ データベースロック問題の検証 ～ ○青木善貴・松浦佐江子（芝浦工大） KBSE2010-60 |
[more] | KBSE2010-60 pp.79-84 |
| KBSE | 2009-11-27 14:10 |
島根 | 島根大学 | ソースコード解析を利用したモデル検査に基づく欠陥抽出手法の提案 ○青木善貴・松浦佐江子（芝浦工大） KBSE2009-44 |
仕様を正しく理解していない開発者により作成されたプログラムは，思わぬ所に不具合が内在し，システム開発に多大な影響を与える... [more] | KBSE2009-44 pp.79-84 |
[研究会発表申込システムのトップページに戻る]