@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00144901,
 author = {市川, 杏子 and 紫合, 治 and Kyoko, Ichikawa and Osamu, Shigo},
 book = {ソフトウェアエンジニアリングシンポジウム2015論文集},
 month = {Aug},
 note = {組み込みシステムの開発において，開発者は，システムの仕様を満たすのみならず，それらの持つ外部環境についてももれなく把握しておく必要がある．本稿では，プロブレムフレームの考え方を用いて，ドメインプロパティと要求から，システムの仕様の状態マシンを自動的に生成する手法を提案する．また，提案手法に基づいた，状態マシン仕様の設計支援システムを開発した．, In development of embedded system, developers have to not only prevent the specifications of the system, but also comprehend things which are affected by the system. This paper proposes the method of creating the state machine design automatically from domain property and requirement. In addition, it develops state machine design support system based on the method.},
 pages = {91--98},
 publisher = {情報処理学会},
 title = {プロブレムフレームに基づく状態マシン仕様の設計支援システム},
 volume = {2015},
 year = {2015}
}