授業パッケージ「VDM、SPINから始める形式手法入門」を公開

By admin On 2012年2月1日 · Leave a Comment

VDM、SPINから始める形式手法入門を授業パッケージとしてまとめました。
本授業パッケージでは、ソフトウェア開発における効率的な信頼性向上のためのアプローチである形式手法について、VDMやSPIN等のツールを用いて学んで行きます。
※期間限定公開です。