ご注文前に必ずご確認ください実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。第1章 UPPAALを使ってみよう第2章 UPPAALのシステムモデルと検証式第3章 検証プロセス第4章 ケーススタディ(1)オートクラッチ車ギア制御第5章 ケーススタディ(2)オーディオデータ通信プロトコル第6章 ソフトウェア設計とモデル検査第7章 おわりに長谷川哲夫(演奏者)商品番号：NEOBK-1357850Osuga Akihiko / Kanshu Hasegawa Tetsuo / Cho Tahara Yasuyuki / Cho Isobe Sachi Nao / Cho / UPPAAL Niyoru Seino Model Kensho Realtime System No Model Ka to Sono Kensho (Top SE Jissen Koza)メディア：本/雑誌発売日：2012/09JAN：9784764904316UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証[本/雑誌] (トップエスイー実践講座) (単行本・ムック) / 大須賀昭彦/監修 長谷川哲夫/著 田原康之/著 磯部祥尚/著2012/09発売

出荷目安の詳細はこちら内容詳細目次 : 1章　歴史的背景/ 2章　自律ソフトウェア設計のためのエージェント技術/ 3章　ゴール指向要求工学/ 4章　自己適応システム/ 5章　セマンティックWebエージェント/ 6章　自律Webアプリケーション

Girier陽子，高山佳文，森本孝司【著】，大須賀昭彦【監修】販売会社/発売会社：ソフトバンククリエイティブ/ 発売年月日：2007/09/07JAN：9784797338720

著者：本位田 真一, 大須賀 昭彦出版社：ソフトバンククリエイティブサイズ：単行本ISBN-10：4797305754ISBN-13：9784797305753■通常24時間以内に出荷可能です。※繁忙期やセール等、ご注文数が多い日につきましては　発送まで72時間かかる場合があります。あらかじめご了承ください。■宅配便(送料398円)にて出荷致します。合計3980円以上は送料無料。■ただいま、オリジナルカレンダーをプレゼントしております。■送料無料の「もったいない本舗本店」もご利用ください。メール便送料無料です。■お急ぎの方は「もったいない本舗　お急ぎ便店」をご利用ください。最短翌日配送、手数料298円から■中古品ではございますが、良好なコンディションです。決済はクレジットカード等、各種決済方法がご利用可能です。■万が一品質に不備が有った場合は、返金対応。■クリーニング済み。■商品画像に「帯」が付いているものがありますが、中古品のため、実際の商品には付いていない場合がございます。■商品状態の表記につきまして・非常に良い：　　使用されてはいますが、　　非常にきれいな状態です。　　書き込みや線引きはありません。・良い：　　比較的綺麗な状態の商品です。　　ページやカバーに欠品はありません。　　文章を読むのに支障はありません。・可：　　文章が問題なく読める状態の商品です。　　マーカーやペンで書込があることがあります。　　商品の痛みがある場合があります。

著者：本位田 真一, 大須賀 昭彦出版社：ソフトバンククリエイティブサイズ：単行本ISBN-10：4797305754ISBN-13：9784797305753■通常24時間以内に出荷可能です。■ネコポスで送料は1～3点で298円、4点で328円。5点以上で600円からとなります。※2,500円以上の購入で送料無料。※多数ご購入頂いた場合は、宅配便での発送になる場合があります。■ただいま、オリジナルカレンダーをプレゼントしております。■送料無料の「もったいない本舗本店」もご利用ください。メール便送料無料です。■まとめ買いの方は「もったいない本舗　おまとめ店」がお買い得です。■中古品ではございますが、良好なコンディションです。決済はクレジットカード等、各種決済方法がご利用可能です。■万が一品質に不備が有った場合は、返金対応。■クリーニング済み。■商品画像に「帯」が付いているものがありますが、中古品のため、実際の商品には付いていない場合がございます。■商品状態の表記につきまして・非常に良い：　　使用されてはいますが、　　非常にきれいな状態です。　　書き込みや線引きはありません。・良い：　　比較的綺麗な状態の商品です。　　ページやカバーに欠品はありません。　　文章を読むのに支障はありません。・可：　　文章が問題なく読める状態の商品です。　　マーカーやペンで書込があることがあります。　　商品の痛みがある場合があります。

大須賀昭彦【監修】，長谷川哲夫，田原康之，磯部祥尚【著】販売会社/発売会社：近代科学社発売年月日：2012/09/26JAN：9784764904316

著者：本位田 真一, 大須賀 昭彦出版社：ソフトバンククリエイティブサイズ：単行本ISBN-10：4797305754ISBN-13：9784797305753■通常24時間以内に出荷可能です。※繁忙期やセール等、ご注文数が多い日につきましては　発送まで48時間かかる場合があります。あらかじめご了承ください。 ■メール便は、1冊から送料無料です。※宅配便の場合、2,500円以上送料無料です。※最短翌日配達ご希望の方は、宅配便をご選択下さい。※「代引き」ご希望の方は宅配便をご選択下さい。※配送番号付きのゆうパケットをご希望の場合は、追跡可能メール便（送料210円）をご選択ください。■ただいま、オリジナルカレンダーをプレゼントしております。■お急ぎの方は「もったいない本舗　お急ぎ便店」をご利用ください。最短翌日配送、手数料298円から■まとめ買いの方は「もったいない本舗　おまとめ店」がお買い得です。■中古品ではございますが、良好なコンディションです。決済は、クレジットカード、代引き等、各種決済方法がご利用可能です。■万が一品質に不備が有った場合は、返金対応。■クリーニング済み。■商品画像に「帯」が付いているものがありますが、中古品のため、実際の商品には付いていない場合がございます。■商品状態の表記につきまして・非常に良い：　　使用されてはいますが、　　非常にきれいな状態です。　　書き込みや線引きはありません。・良い：　　比較的綺麗な状態の商品です。　　ページやカバーに欠品はありません。　　文章を読むのに支障はありません。・可：　　文章が問題なく読める状態の商品です。　　マーカーやペンで書込があることがあります。　　商品の痛みがある場合があります。