検索結果書誌詳細

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

蔵書情報

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

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

書誌情報サマリ

書名

ソフトウェア工学の基礎　9　　　　レクチャーノート/ソフトウェア学　28　日本ソフトウェア科学会FOSE'02　

出版者 近代科学社
出版年月 2002.11

書誌詳細

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

タイトル番号 1009910366796
書誌種別 和書
書名 ソフトウェア工学の基礎　9　　　　レクチャーノート/ソフトウェア学　28　日本ソフトウェア科学会FOSE'02　
書名ヨミ ソフトウェア コウガク ノ キソ　　レクチャー ノート ソフトウェアガク　ニホン ソフトウェア カガクカイ エフオーエスイー ゼロニ
叢書名 レクチャーノート/ソフトウェア学
叢書巻次 28
各巻書名 日本ソフトウェア科学会FOSE'02
出版者 近代科学社
出版地 東京
出版年月 2002.11
ページ数 194p
大きさ 26cm
価格 ￥４５００
言語区分 日本語
ISBN 4-7649-0303-2
分類 007.63
件名 ソフトウェア工学



内容細目

1 情報技術とカタカナ語   1-6
牛島 和夫／著
2 数式処理とWebコンピューティング   7-12
野田 松太郎／著
3 XCI:CASEツール開発向けANSI Cインタプリタの開発経験   13-24
権藤 克彦／著 川島 勇人／著
4 資源適合型アプリケーション統合開発環境の提案   25-36
中川 晋吾／ほか著
5 作業分割による増加工数を考慮した工数見積もりモデルの提案   37-48
花川 典子／ほか著
6 分散オブジェクトの高信頼化へのアプローチ   49-60
杉山 安洋／著
7 システム分析の進展に伴うモデル図の有効利用   61-72
瀬沼 祐志／ほか著
8 異なる視点で記述されたシナリオの統合支援手法   73-84
張 紅輝／ほか著
9 意味要素集合によるUMLアクティビティ図の意味解析   85-94
福安 直樹／ほか著
10 現実的なプログラミング問題作成手法の提案   95-106
藤田 充典／ほか著
11 項書換えを用いた安全性検証の組織化   107-118
清野 貴博／ほか著
12 並行合成エージェントのための真の並行性を考慮した時間付プロセス代数とプロセス論理   119-130
磯部 祥尚／著 大蒔 和仁／著
13 IOA-ToolkitによるNepiネットワークプログラミングシステムの検証   131-142
河辺 義信／著 真野 健／著
14 極小性チェックを必要としない極小変更ソフトウェア仕様の導出   143-150
佐藤 健／著
15 解析可能なオブジェクトモデルとしての制約付きクラス図   151-154
宗像 一樹／著 二木 厚吉／著
16 メソッドの結合範囲に基づいたクラス凝集度メトリクス   155-158
山崎 健司／ほか著
17 Javaプログラミングに対するデザインパターン適用支援ツール   159-162
山下 純司／ほか著
18 アスペクト指向を用いた並列言語実行時環境構成のためのフレームワーク   163-166
児玉 靖司／著 野呂 昌満／著
19 XMLを利用したHTML文書生成系の提案   167-170
蜂巣 吉成／著
20 diffを用いたソフトウェア構成要素の階層化差分   171-174
新美 健一／ほか著
21 プログラム構造の形式化による追従性分析法   175-178
佐藤 匡正／著 岸本 頼紀／著
22 ソフトウェアアーキテクチャにおける形式手法の適用に関する考察   179-182
張 漢明／ほか著
23 表のための属性付きグラフとアルゴリズム   183-186
本橋 友江／ほか著
24 テーブルを用いた形式仕様記述   187-190
小池 憲史／著 二木 厚吉／著
25 CafeOBJにおける書き換えエンジンの停止性   191-194
中村 正樹／ほか著

この資料に対する操作

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

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

この資料に対する操作

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

資料情報

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

No. 資料番号 所蔵館 請求番号 配架場所 資料種別 帯出区分 状態 貸出
1 0020484473県立図書館007.63/ｿﾌ/書庫１一般和書貸可資料　在庫　　　  ○

マイ本棚へ追加ログインするとマイ本棚を利用できます。

関連資料

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

