資料詳細

ソフトウェア発展貸出可

日本ソフトウェア科学会／編 -- 岩波書店 -- 2000.12 -- 007.63

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般	公開書庫東	007.6/2000/	00008689291	和書	帯出可	在庫

ページの先頭へ

資料詳細

タイトル	ソフトウェア発展 ,
書名ヨミ	ソフトウェア　ハッテン
著者	日本ソフトウェア科学会／編
著者名ヨミ	ニホンソフトウェアカガクカイ
出版者	岩波書店
出版年	2000.12
ページ数, 大きさ	155p, 26cm
NDC１０版	007.63
NDC８版	007.63
一般件名	ソフトウェア
注記	『コンピュータソフトウェア』別冊
内容紹介	文部省科学研究費補助金特定領域研究「発展機構を備えたソフトウェアの構成原理の研究」(平成9〜12年)から生まれた研究成果を、研究参加者からの公募の形で収集・編集し、まとめる。

ページの先頭へ

内容一覧

タイトル	著者名	ページ
発展型ソフトウェア構築のためのデザインパターンの活用とその評価	増田剛／ほか著	4-18
プログラミングナビゲーションのための関数呼び出し依存グラフ	三浦良／ほか著	19-29
振舞仕様に基づく仕様コンポーネント化技術の発展可能ソフトウェアへの応用	飯田周作／著	30-45
漸次的組化と融合による関数プログラムの最適化	岩崎英哉／ほか著	46-59
一般部分計算法に基づく自動プログラム変換実験システムの開発	二村良彦／著	60-77
有限フレームを意味的基礎として持つ様相論理に対する分解証明法	萩原茂樹／ほか著	78-91
グラフ探索アルゴリズムの発展とその検証	山本光晴／ほか著	92-108
仮説論理プログラミングによる極小変更仕様の計算およびその応用	佐藤健／著	109-121
Kima:並行論理プログラム自動修正系	網代育大／著	122-137
線形論理型言語の効率的なリソース管理モデル	姜京順／ほか著	138-154

ページの先頭へ