オーテピア高知図書館・
高知市民図書館分館・分室
所蔵検索
検索ホーム
詳細検索
資料紹介
各館お知らせ
Myライブラリ
オーテピア高知図書館
ウェブサイトへ
高知市民図書館
分館・分室案内へ
県内図書館横断検索へ
 
よくある質問
 
簡易検索
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
形式手法モデル理論アプローチ 情報システム開発の基礎 実践編 第2版
高原 康彦/著 齋藤 敏雄/著
日科技連出版社 2016.2
予約かごへ
My本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
持禁区分
状態
オーテピア高知図書館
4F書庫
4Y/007.61/ケイ/
1108251818
一般
利用可
ページの先頭へ
館別所蔵
所蔵数
貸出中数
貸出可能数
合計
館名
所蔵数
貸出中数
貸出可能数
オーテピア高知図書館
1
0
1
ページの先頭へ
資料詳細
タイトル
形式手法モデル理論アプローチ 実践編
副書名
情報システム開発の基礎
著者
高原 康彦
/著,
齋藤 敏雄
/著,
旭 貴朗
/著,
柴 直樹
/著,
竹田 信夫
/著,
高木 徹
/著
著者典拠番号
110000588480000
,
110005143240000
,
110005143250000
,
110005143270000
,
110006949190000
,
110006949300000
版表示
第2版
出版者
日科技連出版社
出版地
東京
出版年
2016.2
ページ数
10,147p
大きさ
21cm
言語
日本語
一般件名
システム設計
一般件名典拠番号
510166000000000
NDC分類(9版)
007.61
内容紹介
「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ためのテキスト。実践編は、コンピュータ実装の方法を中心においた実践的な内容を解説。
ISBN
4-8171-9573-9
ISBN13桁
978-4-8171-9573-9
本体価格
¥2200
資料情報1
『形式手法モデル理論アプローチ 情報システム開発の基礎 実践編』第2版 高原 康彦/著, 齋藤 敏雄/著 , 旭 貴朗/著 日科技連出版社 2016.2(所蔵館:オーテピア高知図書館 請求記号:4Y/007.61/ケイ/ 資料コード:1108251818)
URL
https://opac.library.kochi.jp/winj/opac/switch-detail.do?lang=ja&bibid=1120079664
URLコピー
ページの先頭へ
目次
第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章の参考文献
ページの先頭へ