【主要内容】 形式手法（Formal Methods）は、1970年代から始められたソフトウェア開発手法の一つで、システムの大規模化・複雑化から、上流工程での品質改善手段として日本でも最近注目を集めるようになりました。また、海外では規格・標準において形式手法を推奨もしくは必須とするものが現れ、日本企業も真剣に取り組まざるを得ない状況になってきました。モデル理論はアプローチ（Model Theory Approach）は、システム開発に対する形式手法の一つで、従来の開発方法と比較すると、１．開発時間の短縮、２．開発コストの削減、３．システムの信頼性向上が期待されます。本書は、このモデル理論アプローチと高校２年生レベルの数学の知識を使い、システムエンジニアの専門家にとって中核となる情報システム開発の基礎をわかりやすく解説します。
【主要目次】 序章 モデル理論アプローチとは何か 第１章 論理的に考える 第２章 集合で記述する 第３章 オートマトンでモデル化する 第４章 コンピュータ可読に表現する 第５章 問題解決システムを開発する 第６章 業務処理システムを開発する 第７章 システムの開発環境