形式手法モデル理論アプローチ 実践編 第２版

情報システム開発の基礎

日科技連出版社
高原康彦　齋藤敏雄　旭貴朗　柴直樹　竹田信夫　高木徹　

• 価格: 2,420円（本体2,200円＋税）
• 発行年月: 2016年02月
• 判型: Ａ５
• ISBN: 9784817195739

内容情報

[BOOKデータベースより]

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

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