記事一覧 品質向上技術解説: いまさら聞けない 形式手法入門 ソフトウェアの品質向上手段として注目されている形式手法。今回は、厳密な仕様定義を目的とした「形式仕様記述」を中心に、分かりやすく解説する (2007年1月19日)
品質向上技術解説: いまさら聞けない 形式手法入門 ソフトウェアの品質向上手段として注目されている形式手法。今回は、厳密な仕様定義を目的とした「形式仕様記述」を中心に、分かりやすく解説する (2007年1月19日)