@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00112693,
 author = {小川, 秀人 and 市井, 誠 and 新原, 敦介 and 鈴木, 康文 and Phan, Thi Thanh Huyen and 坂井田, 真也 and Hideto, Ogawa and Makoto, Ichii and Daisuke, Shimbara and Yasufumi, Suzuki and Phan, Thi Thanh Huyen and Shinya, Sakaida},
 book = {ウィンターワークショップ2015・イン・宜野湾 論文集},
 month = {Jan},
 note = {ソフトウェア開発での形式手法の活用が期待されている．活用事例が多く報告されているが，ソフトウェア開発に形式手法が受け入れられているとは言い難い．本稿では，モデルの断面という観点でソフトウェア開発と形式手法の相違について考察し，この差異を埋めることで形式手法の利用が促進すると考える．この考え方に基づき，プログラム解析をベースとした形式手法の活用事例を説明する．, 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.},
 pages = {43--44},
 publisher = {情報処理学会},
 title = {形式手法のソフトウェア開発利用の課題と事例},
 volume = {2015},
 year = {2015}
}