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

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

蔵書情報

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

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

書誌情報サマリ

書名	ソフトウェアエンジニアリング最前線　2007
著者名	海谷治彦／編
著者名ヨミ	カイヤハルヒコ
出版者	近代科学社
出版年月	2007.9

この資料に対する操作

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

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

この資料に対する操作

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

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

資料情報

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

No.	所蔵館	配架場所	請求記号	資料番号	資料種別	状態	個人貸出	在庫
1	中央図書館	一般書庫	00763/80/07	0106020003	一般	在庫	可	○

書誌詳細

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

タイトルコード	1000001773839
書誌種別	図書
書名	ソフトウェアエンジニアリング最前線　2007
巻次(漢字)	2007
書名ヨミ	ソフトウェアエンジニアリングサイゼンセン
	情報処理学会SEシンポジウム
言語区分	日本語
著者名	海谷治彦／編　山本修一郎／編
著者名ヨミ	カイヤハルヒコ　ヤマモトシュウイチロウ
出版地	東京
出版者	近代科学社
出版年月	2007.9
本体価格	￥３８００
ISBN	978-4-7649-0341-8
ISBN	4-7649-0341-8
数量	12,226p
大きさ	26cm
分類記号	007.63
件名	ソフトウェア工学

内容細目

No.	内容タイトル	内容著者１	内容著者２
1	Valuing Security	Bashar Nuseibeh／著
2	ソフトウェア工学:40年目の現実	中所武司／著
3	ソフトウェアの仕事はエキサイティング	松原友夫／著
4	アスペクト指向プログラミング	増原英彦／著
5	セキュリティ要求分析	田原康之／ほか著
6	ゴール思考で防ぐIT開発の失敗	山本修一郎／ほか著
7	Model Checking Networked Applications	Cyrille Artho／著
8	ソフトウェア工学の道具としての形式手法	中島震／著
9	Research Methods For Software Engineering	Mike Barker／著
10	ソフトウェア開発とモデリング	荒木啓二郎／ほか著
11	日本のソフトウェア問題	神谷芳樹／ほか著
12	情報フローを考慮したブラウザの計算モデル	立石孝彰／著	田渕直／著
13	ストリーム指向によるXQuery問い合わせ処理の効率化	蜂巣吉成／ほか著
14	語単一化にもとづく文字列テストデータ生成	梅村晃広／著
15	業務アプリケーションに利用するためのAjaxフレームワーク	松塚貴英／著	高山龍二／著
16	任意のオブジェクト間での非同期通信による並列実行処理フレームワーク	中尾太郎／ほか著
17	アンビエントサービス環境上の連続的サービス提供とその評価	青山幹雄／ほか著
18	ソフトウェア信頼度成長モデルにおける統合モデルの曲線の形状と実測データへの適用	古山恒夫／著
19	UMLダイアグラムを対象とした分散共同モデリング支援システム	徐冬梅／ほか著
20	ビジネスプロセスへの情報システム導入におけるゴールマネジメントフレームワークの提案	斎藤忍／著	山本修一郎／著
21	UMLアクティビティ図に対する事象部分グラフ抽出および事象独立性検証アルゴリズム	高木理／ほか著
22	Webアプリケーションのページ遷移の自動抽出と検証	久保淳人／ほか著
23	Wikiを用いた学生による実ソフトウェア開発プロジェクトの管理方法	高橋圭一／著
24	顧客向けプログラム説明書と機能を同期させる一手法の提案	山泉貴之／著
25	モデルとパターンに基づく業務アプリケーションの変更方法とその評価	田中光／著	青山幹雄／著
26	VDM++によるデジタルテレビ制御ソフトウエアの仕様	野中哲／著
27	MetaEdit+によるDomain‐specific modeling開発環境の構築	浅野義雄／著
28	ソフトウェア開発における統一的進化モデルの提案	下滝亜里／著	青山幹雄／著
29	OSGiに基づく拡張可能ソフトウェアの動作情報取得手法	清崎大輔／ほか著
30	プログラミング教育支援のためのプログラム自動可視化ツールAvisの試作	喜多義弘／ほか著