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

概要：

本研究では， USDM 形式の仕様に対して， VDM を用いて仕様の厳密性を高める場合に，その前段階として，モデリングの観点を観点一式(ラベルセット)として対応づけることが，仕様の不具合の早期発見につながることを示す．また，実験の手順をまとめ，複数人の開発体制で VDM と USDM を組み合わせて使う場合の手順について提案する．