WEKO3
-
RootNode
アイテム
アーキテクチャ指向開発における形式手法の適用に関する考察
https://ipsj.ixsq.nii.ac.jp/records/90665
https://ipsj.ixsq.nii.ac.jp/records/906654d7d8011-89cf-4bda-b39e-0900762c0c9d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-EMB13028011.pdf (898.0 kB)
|
Copyright (c) 2013 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2013-03-06 | |||||||
| タイトル | ||||||||
| タイトル | アーキテクチャ指向開発における形式手法の適用に関する考察 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Discussion of Applying Formal Methods to Architecture Oriented Development | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 組込みソフトウェア開発 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 南山大学情報理工学部ソフトウェア工学科 | ||||||||
| 著者所属 | ||||||||
| 南山大学情報理工学部ソフトウェア工学科 | ||||||||
| 著者所属 | ||||||||
| 南山大学情報理工学部ソフトウェア工学科 | ||||||||
| 著者所属 | ||||||||
| 南山大学情報理工学部ソフトウェア工学科 | ||||||||
| 著者所属 | ||||||||
| 南山大学情報理工学部ソフトウェア工学科 | ||||||||
| 著者所属 | ||||||||
| 南山大学情報理工学部ソフトウェア工学科 | ||||||||
| 著者名 |
張, 漢明
野呂, 昌満
沢田, 篤史
吉田, 敦
蜂巣, 吉成
横森, 励士
× 張, 漢明 野呂, 昌満 沢田, 篤史 吉田, 敦 蜂巣, 吉成 横森, 励士
|
|||||||
| 著者名(英) |
Han-myung, Chang
Masami, Noro
Atsushi, Sawada
Atsushi, Yoshida
Yoshinari, Hachisu
Reishi, Yokomori
× Han-myung, Chang Masami, Noro Atsushi, Sawada Atsushi, Yoshida Yoshinari, Hachisu Reishi, Yokomori
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本研究の目的はソフトウェアアーキテクチャを中心とした実践的な記述法と検証法を確立することである．振舞い仕様と機能仕様及び詳細化関係に着目して，既存のモデル検査とテスティング技術を適切に適用するための検証モデルを提示する．本稿では単純な自動販売機を事例として，アーキテクチャ段階における仕様記述と検証例を示す．本検証モデルは，ソフトウェア開発者がアーキテクチャを記述及び検証するさいの実践的な指針となることを目指す． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We aim to establish practical specification and verification methods for architecture oriented soft-ware 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. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA12149313 | |||||||
| 書誌情報 |
研究報告組込みシステム（EMB） 巻 2013-EMB-28, 号 11, p. 1-6, 発行日 2013-03-06 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
