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

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

蔵書情報

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

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

書誌情報サマリ

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

この資料に対する操作

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

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

この資料に対する操作

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

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

資料情報

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

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

書誌詳細

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

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

内容細目

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