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

著者

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

書誌事項

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

高原康彦 [ほか] 著

日科技連出版社, 2007.11

タイトル読み

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

注記

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

参考文献: 章末

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA84142533
• ISBN:
  • 9784817192455
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xvii, 314p
• 大きさ: 21cm
• 分類:
  • NDC8 : 007.61
  • NDC9 : 007.61
  • NDC9 : 509.6
• 件名:
  • BSH : システム設計
  • NDLSH : システム工学