@article{oai:nagoya.repo.nii.ac.jp:00021623,
 author = {山本, 修一郎 and Yamamoto, Shuichiro},
 issue = {215},
 journal = {電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学},
 month = {Sep},
 note = {Jacobsonらによる理論に裏打ちされた実践的なソフトウェア開発方式SEMAT(Software Engineering Method and Theory)が,現代のソフトウェア工学の課題を解決する方法として注目されている.しかし,具体的な有効性については明確ではなかった.本稿では,SEMATと保証ケースの関係について考察する., Although SEMAT( Software Engineering Method and Theory) has been attracted to solve modern Software Engineering issues, the effectiveness of the method was not sufficiently clear. In this paper, the relationship between SEMAT and dependability cases is considered., IEICE Technical Report;KBSE2013-46},
 pages = {59--64},
 title = {SEMATと保証ケースの関係についての考察},
 volume = {113},
 year = {2013}
}