| Item type |
Symposium(1) |
| 公開日 |
2015-01-15 |
| タイトル |
|
|
タイトル |
形式手法のソフトウェア開発利用の課題と事例 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Lessons learned from Formal Method Applications to Software Development |
| 言語 |
|
|
言語 |
jpn |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
| 著者所属 |
|
|
|
日立製作所 |
| 著者所属 |
|
|
|
日立製作所 |
| 著者所属 |
|
|
|
日立製作所 |
| 著者所属 |
|
|
|
日立製作所 |
| 著者所属 |
|
|
|
日立製作所 |
| 著者所属 |
|
|
|
日立製作所 |
| 著者所属(英) |
|
|
|
en |
|
|
Hitachi Ltd. |
| 著者所属(英) |
|
|
|
en |
|
|
Hitachi Ltd. |
| 著者所属(英) |
|
|
|
en |
|
|
Hitachi Ltd. |
| 著者所属(英) |
|
|
|
en |
|
|
Hitachi Ltd. |
| 著者所属(英) |
|
|
|
en |
|
|
Hitachi Ltd. |
| 著者所属(英) |
|
|
|
en |
|
|
Hitachi Ltd. |
| 著者名 |
小川, 秀人
市井, 誠
新原, 敦介
鈴木, 康文
Phan, Thi Thanh Huyen
坂井田, 真也
|
| 著者名(英) |
Hideto, Ogawa
Makoto, Ichii
Daisuke, Shimbara
Yasufumi, Suzuki
Phan, Thi Thanh Huyen
Shinya, Sakaida
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
ソフトウェア開発での形式手法の活用が期待されている．活用事例が多く報告されているが，ソフトウェア開発に形式手法が受け入れられているとは言い難い．本稿では，モデルの断面という観点でソフトウェア開発と形式手法の相違について考察し，この差異を埋めることで形式手法の利用が促進すると考える．この考え方に基づき，プログラム解析をベースとした形式手法の活用事例を説明する． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
The application of formal methods(FM) to software development is demanded. Although a lot of application examples were reported, FM is not widely used in practice. In this article, the difference between software development and FM will be discussed from a view point of cross sections of their models. Moreover, some applications FM are reported. |
| 書誌情報 |
ウィンターワークショップ2015・イン・宜野湾 論文集
巻 2015,
p. 43-44,
発行日 2015-01-15
|
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-WWS2015022 (288.4 kB)
