@techreport{weko_68336_1, author = "加藤,大地 and 沢田,篤史 and 張,漢明 and 野呂,昌満", title = "組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察", year = "2010", institution = "南山大学大学院数理情報研究科, 南山大学数理情報学部, 南山大学数理情報学部, 南山大学数理情報学部", number = "25", month = "mar" }