組み込みソフトウエア --
日経エレクトロニクス /編   -- 日経BP社 -- 2006.12 -- 28cm -- 225p

資料詳細

タイトル モデルに基づく開発方法論のすべて
副書名 組み込みソフトウエア
著者名等 日経エレクトロニクス /編  
出版 日経BP社 2006.12
大きさ等 28cm 225p
分類 007.61
件名 システム設計
目次 第1章 総論(ソフトウエアは硬い―「簡単に直せる」という常識の崩壊;ソフトウエア開発サイクルの全段階で成果物を再利用する ほか);第2章 設計(設計図がない―脱プログラミング至上主義;組み込み技術者のためのユーザビリティ向上作戦);第3章 検証(形式手法の実像を知る―VDMやZ記法などのモデル規範型からUMLとの関連まで;モデル検査で状態爆発をいかに抑えるか ほか);第4章 構成管理(構成管理の基本プロセス―その体系と実施例;構成管理の導入方法と活用の勘所 ほか)
ISBN(13)、ISBN 978-4-8222-0258-3   4-8222-0258-5
書誌番号 1106092916
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1106092916

所蔵

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

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