| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, DC (共催) |
2023-10-11 14:55 |
長野 | 信州大学工学部（長野市） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ソフトウェア要求仕様書からのCausal Component Model作成のための自動抽出手法の比較 ○二ノ宮健来・大戸柾之介・高岡俊希・小形真平・岡野浩三（信州大）  SS2023-22 DC2023-28 |
ソフトウェア開発において，ソフトウェアの要求を自然言語で記述された要求仕様書を用いて開発が進められる．しかし，自然語の記... [more] | SS2023-22 DC2023-28 pp.7-12 |
| SS | 2023-03-14 11:00 |
沖縄 | 名護市産業支援センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
データ依存関係を用いた要求仕様書中の欠落の検出法 ○広岡伸之甫・佐伯元司（南山大） SS2022-47 |
要求仕様書は自然言語で記述されることが多く，曖昧な要求，矛盾を含む要求，要求の欠落などが含まれていることが多い．要求仕様... [more] | SS2022-47 pp.1-6 |
| DC, SS (共催) |
2018-10-05 10:00 |
愛知 | 犬山国際観光センター「フロイデ」 | 組込みシステムの要求仕様書を対象とした状態遷移モデル作成支援 ○中村 成・山本椋太・吉田則裕・高田広章（名大） SS2018-22 DC2018-23 |
要求仕様書は多くの場合，自然言語で記述される．そのため，目視による確認では発見できない記述漏れや不整合が存在しうる． ... [more] |
SS2018-22 DC2018-23 pp.25-30 |
| SS | 2015-03-09 09:30 |
沖縄 | 沖縄県青年会館 | 構成子に基づく順序ソートパラメータ化仕様の十分完全性について ○中村正樹（富山県立大）・ガイナ ダニエル ミルチェア・緒方和博・二木厚吉（北陸先端大） SS2014-55 |
代数仕様言語CafeOBJでは，構成子に基づく順序ソート(CBOS)代数をモデルに持つ仕様を記述できる．また，パラメータ... [more] | SS2014-55 pp.1-6 |
| SWIM | 2011-11-18 10:30 |
東京 | 東海大学 高輪キャンパス | 上流設計からモデル検査プロセスまでの一貫設計検証環境 ～ UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法 ～ ○宮本直樹・和崎克己（信州大） SWIM2011-19 |
SPIN モデル検査器を実行するには，専用の仕様記述言語 PROMELA で対象モデルを記述する．また，検査対象の仕様の... [more] | SWIM2011-19 pp.7-12 |
| KBSE | 2005-07-25 15:30 |
愛媛 | 愛媛大学総合情報メディアセンター会議室 | SPINによる仕様記述言語の検証 ○堂園隼人・橋本正明・鵜林尚靖・片峯恵一（九工大） |
本稿では，ソフトウェア仕様設定の信頼性向上のため，仕様記述言語e-PSDLを用いて記述された仕様から状態遷移図を抽出し，... [more] | KBSE2005-8 pp.19-24 |
[研究会発表申込システムのトップページに戻る]