形式手法入門 −ロジックによるソフトウェア設計−

初歩から実務に役立つレベルまで学べる形式手法の解説書

このような方におすすめ

・コンピュータのシステム設計者、ソフトウェアプログラマなどの実務者
・情報系の大学学部・院生、専修学校生
  • 著者中島 震 著
  • 定価3,080 (本体2,800 円+税)
  • A5 228頁 2012/04発行
  • ISBN978-4-274-21188-1
  • 定価
  • ポイント0
  • 数量

  • SOLD OUT

※本体価格は変更される場合があります。
※通常2〜3営業日以内で発送いたします。
※取寄が可能な場合もございますのでお問合せください。

  • 概要
  • 主要目次
  • 詳細目次

 プログラム記述は年々進化する情報技術に伴い複雑化し、曖昧さも多くなって取り扱いが慎重にならざるを得ません。その複雑な構造を数理理論に基づく論理構造で構築する形式手法を用いることによって、曖昧さのないプログラム記述が可能になります。本書は、その形式手法について基礎から実務レベルのプログラミングまでを解説するものです。大学初年度の基礎的な数学、プログラミングの知識があれば読み進められます。

https://www.ohmsha.co.jp/book/9784274211881/
1章 論理で考える
2章 指先で考える
3章 機能仕様を論理で考える
4章 リファインメントを検査する
5章 オブジェクト指向デザインを検査する
6章 振る舞い仕様を検査する
7章 プログラム検査を論理で考える
付録A モデル規範形式手法の流れ