仕様変更はいつか止まる
🕒
🔗
元記事を見る
カテゴリ
IT・ネットシステム設計において、要求が変わり続ける間はフォーマルメソッドは使いにくいが、仕様が安定した後には高い堅牢性を保証する重要な手段になるという議論。
システム設計において、要求が変わり続ける間はフォーマルメソッドは使いにくいが、仕様が安定した後には高い堅牢性を保証する重要な手段になるという議論。