検索結果資料の内容

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

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

蔵書情報

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

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

資料の状態

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

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

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル

ソフトウェア開発のモデル化技法

人名 J.フィッツジェラルド／著
人名ヨミ J フィッツジェラルド
出版者・発行者 岩波書店
出版年月 2003.2

書誌詳細

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

書誌種別 図書
タイトル ソフトウェア開発のモデル化技法
タイトルヨミ ソフトウェア カイハツ ノ モデルカ ギホウ
人名 J.フィッツジェラルド／著 　 P.G.ラーセン／著 　 荒木 啓二郎／[ほか]訳
人名ヨミ J フィッツジェラルド　P G ラーセン　アラキ ケイジロウ
人名ヨミ 　
出版者・発行者 岩波書店
出版者・発行者等ヨミ イワナミ ショテン
出版地・発行地 東京
出版・発行年月 2003.2
ページ数または枚数・巻数 306p
大きさ 22cm
価格 ￥４８００
ISBN 4-00-005609-3
注記 複合媒体資料
注記 付属資料:CD-ROM(1枚 12cm)
注記 原タイトル:Modelling systems
分類記号 007.63
件名 ソフトウェア
内容紹介 ISOで標準化された言語VDM-SLは、抽象性と厳密性を併せ持つ仕様記述言語で、モデル化に最適である。これを使えばシステムの全体構造を容易に把握できるようになり開発コストの削減にも役立つ。実践例とともに解説。
著者紹介 ニューキャスル大学等を経て、現在、(株)トランジティブ・テクノロジー社勤務。
言語区分 jpn
タイトルコード 1009810443040



目次


内容細目

関連資料

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

ソフトウェア
【つくって、壊して、直して学ぶKub…】 つくって、壊して、直して学ぶKub…
高橋 あおい／著… 【ゼロから学ぶGit/GitHub　…】 ゼロから学ぶGit/GitHub　…
渡辺 宙志／著 【イラストでわかるDockerとKu…】 イラストでわかるDockerとKu…
徳永 航平／著 【GitLab実践ガイド　：　The…】 GitLab実践ガイド　：　The…
北山 晋吾／著,… 【Docker/Kubernetes…】 Docker/Kubernetes…
山田 明憲／著 【開発系エンジニアのためのDocke…】 開発系エンジニアのためのDocke…
鈴木 亮／著 【アジャイル開発の基礎知識と導入方法…】 アジャイル開発の基礎知識と導入方法…
増田 智明／著 【DX時代の最強PMOになる方法　：…】 DX時代の最強PMOになる方法　：…
甲州 潤／著 【セキュアなソフトウェアの設計と開発…】 セキュアなソフトウェアの設計と開発…
ローレン・コンフ… 【ソフトウェア開発にChatGPTは…】 ソフトウェア開発にChatGPTは…
小野 哲／著 【ソフトウェアテストのセオリー　：　…】 ソフトウェアテストのセオリー　：　…
小川 秀人／共著… 【Docker実践ガイド　：　コンテ…】 Docker実践ガイド　：　コンテ…
古賀 政純／著 【Good Code,Bad Cod…】 Good Code,Bad Cod…
Tom Long… 【AIリスク・マネジメント　：　信頼…】 AIリスク・マネジメント　：　信頼…
中島 震／著 【単体テストの考え方/使い方】 単体テストの考え方/使い方
Vladimir… 【新アプリ法務ハンドブック】 新アプリ法務ハンドブック
増田 雅史／編著… 【マイクロサービスアーキテクチャ】 マイクロサービスアーキテクチャ
Sam Newm… 【ベンダーとユーザーのためのソフトウ…】 ベンダーとユーザーのためのソフトウ…
EY新日本有限責… 【読みやすいコードのガイドライン　：…】 読みやすいコードのガイドライン　：…
石川 宗寿／著 【Docker&仮想サーバー完全入門…】 Docker&仮想サーバー完全入門…
リブロワークス／… 【テスト駆動Python　：　pyt…】 テスト駆動Python　：　pyt…
Brian Ok… 【マネジメント3.0　：　適応力の高…】 マネジメント3.0　：　適応力の高…
JURGEN A… 【ソフトウェア工学の基礎】 ソフトウェア工学の基礎
玉井 哲雄／著 【良いコード/悪いコードで学ぶ設計入…】 良いコード/悪いコードで学ぶ設計入…
仙塲 大也／著 【Googleサービス基本&便利技　…】 Googleサービス基本&便利技　…
リンクアップ／著
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。