形式手法モデル理論アプローチ　情報システム開発の基礎　実践編「第２版」

「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。２００７年に刊行された『形式手法モデル理論アプローチ―情報システム開発の基礎』の改訂第２版。

目次

第５章　システム開発環境を実現する（言語ＣＡＳＴ（Ｃｏｍｐｕｔｅｒ　Ａｃｃｅｐｔａｂｌｅ　Ｓｅｔ　Ｔｈｅｏｒｙ）
言語ＣＡＳＴの解説およびＭＴＡ‐ＳＤＫの所在
開発実行環境の入手と設置
ＭＴＡ‐ＳＤＫクイックスタート
システム開発環境の操作）
第６章　問題解決システムを開発する（問題解決システム
狼、山羊、キャベツの川渡し問題
水差し問題
巡回セールスマン問題）
第７章　業務処理システムを開発する（業務処理システム
業務処理システムのモデル
業務処理システムの開発
開発例１：書店売掛管理システム
開発例２：酒問屋のシステム）
第８章　シミュレーションシステムを開発する（価格調整システムのシミュレーション
二体力学系のシミュレーション
モデリングの基礎）

本の帯に関して

帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。

版・表紙について

版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。