形式手法超入門講座

本講座は形式手法の入門講座の一つで、特に組込みシステム開発の現場の方を対象に、形式手法って何？何の役に立つの？という疑問にお応えするのを目的としています。

内容の中心となるのは、

【1】形式手法を構成する基礎概念（ex.仕様）
【2】開発のライフサイクルに沿った形式手法適用に関する説明の部分　です。

【1】では、数式は一切使わず（故に”超”入門）、それらの本質を理解していただけるよう、また【2】では、一般のエンジニアリングの流れも踏まえ工程ごとに、現場の視点から形式手法を使った場合の変化点、並びに効果を理解していただけるよう、工夫してあります。

”小難しく”なく、実践的に形式手法とは何かを知りたい、といった方にとって最適な講座となっています。また、推進者の方々には、組織で形式手法の裾野を広げるのに大いにご活用いただけるものと思います。

弊社では本講座とは別に、形式手法入門講座も持っています。こちらの講座は、形式手法を、概念的にではなく、具体的に体感、理解してもらいたいということで、集合や関数の基本から始め、講義終了後は、基本的なものであれば実際の仕様も読めるようになるような講座となっています。また主要な手法は全てカバーするようにし、各々の重要な理論面もとりあげています。

もともと形式手法や数理的な世界に関心がある人にとっては、形式手法入門講座は最適な講座だといえますが、とっかかりとしては、数式がいっぱい登場するこの講座は、敷居が高いようです。
それを受けて開発したのが本講座です。本講座の特徴は概要にある通りです。形式手法入門講座でも書きましたが、我々は、ソフトウェアエンジニアであれば形式手法は勉強すべき or 勉強する価値のあるものと考えています。是非、多くの人にご活用いただければと思います。