WEKO3
アイテム
ツールを使用した形式仕様作成の事例研究
https://ipsj.ixsq.nii.ac.jp/records/81074
https://ipsj.ixsq.nii.ac.jp/records/81074a88c0a60-e969-4afe-a75c-ffe76915f7c7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE12175008.pdf (538.5 kB)
|
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-03-08 | |||||||
| タイトル | ||||||||
| タイトル | ツールを使用した形式仕様作成の事例研究 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | The Case Study of Creation of the Formal Model Which Uses a Tool | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 形式手法・設計 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 九州大学工学部電気情報工学科 | ||||||||
| 著者所属 | ||||||||
| 九州大学大学院システム情報科学研究院 | ||||||||
| 著者所属 | ||||||||
| 九州大学大学院システム情報科学研究院 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Electorical Engineering and Computer Science, School of Engineering, Kyushu University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Information Science and Electrical Engineering, Kyushu University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Information Science and Electrical Engineering, Kyushu University | ||||||||
| 著者名 |
井上, 心太
× 井上, 心太
|
|||||||
| 著者名(英) |
Shinta, Inoue
× Shinta, Inoue
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 形式手法を用いて仕様を厳密に記述することで，上流工程からソフトウェアの品質を向上できる．しかし，自然言語記述から形式仕様への変換は，その記述体系の相違から容易ではない．本研究では，自然言語記述から形式仕様への変換を補助するドメイン辞書管理ツールを用いた形式仕様への変換手順を提案する．本稿では，組み込みシステムの仕様書に対して実施した開発の事例研究の内容を示す．開発の結果，モデルの抽象度の設定の問題やクラス構成の抽出方法の問題が発見された．開発で発生した問題から自然言語記述の形式仕様への変換の手順の改良，およびツールの使用法を考察する． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The software quality can be improved from the early stage of software development by strictly description of the specification using Formal Method. However, the conversion to formal model from natural language description is not easy from a difference of the description system. In this research, the conversion procedure to the formal model is proposed, using the domain dictionary management tool with which the conversion to formal model from natural language description is assisted. This paper shows the details of the case study of development which is carried out to the specification of an embedded system are shown. The problem of a setup of the degree of abstraction of the formal model and the problem of the extraction method of class composition have been discovered as a result of development. Improvement of the procedure of the conversion to the formal model of natural language description and the directions of a tool are considered from the problem which occurred in development. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2012-SE-175, 号 8, p. 1-8, 発行日 2012-03-08 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
