大分県立図書館 蔵書検索
県立図書館ホームページへ
蔵書検索トップ
詳細検索
ブックリスト
Myライブラリ
レファレンス
機能紹介
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
ソフトウェア発展
貸出可
日本ソフトウェア科学会/編 -- 岩波書店 -- 2000.12 -- 007.63
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
一般
公開書庫東
007.6/2000/
00008689291
和書
帯出可
在庫
ページの先頭へ
資料詳細
タイトル
ソフトウェア発展 ,
書名ヨミ
ソフトウェア ハッテン
著者
日本ソフトウェア科学会
/編
著者名ヨミ
ニホン ソフトウェア カガクカイ
出版者
岩波書店
出版年
2000.12
ページ数, 大きさ
155p, 26cm
NDC10版
007.63
NDC8版
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
ページの先頭へ