VDM、SPINから始める形式手法入門 | 開発深知ブログソフトウェア開発者のための学習サイト「開発深知」のおすすめ講義を紹介します。 開発深知の会員登録方法（無料）はこちら。 開発深知登録方法について |ソフトウェア開発者のための学習サイト「開発深知」のおすすめ講義を紹介します。 開発深知の会員登録方法（無料）はこちら。 開発深知登録方法について | 開発深知ブログ VDM、SPINから始める形式手法入門の講義概要 近年、ソフトウェア開発における効率的な信頼性向上のためのアプローチとして、形式手法が注目され話題になっています。 「形式手法」とはアプローチの総称であり、実際の活用においては多様な手法・ツールから問題に適したものを選び、その活用方針を議論し定める必要があります。 本講義では形式手法の概要からツールの使い方などについて解説していきます。 ※本講義はトップエスイー教育センターのセミナーを撮影、編集したものです。 講義は、こちらから登
