| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2010-08-02 14:25 |
石川 | 金沢学院大 サテライト教室 | OTS/CafeOBJ法に基づく並行システムの実装とテスト生成 ○清野貴博（産総研）・中村正樹（金沢大）  CST2010-33 |
形式仕様によるシステムの記述と、プログラミング言語によるソフトウェアの実装には隔たりがあるが、これを克服するために、筆者... [more] | CST2010-33 pp.7-12 |
| KBSE | 2008-11-28 10:00 |
福岡 | 福岡工業大学 | アクタ関係行列によるVDM-SLを用いた仕様記述法の検討 井部己文（NTTデータ/九大）・○生田裕樹（九大）・山本修一郎（NTTデータ） KBSE2008-30 |
形式仕様記述が要求の追加・変更に柔軟に対応するためには要求と仕様記述との対応関係を明確にすることが重要である。本稿では要... [more] | KBSE2008-30 pp.43-48 |
| SS | 2007-10-22 15:45 |
宮城 | 宮城大学 | 組込みシステムの外部環境に着目した動作仕様検証 ○金川太俊・瀬戸敏喜・谷口 奨・吉田 純・鵜林尚靖（九工大）・鷲見 毅・平山雅之（東芝） SS2007-32 |
組込みシステムの多くはセンサやアクチュエータを通して外部のコンテキストから影響を受ける．そこで我々はそれらの影響を分析す... [more] | SS2007-32 pp.13-18 |
| SS | 2007-06-22 11:45 |
石川 | 北陸先端科学技術大学院大学 | ドメインの形式記述と検証 ○有本泰仁・二木厚吉（北陸先端大） SS2007-15 |
本稿では，OTS/CafeOBJ Methodによるドメインの形式記述とその検証についての方法を提案する． システム開... [more] |
SS2007-15 pp.35-40 |
| SS, KBSE (共催) |
2007-04-19 15:00 |
福島 | 会津大学 | 自治体EAへの形式手法適用の試み ○清野貴博・高木 理・竹内 泉・高橋孝一・和泉憲明（産総研） SS2007-2 KBSE2007-2 |
産総研では，独立行政法人化中期計画の最終成果として，総務省主導の自治体EAに基づき，業務およびイントラシステムの最適化を... [more] | SS2007-2 KBSE2007-2 pp.7-12 |
| SS | 2005-12-20 14:00 |
高知 | 高知女子大 | 形式仕様記述における階層アーキテクチャ ○張 暁晶・大森洋一・荒木啓二郎（九大） |
ソフトウェア・プロダクトラインという手法を用いると，ファミリー製品の共通部を抽出するため，ある製品の仕様が少ない変更で同... [more] | SS2005-70 pp.43-48 |
[研究会発表申込システムのトップページに戻る]