山の手図書館は大規模改修のため
 令和7年9月1日から令和8年1月31日（予定）まで臨時休館します。

検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
レファレンス情報は0件です

蔵書情報

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

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

書誌情報

書名

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

著者名 J.フィッツジェラルド／著 　 P.G.ラーセン／著 　 荒木 啓二郎／[ほか]訳
出版者 岩波書店
出版年月 2003.2

この資料に対する操作

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

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

  

この資料に対する操作

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

マイ本棚へ追加ログインメモ

資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0116189853007.6/ﾌ/書庫２一般図書一般貸出在庫　 有 ○

関連資料

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

2003
【ミッケ!8】 ミッケ!8
ウォルター・ウィ… 【おまえうまそうだな】 おまえうまそうだな
宮西 達也／作絵 【かいけつゾロリとなぞのまほう少女】 かいけつゾロリとなぞのまほう少女
原 ゆたか／さく… 【ピヨピヨスーパーマーケット】 ピヨピヨスーパーマーケット
工藤 ノリコ／著 【お化けの冬ごもり】 お化けの冬ごもり
川端 誠／作 【架空通貨】 架空通貨
池井戸 潤／[著… 【しゅくだい】 しゅくだい
宗正 美子／原案… 【10ぴきのかえるざんざんやまへ】 10ぴきのかえるざんざんやまへ
間所 ひさこ／さ… 【ふゆのおばけ】 ふゆのおばけ
せな けいこ／作… 【おさるのジョージハロウィーン・パー…】 おさるのジョージハロウィーン・パー…
M.レイ／原作,… 【かくれんぼももんちゃん】 かくれんぼももんちゃん
とよた かずひこ… 【誰か】 誰か
宮部 みゆき／著 【ふゆじたくのおみせ】 ふゆじたくのおみせ
ふくざわ ゆみこ… 【パオちゃんのなつまつり】 パオちゃんのなつまつり
なかがわ みちこ… 【ねむるねこざかな】 ねむるねこざかな
わたなべ ゆうい… 【おひさまとおつきさまのけんか】 おひさまとおつきさまのけんか
せな けいこ／作… 【わんぱくだんのにんじゃごっこ】 わんぱくだんのにんじゃごっこ
ゆきの ゆみこ／… 【恐竜トリケラトプスとアロサウルス　…】 恐竜トリケラトプスとアロサウルス　…
黒川 みつひろ／… 【おにぎりくん】 おにぎりくん
村上 康成／作 【おさるのジョージまいごになる】 おさるのジョージまいごになる
M.レイ／原作,… 【しずくちゃん2】 しずくちゃん2
ぎぼ りつこ／作… 【おさるのジョージおもちゃやさんへい…】 おさるのジョージおもちゃやさんへい…
M.レイ／原作,… 【チリとチリリ】 チリとチリリ
どい かや／作 【アンパンマンのとっきゅうれっしゃ】 アンパンマンのとっきゅうれっしゃ
やなせ たかし／… 【パパはウルトラセブン・みんなのおう…】 パパはウルトラセブン・みんなのおう…
みやにし たつや… 【さらば深川】 さらば深川
宇江佐 真理／著 【おさるのジョージとっきゅうにのる】 おさるのジョージとっきゅうにのる
M.レイ／原作,… 【二十番斬り】 二十番斬り
池波 正太郎／著 【うえへまいりまぁす】 うえへまいりまぁす
長谷川 義史／さ… 【手紙】 手紙
東野 圭吾／著 【春の嵐】 春の嵐
池波 正太郎／著 【号泣する準備はできていた】 号泣する準備はできていた
江国 香織／著 【ねこざかなのクリスマス】 ねこざかなのクリスマス
わたなべ ゆうい… 【クリスマスのころわん】 クリスマスのころわん
間所 ひさこ／作… 【勝負】 勝負
池波 正太郎／著 【待ち伏せ】 待ち伏せ
池波 正太郎／著 【星々の舟】 星々の舟
村山 由佳／著 【ガスパールうみへいく】 ガスパールうみへいく
アン・グットマン… 【ランディーときいろのトラック】 ランディーときいろのトラック
Sora／さく・… 【波紋】 波紋
池波 正太郎／著 【余寒の雪】 余寒の雪
宇江佐 真理／著 【足抜】 足抜
佐伯 泰英／著 【忍たま乱太郎[36]】 忍たま乱太郎[36]
尼子 騒兵衛／原… 【つきよのキャベツくん】 つきよのキャベツくん
長 新太／さく 【十番斬り】 十番斬り
池波 正太郎／著 【お洋服リフォーム支店】 お洋服リフォーム支店
あんびる やすこ… 【ようこそうみへ　：　Seaside…】 ようこそうみへ　：　Seaside…
中川 ひろたか／… 【都会のトム&ソーヤ1】 都会のトム&ソーヤ1
はやみね かおる… 【おひさまパン】 おひさまパン
エリサ・クレヴェ… 【魚】 魚
井田 齊／監修・…
2003
【ミッケ!8】 ミッケ!8
ウォルター・ウィ… 【おまえうまそうだな】 おまえうまそうだな
宮西 達也／作絵 【かいけつゾロリとなぞのまほう少女】 かいけつゾロリとなぞのまほう少女
原 ゆたか／さく… 【ピヨピヨスーパーマーケット】 ピヨピヨスーパーマーケット
工藤 ノリコ／著 【お化けの冬ごもり】 お化けの冬ごもり
川端 誠／作 【架空通貨】 架空通貨
池井戸 潤／[著… 【しゅくだい】 しゅくだい
宗正 美子／原案… 【10ぴきのかえるざんざんやまへ】 10ぴきのかえるざんざんやまへ
間所 ひさこ／さ… 【ふゆのおばけ】 ふゆのおばけ
せな けいこ／作… 【おさるのジョージハロウィーン・パー…】 おさるのジョージハロウィーン・パー…
M.レイ／原作,… 【かくれんぼももんちゃん】 かくれんぼももんちゃん
とよた かずひこ… 【誰か】 誰か
宮部 みゆき／著 【ふゆじたくのおみせ】 ふゆじたくのおみせ
ふくざわ ゆみこ… 【パオちゃんのなつまつり】 パオちゃんのなつまつり
なかがわ みちこ… 【ねむるねこざかな】 ねむるねこざかな
わたなべ ゆうい… 【おひさまとおつきさまのけんか】 おひさまとおつきさまのけんか
せな けいこ／作… 【わんぱくだんのにんじゃごっこ】 わんぱくだんのにんじゃごっこ
ゆきの ゆみこ／… 【恐竜トリケラトプスとアロサウルス　…】 恐竜トリケラトプスとアロサウルス　…
黒川 みつひろ／… 【おにぎりくん】 おにぎりくん
村上 康成／作 【おさるのジョージまいごになる】 おさるのジョージまいごになる
M.レイ／原作,… 【しずくちゃん2】 しずくちゃん2
ぎぼ りつこ／作… 【おさるのジョージおもちゃやさんへい…】 おさるのジョージおもちゃやさんへい…
M.レイ／原作,… 【チリとチリリ】 チリとチリリ
どい かや／作 【アンパンマンのとっきゅうれっしゃ】 アンパンマンのとっきゅうれっしゃ
やなせ たかし／… 【パパはウルトラセブン・みんなのおう…】 パパはウルトラセブン・みんなのおう…
みやにし たつや… 【さらば深川】 さらば深川
宇江佐 真理／著 【おさるのジョージとっきゅうにのる】 おさるのジョージとっきゅうにのる
M.レイ／原作,… 【二十番斬り】 二十番斬り
池波 正太郎／著 【うえへまいりまぁす】 うえへまいりまぁす
長谷川 義史／さ… 【手紙】 手紙
東野 圭吾／著 【春の嵐】 春の嵐
池波 正太郎／著 【号泣する準備はできていた】 号泣する準備はできていた
江国 香織／著 【ねこざかなのクリスマス】 ねこざかなのクリスマス
わたなべ ゆうい… 【クリスマスのころわん】 クリスマスのころわん
間所 ひさこ／作… 【勝負】 勝負
池波 正太郎／著 【待ち伏せ】 待ち伏せ
池波 正太郎／著 【星々の舟】 星々の舟
村山 由佳／著 【ガスパールうみへいく】 ガスパールうみへいく
アン・グットマン… 【ランディーときいろのトラック】 ランディーときいろのトラック
Sora／さく・… 【波紋】 波紋
池波 正太郎／著 【余寒の雪】 余寒の雪
宇江佐 真理／著 【足抜】 足抜
佐伯 泰英／著 【忍たま乱太郎[36]】 忍たま乱太郎[36]
尼子 騒兵衛／原… 【つきよのキャベツくん】 つきよのキャベツくん
長 新太／さく 【十番斬り】 十番斬り
池波 正太郎／著 【お洋服リフォーム支店】 お洋服リフォーム支店
あんびる やすこ… 【ようこそうみへ　：　Seaside…】 ようこそうみへ　：　Seaside…
中川 ひろたか／… 【都会のトム&ソーヤ1】 都会のトム&ソーヤ1
はやみね かおる… 【おひさまパン】 おひさまパン
エリサ・クレヴェ… 【魚】 魚
井田 齊／監修・…
007.63　007.63
【Neovimを始める最初の半歩　：…】 Neovimを始める最初の半歩　：…
黒崎 玄／著 【親にスマホをもっと使ってもらう本　…】 親にスマホをもっと使ってもらう本　…
増田 由紀／著 【70歳から愉しむスマホとLINE】 70歳から愉しむスマホとLINE
岡嶋 裕史／著 【70歳からのスマホの使いこなし術2】 70歳からのスマホの使いこなし術2
増田 由紀／著 【M…2025年 8月号 通巻134号】 M…2025年 8月号 通巻134号
 【Googleスプレッドシート関数マ…】 Googleスプレッドシート関数マ…
掌田 津耶乃／著 【今すぐ使えるかんたんぜったいデキま…】 今すぐ使えるかんたんぜったいデキま…
井上 香緒里／著 【スマホが「老後の暮らし」をもっと楽…】 スマホが「老後の暮らし」をもっと楽…
恒川 年昭／著 【Looks Good To Me　…】 Looks Good To Me　…
Adrienne… 【70歳から楽しむスマホの使い方　：…】 70歳から楽しむスマホの使い方　：…
川島 玲子／著 【開発者とアーキテクトのためのコミュ…】 開発者とアーキテクトのためのコミュ…
Jacqui R… 【いちばん簡単!70歳からのスマホの…】 いちばん簡単!70歳からのスマホの…
岩間 麻帆／監修 【世界一かんたん!70歳からのスマホ…】 世界一かんたん!70歳からのスマホ…
岡嶋 裕史／監修 【PowerPoint 2024やさ…】 PowerPoint 2024やさ…
リブロワークス／… 【Word & Excel 2024…】 Word & Excel 2024…
国本 温子／著,… 【Outlook 2024やさしい教…】 Outlook 2024やさしい教…
橋本 和則／著 【たくさがわ先生が教えるスマホの困っ…】 たくさがわ先生が教えるスマホの困っ…
たくさがわ つね… 【伝わるコードレビュー　：　開発チー…】 伝わるコードレビュー　：　開発チー…
鳥井 雪／著,久… 【Mr.PC(ミスター ピーシー)　…】 Mr.PC(ミスター ピーシー)　…
 【安心して働くためのパソコン仕事術　…】 安心して働くためのパソコン仕事術　…
橋本 和則／著 【つながる、知る、得する70歳からの…】 つながる、知る、得する70歳からの…
増田 由紀／監修 【Appleマニア・マリエのお得すぎ…】 Appleマニア・マリエのお得すぎ…
マリエ／監修 【Cursor完全入門　：　エンジニ…】 Cursor完全入門　：　エンジニ…
リブロワークス／… 【スマホで困ったと…2025-2026】 スマホで困ったと…2025-2026
 【70歳からの楽しいスマホ術】 70歳からの楽しいスマホ術
渡辺 としみ／著 【日本一わかりやすい70歳からのスマ…】 日本一わかりやすい70歳からのスマ…
岡嶋 裕史／監修 【今すぐ使えるかんたんMac完全ガイ…】 今すぐ使えるかんたんMac完全ガイ…
技術評論社編集部… 【やさしく教わるPowerPoint】 やさしく教わるPowerPoint
国本 温子／著 【スマホで困ったときの大事典　：　A…】 スマホで困ったときの大事典　：　A…
 【70歳からでもできる!いきいきスマ…】 70歳からでもできる!いきいきスマ…
 【今すぐ使えるかんたんExcel 2…】 今すぐ使えるかんたんExcel 2…
AYURA／著 【入門OpenTelemetry　：…】 入門OpenTelemetry　：…
Ted Youn… 【いちばんやさしいGit & Git…】 いちばんやさしいGit & Git…
横田 紋奈／著,… 【PowerPoint資料作成プロフ…】 PowerPoint資料作成プロフ…
松上 純一郎／著 【良いコード/悪いコードで学ぶ設計入…】 良いコード/悪いコードで学ぶ設計入…
仙塲 大也／著 【Mr.PC(ミスター ピーシー)　…】 Mr.PC(ミスター ピーシー)　…
 【パソコンで困ったときに開く…2025】 パソコンで困ったときに開く…2025
 【いちばんやさしい70代からのiPh…】 いちばんやさしい70代からのiPh…
増田 由紀／著 【できるPowerPoint 202…】 できるPowerPoint 202…
井上 香緒里／著… 【Tidy First?　：　個人で…】 Tidy First?　：　個人で…
Kent Bec… 【お仕事上手の一生使えるExcel入…】 お仕事上手の一生使えるExcel入…
中本 達也／著 【今すぐ使えるかんたんAndroid…】 今すぐ使えるかんたんAndroid…
リンクアップ／著 【MOS Word 365 Expe…】 MOS Word 365 Expe…
富士通ラーニング… 【Mr.PC(ミスター ピーシー)　…】 Mr.PC(ミスター ピーシー)　…
 【ピンチを救うスマホ活用術】 ピンチを救うスマホ活用術
岡嶋 裕史／監修… 【ショートカットキー時短術　：　脱マ…】 ショートカットキー時短術　：　脱マ…
山橋 美穂／監修 【できるGoogleスプレッドシート…】 できるGoogleスプレッドシート…
今井 タカシ／著… 【上流から下流まで生成AIが変革する…】 上流から下流まで生成AIが変革する…
酒匂 寛／著 【アジャイルなプロダクトづくり　：　…】 アジャイルなプロダクトづくり　：　…
市谷 聡啓／著 【ずっと使えるGoogle Pixe…】 ずっと使えるGoogle Pixe…
法林 岳之／著,…
ソフトウェア
【Looks Good To Me　…】 Looks Good To Me　…
Adrienne… 【開発者とアーキテクトのためのコミュ…】 開発者とアーキテクトのためのコミュ…
Jacqui R… 【伝わるコードレビュー　：　開発チー…】 伝わるコードレビュー　：　開発チー…
鳥井 雪／著,久… 【入門OpenTelemetry　：…】 入門OpenTelemetry　：…
Ted Youn… 【いちばんやさしいGit & Git…】 いちばんやさしいGit & Git…
横田 紋奈／著,… 【良いコード/悪いコードで学ぶ設計入…】 良いコード/悪いコードで学ぶ設計入…
仙塲 大也／著 【Tidy First?　：　個人で…】 Tidy First?　：　個人で…
Kent Bec… 【上流から下流まで生成AIが変革する…】 上流から下流まで生成AIが変革する…
酒匂 寛／著 【アジャイルなプロダクトづくり　：　…】 アジャイルなプロダクトづくり　：　…
市谷 聡啓／著 【ABOUT FACE　：　インタラ…】 ABOUT FACE　：　インタラ…
Alan Coo… 【デジタルビークルの知られざる正体　…】 デジタルビークルの知られざる正体　…
鶴原 吉郎／著 【Googleサービス完全マニュアル…】 Googleサービス完全マニュアル…
桑名 由美／著 【ドメイン駆動設計をはじめよう　：　…】 ドメイン駆動設計をはじめよう　：　…
Vlad Kho… 【アーキテクトの教科書　：　価値を生…】 アーキテクトの教科書　：　価値を生…
米久保 剛／著 【手を動かしてわかるクリーンアーキテ…】 手を動かしてわかるクリーンアーキテ…
Tom Homb… 【<入門>ドメイン駆動設計　：　基礎…】 <入門>ドメイン駆動設計　：　基礎…
増田 亨／[ほか… 【関数型ドメインモデリング　：　ドメ…】 関数型ドメインモデリング　：　ドメ…
Scott Wl… 【ソフトウェア開発現場の「失敗」集め…】 ソフトウェア開発現場の「失敗」集め…
出石 聡史／著 【GitHub CI/CD実践ガイド…】 GitHub CI/CD実践ガイド…
野村 友規／著 【ITエンジニアのためのプロジェクト…】 ITエンジニアのためのプロジェクト…
金田 光範／著,… 【つくって、壊して、直して学ぶKub…】 つくって、壊して、直して学ぶKub…
高橋 あおい／著… 【入門Redmine　：　オープンソ…】 入門Redmine　：　オープンソ…
石原 佑季子／著… 【実用Git】 実用Git
Prem Kum… 【GitLab実践ガイド　：　The…】 GitLab実践ガイド　：　The…
北山 晋吾／著,… 【Docker/Kubernetes…】 Docker/Kubernetes…
山田 明憲／著 【これからの「ソフトウェアづくり」と…】 これからの「ソフトウェアづくり」と…
石川 冬樹／著,… 【世界一やさしいGoogleサービス…】 世界一やさしいGoogleサービス…
 【知識ゼロから学ぶソフトウェアテスト…】 知識ゼロから学ぶソフトウェアテスト…
高橋 寿一／著 【プロジェクトマネージャーのためのよ…】 プロジェクトマネージャーのためのよ…
牧石 幸士／著 【Podmanイン・アクション　：　…】 Podmanイン・アクション　：　…
Daniel W… 【Googleサービスの教科書　：　…】 Googleサービスの教科書　：　…
 【DX時代の最強PMOになる方法　：…】 DX時代の最強PMOになる方法　：…
甲州 潤／著 【スクラムの拡張による組織づくり　：…】 スクラムの拡張による組織づくり　：…
粕谷 大輔／著 【セキュアなソフトウェアの設計と開発…】 セキュアなソフトウェアの設計と開発…
ローレン・コンフ… 【基礎から学ぶコンテナセキュリティ　…】 基礎から学ぶコンテナセキュリティ　…
森田 浩平／著 【アジャイルプラクティスガイドブック…】 アジャイルプラクティスガイドブック…
常松 祐一／著,… 【ソフトウェア開発にChatGPTは…】 ソフトウェア開発にChatGPTは…
小野 哲／著 【Kubernetesの知識地図　：…】 Kubernetesの知識地図　：…
青山 真也／著,… 【優れたデザインにとってコンセプトが…】 優れたデザインにとってコンセプトが…
Daniel J… 【レガシーコードとどう付き合うか】 レガシーコードとどう付き合うか
めもりー／著 【ソフトウェア設計のトレードオフと誤…】 ソフトウェア設計のトレードオフと誤…
Tomasz L… 【Docker実践ガイド　：　コンテ…】 Docker実践ガイド　：　コンテ…
古賀 政純／著 【Good Code,Bad Cod…】 Good Code,Bad Cod…
Tom Long… 【AIリスク・マネジメント　：　信頼…】 AIリスク・マネジメント　：　信頼…
中島 震／著 【新アプリ法務ハンドブック】 新アプリ法務ハンドブック
増田 雅史／編著… 【マイクロサービスアーキテクチャ】 マイクロサービスアーキテクチャ
Sam Newm… 【アジャイル開発の法務　：　スクラム…】 アジャイル開発の法務　：　スクラム…
梅本 大祐／著 【読みやすいコードのガイドライン　：…】 読みやすいコードのガイドライン　：…
石川 宗寿／著 【ソフトウェアアーキテクチャ・ハード…】 ソフトウェアアーキテクチャ・ハード…
Neal For… 【Docker&仮想サーバー完全入門…】 Docker&仮想サーバー完全入門…
リブロワークス／…

書誌詳細

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

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

(他の紹介)内容紹介 革命的な仕様記述言語ＶＤＭ‐ＳＬ。現場の実践例をもとに、その記述を明快に解説。
(他の紹介)目次 第１章　序章
第２章　モデルの構成
第３章　Ｔｏｏｌｂｏｘ　Ｌｉｔｅ
第４章　システムの性質の論理式による記述
第５章　形式モデルの要素
第６章　集合
第７章　系列
第８章　写像
第９章　モデルの妥当性確認
第１０章　状態ベース・モデリング
第１１章　大規模モデルの構築
第１２章　ＶＤＭ活用の実際
(他の紹介)著者紹介 フィッツジェラルド，ジョン
　マンチェスター大学、ニューキャスル大学を経て、現在、（株）トランジティブ・テクノロジー社（イギリス）に勤務(本データはこの書籍が刊行された当時に掲載されていたものです)
ラーセン，ペーター・ゴルム
　１９８８年、デンマーク工科大学修士課程を修了後、ＩＦＡＤ社（デンマーク）に勤務。２００２年、同社を退職。現在、（株）システマティック社（デンマーク）に勤務(本データはこの書籍が刊行された当時に掲載されていたものです)
荒木 啓二郎
　１９７６年、九州大学工学部情報工学科を卒業。工学博士。現在、九州大学大学院システム情報科学研究院教授(本データはこの書籍が刊行された当時に掲載されていたものです)
張 漢明
　１９９９年、奈良先端科学技術大学院大学を修了。工学博士。現在、南山大学数理情報学部情報通信学科助教授(本データはこの書籍が刊行された当時に掲載されていたものです)
荻野 隆彦
　１９７２年、京都大学大学院電気工学第２学科修了（イリノイ大学コンピュータ科学科修士）。現在、（財）ＪＲ総研に勤務。情報・国際部長(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

前のページへ
ページの先頭へ 図書館トップへ

本文はここまでです。

ページの終わりです。