資料詳細

  • 1 件中、 1 件目

【図書】 ソフトウェア発展

日本ソフトウェア科学会 ／編   -- 岩波書店 -- ２０００．１２ -- ２６ｃｍ -- １５５ｐ

資料詳細

タイトル ソフトウェア発展
著者名等 日本ソフトウェア科学会 ／編  
出版 岩波書店 ２０００．１２
大きさ等 ２６ｃｍ １５５ｐ
分類 007.63
件名 電子計算機－ソフトウェア
注記 『コンピュータソフトウェア』別冊
要旨 本書は、文部省科学研究費補助金特定領域研究「発展機構を備えたソフトウェアの構成原理の研究」（平成９年４月～１２年３月）から生まれた研究成果を、研究参加者からの公募の形で収集・編集したものである。ソフトウェア発展のための基本機構を解明し、そのような機構を備えたソフトウェアを構成するために必要な原理を明らかにした。
目次 発展型ソフトウェア構築のためのデザインパターンの活用とその評価；プログラミングナビゲーションのための関数呼び出し依存グラフ；振舞仕様に基づく仕様コンポーネント化技術の発展可能ソフトウェアへの応用；漸次的組化と融合による関数プログラムの最適化；一般部分計算法に基づく自動プログラム変換実験システムの開発；有限フレームを意味的基礎として持つ様相論理に対する分解証明法；グラフ探索アルゴリズムの発展とその検証；仮説論理プログラミングによる極小変更仕様の計算およびその応用；Ｋｉｍａ：並行論理プログラム自動修正系；線形論理型言語の効率的なリソース管理モデル
ISBN(13)、ISBN 　　 4-00-005606-9
書誌番号 1100075573
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1100075573

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/8599 一般書 利用可 - 2023726893 iLisvirtual

ページの先頭へ