検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

資料の状態

各蔵書資料に関する詳細情報です。

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0010065308図書一般007.63/ﾌｲ10/書庫貸出可  ○

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル

VDM++によるオブジェクト指向システムの高品質設計と検証

人名 ジョン・フィッツジェラルド／著
人名ヨミ ジョン フィッツジェラルド
出版者・発行者 翔泳社
出版年月 2010.8

書誌詳細

この資料の書誌詳細情報です。

書誌種別 図書
タイトル VDM++によるオブジェクト指向システムの高品質設計と検証
サブタイトル 仕様の品質を飛躍的に高める手法
シリーズ名 IT Architects' Archive
シリーズ名 ソフトウェア開発の実践
タイトルヨミ ブイディーエム プラスプラス ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ
サブタイトルヨミ シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ
シリーズ名ヨミ アイティー アーキテクツ アーカイヴ
シリーズ名ヨミ ソフトウェア カイハツ ノ ジッセン
人名 ジョン・フィッツジェラルド／著 　 ピーター・ゴルム・ラーセン／著 　 ポール・マッカージー／著 　 ニコ・プラット／著 　 マーセル・バーホフ／著 　 酒匂 寛／訳
人名ヨミ ジョン フィッツジェラルド　ピーター ゴルム ラーセン　ポール マッカージー　ニコ プラット　マーセル バーホフ　サコウ ヒロシ
人名ヨミ 　　　　
出版者・発行者 翔泳社
出版者・発行者等ヨミ ショウエイシャ
出版地・発行地 [東京]
出版・発行年月 2010.8
ページ数または枚数・巻数 20,416p
大きさ 23cm
価格 ￥５４８０
ISBN 978-4-7981-1961-8
ISBN 4-7981-1961-8
注記 原タイトル:Validated designs for object‐oriented systems
注記 文献:p399〜401
分類記号 007.63
件名 ソフトウェア工学 ／ オブジェクト指向
内容紹介 形式仕様記述言語VDM++を用いて開発対象システムを厳密に記述し、コンピュータシステムに対する信頼性や安全性などの確認や検証を行う方法を具体例を基に解説。オブジェクト指向の概念を取り入れたシステム設計法も示す。
著者紹介 英ニューカッスル大学コンピューティングサイエンス学部教授。
言語区分 jpn
タイトルコード 1009811326354



目次


内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

ソフトウェア工学　オブジェクト指向
【「正しく」失敗できるチームを作る　…】 「正しく」失敗できるチームを作る　…
石垣 雅人／著 【ソフトウェア工学】 ソフトウェア工学
丸山 勝久／共著… 【Gitハンズオンラーニング　：　手…】 Gitハンズオンラーニング　：　手…
Anna Sko… 【いちばんやさしいGit & Git…】 いちばんやさしいGit & Git…
横田 紋奈／著,… 【良いコード/悪いコードで学ぶ設計入…】 良いコード/悪いコードで学ぶ設計入…
仙塲 大也／著 【Tidy First?　：　個人で…】 Tidy First?　：　個人で…
Kent Bec… 【SREをはじめよう　：　個人と組織…】 SREをはじめよう　：　個人と組織…
David N.… 【犯罪捜査技術を活用したソフトウェア…】 犯罪捜査技術を活用したソフトウェア…
Adam Tor… 【エンジニアが一生困らないドキュメン…】 エンジニアが一生困らないドキュメン…
仲田 尚央／著 【上流から下流まで生成AIが変革する…】 上流から下流まで生成AIが変革する…
酒匂 寛／著 【アジャイルなプロダクトづくり　：　…】 アジャイルなプロダクトづくり　：　…
市谷 聡啓／著 【ドメイン駆動設計をはじめよう　：　…】 ドメイン駆動設計をはじめよう　：　…
Vlad Kho… 【<入門>ドメイン駆動設計　：　基礎…】 <入門>ドメイン駆動設計　：　基礎…
増田 亨／[ほか… 【関数型ドメインモデリング　：　ドメ…】 関数型ドメインモデリング　：　ドメ…
Scott Wl… 【脳に収まるコードの書き方　：　複雑…】 脳に収まるコードの書き方　：　複雑…
Mark See… 【ソフトウェア開発現場の「失敗」集め…】 ソフトウェア開発現場の「失敗」集め…
出石 聡史／著 【GitHub CI/CD実践ガイド…】 GitHub CI/CD実践ガイド…
野村 友規／著 【つくって、壊して、直して学ぶKub…】 つくって、壊して、直して学ぶKub…
高橋 あおい／著… 【ゼロから学ぶGit/GitHub　…】 ゼロから学ぶGit/GitHub　…
渡辺 宙志／著 【イラストでわかるDockerとKu…】 イラストでわかるDockerとKu…
徳永 航平／著 【GitLab実践ガイド　：　The…】 GitLab実践ガイド　：　The…
北山 晋吾／著,… 【Docker/Kubernetes…】 Docker/Kubernetes…
山田 明憲／著 【これからの「ソフトウェアづくり」と…】 これからの「ソフトウェアづくり」と…
石川 冬樹／著,… 【開発系エンジニアのためのDocke…】 開発系エンジニアのためのDocke…
鈴木 亮／著 【アジャイル開発の基礎知識と導入方法…】 アジャイル開発の基礎知識と導入方法…
増田 智明／著
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。