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

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

蔵書情報

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

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

書誌情報サマリ

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

この資料に対する操作

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

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

この資料に対する操作

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

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

資料情報

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

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

書誌詳細

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

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

内容細目

No.	内容タイトル	内容著者１	内容著者２
1	ソフトウェア開発における形式手法の挑戦	荒木啓二郎／著
2	Semantic webに関する話題	山口高平／著
3	SPINを用いたオブジェクト指向分析モデルのデータフロー解析手法	青木利晃／著	片山卓也／著
4	標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援	宮城真弓／ほか著
5	ソフトウェアの利用実演による操作学習支援手法	岩田一／ほか著
6	UMLを用いたセキュアなアプリケーション開発のための支援手法	苅部卓哉／ほか著
7	組み込みソフトウェアの階層化されたアスペクト指向ソフトウェアアーキテクチャ群の構築	熊崎敦司／ほか著
8	組み込み用ソフトウェア開発へのモデルチェッキング技術の導入方法について	松本充広／ほか著
9	時間制約検証のためのハードウェア制御フローグラフ抽象化手法の提案	橋本英明／ほか著
10	組込みソフトウエア開発マップの提案	渡辺晴美／ほか著
11	テキストマイニング技法を応用した要求獲得支援	西村一彦／著	本位田真一／著
12	ルールによるシナリオの正当性検証支援手法	張紅輝／著	大西淳／著
13	役割に着目した分割と統合によるシステム分析法	桜井早苗／ほか著
14	ビジネスオブジェクトを用いた要求分析・設計手法	金子伸幸／ほか著
15	DWARF2デバッグ情報のCASEツールへの応用	権藤克彦／ほか著
16	RDFの細粒度ソフトウェアリポジトリへの応用	吉田一／ほか著
17	追跡子としてのXMLタグによるC前処理問題への対応	川島勇人／著	権藤克彦／著
18	ソフトウェアの変更量とクラスサイズとの関係解析	望月尚美／ほか著
19	仮想マシンの中間言語に基づく回帰テスト選択手法	孝寿俊彦／ほか著
20	モデル図を対象としたインスペクション支援システムの設計	大瓶佳秀／著	櫨山淳雄／著
21	SOFL形式仕様によるソフトウェアテスト	陳雨亭／著	劉少英／著
22	モバイルエージェントによる柔軟なコンテンツ流通を実現するアクティブコンテンツ	吉岡信和／ほか著
23	エージェントのペアリングによる再利用性と動的環境適応性を考慮に入れた記述分離	松崎和賢／ほか著
24	TRMIにおけるマルチスレッド制御機能	杉山安洋／著	加藤剛彦／著
25	名前空間を考慮したDOM木Visitor生成系	蜂巣吉成／著
26	フレームワークに対するアスペクト指向技術によるホットスポットのモジュール性向上	下之園孝／ほか著
27	アスペクト指向アーキテクチャ設計に関する一考察	岸知二／著	野田夏子／著
28	アスペクト指向設計モデルに関する一考察	野田夏子／著	岸知二／著
29	エージェント間プロトコル記述言語FOPLの提案	土肥拓生／ほか著
30	Webサービス連携のためのモバイルエージェント動作記述	石川冬樹／ほか著
31	並行正規表現の同期からインターリーブへの変換	紫合治／著
32	プロセスパターンに対する理論的一考察	服部哲／著	落水浩一郎／著
33	ソフトウェア開発グループ能力を計測するためのコミュニケーションモデル	花川典子／著
34	実行可能なメモリモデルに基づくJava並行プログラムのモデル検査	深谷直彦／ほか著
35	シミュレーションとSAを用いたJavaプログラムの分割と携帯端末上での実装の一手法	浦田繁玄／ほか著
36	LSIにおける検証技術	小松聡／著	藤田昌宏／著
37	プロセス代数における時間拡張	結縁祥治／著
38	実時間システムのモデル検査	中田明夫／著
39	組込みソフトウエア検証技術の実用化	渡辺晴美／著
40	デファクト標準技術に対するソフトウェア工学の取り組み	満田成紀／著