【主要内容】 本書は、「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書である。本書においては、情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。また、この本は、2007年に刊行された「形式手法モデル理論アプローチ－情報システム開発の基礎－」の改訂第２版で、「モデル編」と「実践編」の２分冊となっている。一方のみを読むことも可能だが、２冊を併せて読むことで、より効果的に学習できるように構成されている。
【主要目次】 第５章 システム開発環境を実現する 第６章 問題解決システムを開発する 第７章 業務処理システムを開発する 第８章 シミュレーションシステムを開発する