資料詳細

【図書】 ＵＰＰＡＡＬによる性能モデル検証

リアルタイムシステムのモデル化とその検証 -- トップエスイー実践講座 --
長谷川哲夫／著, 田原康之／著, 磯部祥尚／著, 大須賀昭彦／監修 -- 近代科学社 -- ２０１２．９ -- ２４ｃｍ -- １８３ｐ

タイトル	ＵＰＰＡＡＬによる性能モデル検証
副書名	リアルタイムシステムのモデル化とその検証
シリーズ名	トップエスイー実践講座
著者名等	長谷川哲夫／著, 田原康之／著, 磯部祥尚／著, 大須賀昭彦／監修
出版	近代科学社２０１２．９
大きさ等	２４ｃｍ１８３ｐ
分類	007.63
件名	ソフトウェア , 信頼性（工学）
注記	文献あり　索引あり
要旨	実時間システム開発向けモデル検査ツールの標準ＵＰＰＡＡＬの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。
目次	第１章　ＵＰＰＡＡＬを使ってみよう；第２章　ＵＰＰＡＡＬのシステムモデルと検証式；第３章　検証プロセス；第４章　ケーススタディ（１）オートクラッチ車ギア制御；第５章　ケーススタディ（２）オーディオデータ通信プロトコル；第６章　ソフトウェア設計とモデル検査；第７章　おわりに
ISBN(13)、ISBN	978-4-7649-0431-6　　 4-7649-0431-4
書誌番号	1112071111
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1112071111

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/15010	一般書	利用可	-	2049791677