| 講演名 | 2013/3/6 アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013) 張 漢明, 野呂 昌満, 沢田 篤史, 吉田 敦, 蜂巣 吉成, 横森 励士, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本研究の目的はソフトウェアアーキテクチャを中心とした実践的な記述法と検証法を確立することである.振舞い仕様と機能仕様及び詳細化関係に着目して,既存のモデル検査とテスティング技術を適切に適用するための検証モデルを提示する.本稿では単純な自動販売機を事例として,アーキテクチャ段階における仕様記述と検証例を示す.本検証モデルは,ソフトウェア開発者がアーキテクチャを記述及び検証するさいの実践的な指針となることを目指す. |
| 抄録(英) | We aim to establish practical specification and verification methods for architecture oriented software development. We pay attention to behavioral specifications, functional specifications and refinement relations, and propose verification models in order to apply existing model checking and testing technologies to the development systematically. In this paper, architectural specifications and verifications of a simple vending machine are presented as a case study. The verification models will be used as practical guidelines for architectural specifications and verifications. |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | Vol.2013-SLDM-160 No.11,Vol.2013-EMB-28 No.11 |
| 発行日 |
| 研究会情報 | |
| 研究会 | DC |
|---|---|
| 開催期間 | 2013/3/6(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Dependable Computing (DC) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013) |
| サブタイトル（和） | |
| タイトル（英） | A Discussion of Applying Formal Methods to Architecture Oriented Development |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 張 漢明 / HAN-MYUNG CHANG |
| 第 1 著者 所属（和/英） | 南山大学情報理工学部ソフトウェア工学科 |
| 第 2 著者 氏名（和/英） | 野呂 昌満 / MASAMI NORO |
| 第 2 著者 所属（和/英） | 南山大学情報理工学部ソフトウェア工学科 |
| 第 3 著者 氏名（和/英） | 沢田 篤史 / ATSUSHI SAWADA |
| 第 3 著者 所属（和/英） | 南山大学情報理工学部ソフトウェア工学科 |
| 第 4 著者 氏名（和/英） | 吉田 敦 / ATSUSHI YOSHIDA |
| 第 4 著者 所属（和/英） | 南山大学情報理工学部ソフトウェア工学科 |
| 第 5 著者 氏名（和/英） | 蜂巣 吉成 / YOSHINARI HACHISU |
| 第 5 著者 所属（和/英） | 南山大学情報理工学部ソフトウェア工学科 |
| 第 6 著者 氏名（和/英） | 横森 励士 / REISHI YOKOMORI |
| 第 6 著者 所属（和/英） | 南山大学情報理工学部ソフトウェア工学科 |
| 発表年月日 | 2013/3/6 |
| 資料番号 | Vol.2013-SLDM-160 No.11,Vol.2013-EMB-28 No.11 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 482 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |