@techreport{oai:ipsj.ixsq.nii.ac.jp:00157992,
 author = {市川, 杏子 and 紫合, 治 and Kyoko, Ichikawa and Osamu, Shigo},
 issue = {10},
 month = {Mar},
 note = {組み込みシステムの開発において，開発者はシステムの仕様を満たすだけでなく，それらの持つ外部環境についてもれなく把握しておく必要がある．本論文では，開発者への開発支援のために，プロブレムフレームの考え方を用いて，ドメインプロパティと要求を合成することで，開発するシステムの仕様を状態マシンとして自動的に生成する手法を提案する．, In development of embedded systems, developers have to not only meet the specifications of the system, but also comprehend all things of the environment which affect the system. This paper proposes the method of automatically synthesizing the state machine specification which consists of all possible transitions.},
 title = {プロブレムフレームに基づく状態マシン仕様の自動生成について},
 year = {2016}
}