形式手法モデル理論アプローチ : 情報システム開発の基礎

Author(s)

• 高原, 康彦 ( 経営工学) タカハラ, ヤスヒコ
• 齋藤, 敏雄 サイトウ, トシオ
• 旭, 貴朗 アサヒ, タカオ
• 柴, 直樹 シバ, ナオキ

Bibliographic Information

形式手法モデル理論アプローチ : 情報システム開発の基礎

高原康彦 [ほか] 著

日科技連出版社, 2007.11

Title Transcription

ケイシキ シュホウ モデル リロン アプローチ : ジョウホウ システム カイハツ ノ キソ

Note

その他の著者: 齋藤敏雄, 旭貴朗, 柴直樹

参考文献: 章末

Description and Table of Contents

Description

モデル理論アプローチと高校２年生レベルの数学の知識を使い、システムエンジニアの専門家にとって中核となる情報システム開発の基礎をわかりやすく解説。

Table of Contents

• 序章　モデル理論アプローチとは何か
• 第１章　論理的に考える
• 第２章　集合で記述する
• 第３章　オートマトンでモデル化する
• 第４章　コンピュータ可読に表現する
• 第５章　問題解決システムを開発する
• 第６章　業務処理システムを開発する
• 第７章　システムの開発環境

by "BOOK database"

• NCID: BA84142533
• ISBN:
  • 9784817192455
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: xvii, 314p
• Size: 21cm
• Classification:
  • NDC8 : 007.61
  • NDC9 : 007.61
  • NDC9 : 509.6
• Subject Headings:
  • BSH : システム設計
  • NDLSH : システム工学