007.63　007.63
【できるYouTuber式Excel…】 できるYouTuber式Excel…
ユースフル(神川… 【知識ゼロから学ぶソフトウェアテスト…】 知識ゼロから学ぶソフトウェアテスト…
高橋 寿一／著 【老いてこそ、スマホ　：　年を重ねて…】 老いてこそ、スマホ　：　年を重ねて…
牧 壮／著,増田… 【パワークエリスタートブック　：　ノ…】 パワークエリスタートブック　：　ノ…
相澤 裕介／著 【プロジェクトマネージャーのためのよ…】 プロジェクトマネージャーのためのよ…
牧石 幸士／著 【クラウドネイティブで実現するマイク…】 クラウドネイティブで実現するマイク…
正野 勇嗣／著,… 【Podmanイン・アクション　：　…】 Podmanイン・アクション　：　…
Daniel W… 【スクラムの拡張による組織づくり　：…】 スクラムの拡張による組織づくり　：…
粕谷 大輔／著 【図解!ChatGPT×Excelの…】 図解!ChatGPT×Excelの…
立山 秀利／著 【Excelパワークエリではじめるデ…】 Excelパワークエリではじめるデ…
古澤 登志美／著 【Excel集計・抽出テクニック大全…】 Excel集計・抽出テクニック大全…
不二 桜／著 【アジャイルプラクティスガイドブック…】 アジャイルプラクティスガイドブック…
常松 祐一／著,… 【ソフトウェア開発にChatGPTは…】 ソフトウェア開発にChatGPTは…
小野 哲／著 【SLOサービスレベル目標　：　SL…】 SLOサービスレベル目標　：　SL…
Alex Hid… 【OneNote基本&便利技】 OneNote基本&便利技
リンクアップ／著 【みんなが使っている!VSCode超…】 みんなが使っている!VSCode超…
清水 美樹／著 【大きな字でわかりやすいスマートフォ…】 大きな字でわかりやすいスマートフォ…
リンクアップ／著 【ソフトウェア設計のトレードオフと誤…】 ソフトウェア設計のトレードオフと誤…
Tomasz L… 【ノンプログラマーのためのVisua…】 ノンプログラマーのためのVisua…
リブロワークス／… 【今すぐ使えるかんたんOutlook…】 今すぐ使えるかんたんOutlook…
AYURA／著 【コンテナセキュリティ　：　コンテナ…】 コンテナセキュリティ　：　コンテナ…
Liz Rice… 【できるゼロからはじめるパソコンお引…】 できるゼロからはじめるパソコンお引…
清水 理史／著,… 【Excelデータ集計・分析実践ビジ…】 Excelデータ集計・分析実践ビジ…
国本 温子／著 【Docker実践ガイド　：　コンテ…】 Docker実践ガイド　：　コンテ…
古賀 政純／著 【図解!Git & GitHubのツ…】 図解!Git & GitHubのツ…
ストーンシステム…
ソフトウェア工学
【知識ゼロから学ぶソフトウェアテスト…】 知識ゼロから学ぶソフトウェアテスト…
高橋 寿一／著 【プロジェクトマネージャーのためのよ…】 プロジェクトマネージャーのためのよ…
牧石 幸士／著 【クラウドネイティブで実現するマイク…】 クラウドネイティブで実現するマイク…
正野 勇嗣／著,… 【Podmanイン・アクション　：　…】 Podmanイン・アクション　：　…
Daniel W… 【スクラムの拡張による組織づくり　：…】 スクラムの拡張による組織づくり　：…
粕谷 大輔／著 【アジャイルプラクティスガイドブック…】 アジャイルプラクティスガイドブック…
常松 祐一／著,… 【ソフトウェア開発にChatGPTは…】 ソフトウェア開発にChatGPTは…
小野 哲／著 【SLOサービスレベル目標　：　SL…】 SLOサービスレベル目標　：　SL…
Alex Hid… 【ソフトウェア設計のトレードオフと誤…】 ソフトウェア設計のトレードオフと誤…
Tomasz L… 【コンテナセキュリティ　：　コンテナ…】 コンテナセキュリティ　：　コンテナ…
Liz Rice… 【Docker実践ガイド　：　コンテ…】 Docker実践ガイド　：　コンテ…
古賀 政純／著 【図解!Git & GitHubのツ…】 図解!Git & GitHubのツ…
ストーンシステム… 【Good Code,Bad Cod…】 Good Code,Bad Cod…
Tom Long… 【オブザーバビリティ・エンジニアリン…】 オブザーバビリティ・エンジニアリン…
Charity … 【要件最適アーキテクチャ戦略　：　モ…】 要件最適アーキテクチャ戦略　：　モ…
Vaughn V… 【AIリスク・マネジメント　：　信頼…】 AIリスク・マネジメント　：　信頼…
中島 震／著 【マイクロサービスアーキテクチャ】 マイクロサービスアーキテクチャ
Sam Newm… 【アジャイル開発の法務　：　スクラム…】 アジャイル開発の法務　：　スクラム…
梅本 大祐／著 【ソフトウェアアーキテクチャ・ハード…】 ソフトウェアアーキテクチャ・ハード…
Neal For… 【Docker&仮想サーバー完全入門…】 Docker&仮想サーバー完全入門…
リブロワークス／… 【ソフトウェア工学の基礎】 ソフトウェア工学の基礎
玉井 哲雄／著 【ソフトウェア品質を高める開発者テス…】 ソフトウェア品質を高める開発者テス…
高橋 寿一／著 【システム運用アンチパターン　：　エ…】 システム運用アンチパターン　：　エ…
Jeffery … 【ソフトウェアアーキテクチャの基礎　…】 ソフトウェアアーキテクチャの基礎　…
Mark Ric… 【Googleのソフトウェアエンジニ…】 Googleのソフトウェアエンジニ…
Titus Wi…
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。