VDMで仕様書の同じ機能の異なる言い回しの記述を改善している例はありますか? 私は.NETで画面を作っています。 例えば、文字列[AB]の[AB]を[CD]にを置き換える処理を 画面Aの仕様書では、「文字列の[AB]を[CD]に置換する」 画面Bの仕様書では、「文字列の上桁の[A]を[C]に、下桁の[B]を[D]に置換する」 上記の置換処理は、同じ機能を異なる言い回しで記述しています。このように、仕様書に異なる言い回しで、同じ処理を記述している内容を抽出し、整理したいです。それを改善するVDMの記述例、他によい手法があれば、教えていただきたいです。 VDMで仕様書の同じ機能の異なる言い回しの記述を改善している例はありますか? 私は.NETで画面を作っています。 例えば、文字列[AB]の[AB]を[CD]にを置き換える処理を 画面Aの仕様書では、「文字列の[AB]を[CD]に置換する」 画面Bの仕様書では、「文字列の上桁の[A]を[C]に、下桁の[B]を[D]に置換する」 上記の置換処理は、同じ機能を異なる言い回しで記述しています。このように、仕様書に異なる言い回しで、同じ処理を記述している内容を抽出し、整理したいです。それを改善するVDMの記述例、他によい手法があれば、教えていただきたいです。
↧