検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

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

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

書誌情報サマリ

書名	ソフトウェア工学の基礎　8
出版者	近代科学社
出版年月	2001.11

この資料に対する操作

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

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

この資料に対する操作

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

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

資料情報

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

No.	所蔵館	配架場所	請求記号	資料番号	資料種別	状態	個人貸出	在庫
1	西部図書館	一般書庫	0076/1785/8	1101769306	一般	在庫	可	○

書誌詳細

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

タイトルコード	1000000967428
書誌種別	図書
書名	ソフトウェア工学の基礎　8
巻次(漢字)	8
書名ヨミ	ソフトウェアコウガクノキソ
叢書名	レクチャーノート／ソフトウェア学
叢書番号	26
各巻書名	日本ソフトウェア科学会FOSE2001
言語区分	日本語
出版地	東京
出版者	近代科学社
出版年月	2001.11
本体価格	￥３０００
ISBN	4-7649-0298-2
数量	202p
大きさ	26cm
分類記号	007.63
件名	ソフトウェア工学

内容細目

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