形式手法入門講座
コース名
形式手法入門講座
コース概要
本講座では、例題を用いながら、形式手法の種類と各々における形式化の考え方を理解していただきます。また、形式検証・証明の目的、実施概要や形式手法における段階的洗練の考え方、オブジェクト指向と形式手法の各特長、相互補完の考え方も合わせて学んでいきます。
本講座は、形式手法とは何かを知りたい方にとって最適なコースとなっています。
日数
1日間〜2日間
時間
10:00 〜 17:00
受講料（税込）
525,000円 〜 1,050,000円 ※受講者数制限なし＋資料代 （20名を超える場合のみ 受講者数×2,100円
対象者
- 形式手法に関心のある方
前提条件
- 特になし。
到達目標
- 形式手法の種類と各々における形式化の考え方を体得し、人に説明できる。
- 形式検証・証明の目的、実施概要を体得し、人に説明できる。
- 形式手法における段階的洗練の考え方を人に説明できる。
- オブジェクト指向と形式手法の各特長、相互補完の考え方・現状を人に説明できる。
講師より
我々は、ソフトウェアエンジニアであれば形式手法は勉強すべき
or 勉強する価値のあるものと考えています。形式手法は、VDM++やZ++といった名前からも推察できるように、オブジェクト指向と相互補完的です。また形式手法の考え方は、一般の仕様作成でも大いに参考になり、仕様の質を向上させてくれるはずです。そしてなにより形式手法はとても楽しいものです。
形式手法に関心をお持ちの方、豆蔵の講座で形式手法の扉を開けてみませんか！
内容
１．はじめに
２． 形式手法概観
３． 集合や関数の基本知識
４． 形式仕様記述
５． 形式検証・証明
６． 段階的な詳細化
７． モデル検査
８． 形式手法の適用事例
９． LFM（Light Formal Methods）
１０． 形式手法の活用に向けて