検索結果書誌詳細

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

蔵書情報

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

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

書誌情報サマリ

書名

ソフトウェア工学の基礎　8　　　　レクチャーノート/ソフトウェア学　26　日本ソフトウェア科学会FOSE2001　

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

書誌詳細

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

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



内容細目

1 ソフトウェア工学の基礎は堅牢か   3-4
阿草 清滋／著
2 埋め込み型プログラムの半自動生成   5-16
大須賀 節雄／著 会田 拓己／著
3 ソフトウェア工学の将来   17-18
五味 隆志／著
4 知的なソフトウェア工学に向けて   19-22
中島 震／著
5 評価戦略における完備性および厳密性解析   23-34
中村 正樹／著 二木 厚吉／著
6 真の並行プロセス論理における充足可能性判定のための項書換え系   35-46
磯部 祥尚／著 大蒔 和仁／著
7 データフローと構造に着目した波及効果解析によるソフトウェア要求仕様の変更支援手法   47-58
杉本 英昭／ほか著
8 TRMIによる分散オブジェクト開発の自動化   59-70
千葉 雄一郎／著 杉山 安洋／著
9 ユースケースの縒合せによるGUIプロトタイプ生成手法   71-82
白銀 純子／著 深沢 良彰／著
10 ClassFactoryを用いたグループ開発作業における排他制御方式の検討   83-92
佐藤 友章／著 杉山 安洋／著
11 細粒度リポジトリにおけるコメント管理方式   93-104
星野 康／ほか著
12 再利用特性に基づくコンポーネントメトリクスの提案と検証   105-116
山本 浩数／ほか著
13 コンポーネント環境における独立条件記述に基づいた条件テスト手法   117-128
坂井 悠樹／ほか著
14 XMLを用いたソフトウェア関連文書とソースプログラムの整合性検査ツール   129-142
戸板 晃一／ほか著
15 実時間制約を考慮したマルチタスキングのモデル化   143-146
清野 貴博／ほか著
16 並行動作するオブジェクトからの処理列の抽出法   147-150
岡崎 光隆／ほか著
17 XML適用システム向けオブジェクト指向方法論   151-154
早瀬 健夫／ほか著
18 アーキテクチャ指向にみるパターンランゲージモデル   155-158
友枝 敦／著
19 カタルシス法用軽量フォーマルメソッド   159-162
松本 充広／ほか著
20 形式工学手法を用いたソフトウェア開発品質の改善   163-166
中農 孝朗／著 劉 少英／著
21 属性を介したメソッド間結合に基づくクラス凝集度メトリクスの提案   167-170
阿万 裕久／ほか著
22 Webアプリケーションにおけるデータ管理機能の構築支援   171-174
沢田 篤史／著
23 線形構造をしたHTML文書のXMLによる管理   175-178
蜂巣 吉成／著
24 階層的漸増テストのためのテストスクリプト自動生成   179-182
伊藤 正之／ほか著
25 協調業務支援システムのプロトタイピングのための統合環境   183-186
川端 亮／ほか著
26 ネットワーク上のサービスの動的な検索・連携のための多階層コミュニケーション・モデル   187-190
来間 啓伸／著 本位田 真一／著
27 モバイルコンピューティングのためのエージェントプラットフォームMolFie   191-194
粂野 文洋／著 本位田 真一／著
28 あるガベージコレクタ開発の経験   195-198
権藤 克彦／著
29 大学事務処理電子化のための環境の構築   199-202
太田 健／著 富樫 敦／著

この資料に対する操作

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

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

この資料に対する操作

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

資料情報

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

No. 資料番号 所蔵館 請求番号 配架場所 資料種別 帯出区分 状態 貸出
1 0020260485県立図書館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…
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。