検索結果書誌詳細

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

蔵書情報

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

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

書誌情報サマリ

書名

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

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

書誌詳細

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

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



内容細目

1 ソフトウェア研究と産学連携   1-9
大野 豊／著
2 部分継続にもとづく移動コード機構について   10-19
渡部 卓雄／著
3 代数アプローチによるアーキテクチャ・スタイル記述   20-29
中島 震／著 二木 厚吉／著
4 部分仕様の段階的統合   30-39
磯部 祥尚／ほか著
5 認証の論理とHOLによる認証プロトコルの検証   40-49
沢村 一／著 坂本 綾子／著
6 リアクティブシステム開発のための統合型支援環境   50-55
石井 基樹／ほか著
7 構造化文書を内部表現とする関数仕様書とソースコードの相互参照システムの実現   56-61
荒木 円博／著 手嶋 茂晴／著
8 ビジュアルカスタマイズ方式によるソフトウェアの開発手法   62-67
白銀 純子／著 深沢 良彰／著
9 性能設計における協調・依存グラフの活用   68-73
野田 夏子／著 岸 知二／著
10 形式仕様からシステム要求への反映   74-79
金指 文明／ほか著
11 Distributed system evolution using reflection   80-85
Issam・A・Hamid／著
12 アーキテクチャコンフォーマンスを活用した非機能的特性の設計   86-95
岸 知二／著 野田 夏子／著
13 開放型分散システムの階層的な設計手法   96-105
山根 智／著
14 矛盾を含んだ要求仕様の解釈手法   106-115
杉本 英昭／著 大西 淳／著
15 パターンに基づくエージェントシステム開発手法   116-125
田原 康之／ほか著
16 共通業務を考慮したドメイン分析に基づくプロトタイピングシステム   126-135
川端 亮／ほか著
17 応用ドメインに特化したCASEツールGUI部の自動生成   136-144
宮崎 善史／ほか著
18 並列オブジェクト指向シミュレーションのための記述言語とプログラム設計   145-150
平井 譲／ほか著
19 代数モデルによるUMLの意味論   151-156
飯田 周作／著 二木 厚吉／著
20 隠蔽代数によるオブジェクト指向的仕様記述方法   157-162
松本 充広／著 二木 厚吉／著
21 OAM:オープンエージェントミドルウェア   163-168
塩内 正利／ほか著
22 仕様記述言語SDLに対する静的解析アルゴリズム   169-174
梶 由仁／ほか著
23 開放的分散システムにおけるプロセス間通信機構   175-180
渡辺 慎哉／著 宮本 衛市／著
24 プログラムパターンの段階的抽出手法   181-188
三浦 良／ほか著
25 ソースプログラムに対する変更操作が可能な細粒度ソフトウェアリポジトリの提案   189-198
吉田 敦／ほか著
26 パターン解析による形式的仕様記述言語からのプロトタイプ生成系   199-208
橘 賢二／著 深沢 良彰／著
27 CafeOBJのモジュールシステムの設計およびCafeOBJにより検証   209-218
五百蔵 重典／ほか著

この資料に対する操作

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

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

この資料に対する操作

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

資料情報

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

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

本文はここまでです。

ページの終わりです。