サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

【ネットストア】カレンダー全品ポイント最大10倍キャンペーン

インプレス カレンダー・手帳・年賀状素材集 ポイント最大10倍キャンペーン(~12/31)

目次

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

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

  • 高原 康彦(著)/ 齋藤 敏雄(著)/ 旭 貴朗(著)/ 柴 直樹(著)/ 竹田 信夫(著)/ 高木 徹(著)
  • 第5章 システム開発環境を実現する
    • 5.1 言語CAST(Computer Acceptable Set Theory)
    • 5.2 言語CASTの解説およびMTA−SDKの所在
    • 5.3 開発実行環境の入手と設置
    • 5.4 MTA−SDKクイックスタート
    • 5.5 システム開発環境の操作
  • 第6章 問題解決システムを開発する
    • 6.1 問題解決システム
    • 6.2 狼,山羊,キャベツの川渡し問題
    • 6.3 水差し問題
    • 6.4 巡回セールスマン問題
    • 第6章の参考文献
  • 第7章 業務処理システムを開発する
    • 7.1 業務処理システム
    • 7.2 業務処理システムのモデル
    • 7.3 業務処理システムの開発
    • 7.4 開発例1:書店売掛管理システム
    • 7.5 開発例2:酒問屋のシステム
    • 付録
    • 第7章の参考文献
  • 第8章 シミュレーションシステムを開発する
    • 8.1 価格調整システムのシミュレーション
    • 8.2 二体力学系のシミュレーション
    • 8.3 モデリングの基礎
    • 第8章の演習問題の解答例
    • 付録
    • 第8章の参考文献

システム開発・設計 ランキング

システム開発・設計のランキングをご紹介します一覧を見る