VDM、SPINから始める形式手法入門 その4を公開

VDM、SPINから始める形式手法入門 その4を公開いたしました。
本講義では、ソフトウェア開発における効率的な信頼性向上のためのアプローチである形式手法について、VDMやSPIN等のツールを用いて学んで行きます。
　
その４では、例題を元に、VDM++記述の構造、抽象モデル化や正しさ、型定義、インスタンス変数定義、コンストラクタ定義等について解説していきます。

図表１：VDM、SPINから始める形式手法入門 その4

※このビデオは、2011年8月8日(月)に行われました、トップエスイー教育センターセミナーを撮影、編集したものです。本ビデオは、1日目の講義の前半です。詳しくは下記をご覧ください。
http://www.topse.or.jp/docs/?q=node/27

edubase Mobile

iPhone版
Android版

トップエスイーチャンネル

トップエスイーチャンネルではソフトウェア工学に関する最先端の授業を公開しています。
ぜひ、ご覧下さい。

Post Footer automatically generated by Add Post Footer Plugin for wordpress.