いまさら聞けない 形式手法入門：電子ブックレット（組み込み開発）

[＠IT MONOist]

いまさら聞けない 形式手法入門

　アイティメディアがモノづくり分野の読者向けに提供する「MONOist」「EE Times Japan」「EDN Japan」に掲載した主要な記事を、読みやすいPDF形式の電子ブックレットに再編集した「エンジニア電子ブックレット」。

　本日は、MONOist 組み込み開発フォーラムの人気特集「いまさら聞けないシリーズ」より、「いまさら聞けない 形式手法入門」をお届けします。

---

いまさら聞けない 形式手法入門

ソフトウェアの品質向上手段として注目されている形式手法。今回は、厳密な仕様定義を目的とした「形式仕様記述」を中心に、分かりやすく解説する。

電子ブックレットのダウンロードはこちら→いまさら聞けない 形式手法入門

・電子ブックレットはPDFファイルで作成されています。
・電子ブックレットは無償でのご提供となりますが、アイティメディアIDへの登録が必要となります。登録ユーザーではない場合や、登録済みのプロファイルに一部不足がある場合などは、ダウンロードリンクをクリックすると登録画面へジャンプします。
・電子ブックレット内の記事は、基本的に記事掲載時点の情報で記述されています。そのため一部時制や固有名詞などが現状にそぐわない可能性がございますので、ご了承ください。