紹介文 :
仕様というソフトウェアの核となる成果物の品質向上については，様々なアプローチが議論されています．このため，それぞれの特徴や役割分担を明確に踏まえ，問題に応じて選択し，組み合わせ活用することが重要です．本論文は，形式仕様記述手法と要求記述手法に関し，以前の位置づけ整理を踏まえ，具体的な手法確立に向けた試行を行っています．