@techreport{oai:ipsj.ixsq.nii.ac.jp:00022182,
 author = {平山, 雅之 and 岡安, 二郎 and 深谷, 哲司 and 三原, 幸博 and Masayuki, Hirayama and Jiro, Okayasu and Tetsuji, Fukaya and Yukihiro, Mihara},
 issue = {38(1992-SE-085)},
 month = {May},
 note = {ソフトウェアの仕様記述技法、部品化・再利用技術については、様々な技法が提案されている。本報告では、対象を製品組み込み型マイコン・ソフトウェアに特化して、これらの技術を統合化し、ソフトウェア開発作業を一貫して支援する分野指向　CASE　IDSS?μ　システムの要素技術について報告する。このIDSS?μシステムは、形式的仕様記述、オブジェクト指向部品等を核として、製品の動作仕様定義から部品合成、および仕様検証、システム試験までを支援し、従来の汎用CASEに比べ、より高度な支援を実現している。また、本報告では、このIDSS?μ　システムを実際の製品開発に適用した際の効果等についても考察を加えた。, About software specification description method or composing technique, many proposals are discussed in recent years. In this paper, we focus on small scale control software embedded in micro-computer and propose software composing technique. We have developed IDSS system which supports software integration from specification to composing, or testing. This IDSS system applies formal specification technique and object oriented software components. And this system enables higher support for software developments than ever been. Moreover, we shows evaluation results of our adaptation experiments.},
 title = {状態遷移モデルに基づくソフトウェア合成方式の評価},
 year = {1992}
}