ソフトウェア発展 [単行本]

販売休止中です

    • ソフトウェア発展 [単行本]

    • ￥2,31070 ゴールドポイント（3％還元）
ソフトウェア発展 [単行本]
100000009001341762

ソフトウェア発展 [単行本]

価格：￥2,310（税込）
ゴールドポイント：70 ゴールドポイント（3％還元）（￥70相当）
日本全国配達料金無料
出版社：岩波書店
販売開始日： 2000/12/18
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

  • 販売休止中です

お気に入りに登録する

お客様へのおすすめ【PR】

ソフトウェア発展 [単行本] の 商品概要

  • 要旨(「BOOK」データベースより）

    本書は、文部省科学研究費補助金特定領域研究「発展機構を備えたソフトウェアの構成原理の研究」（平成９年４月～１２年３月）から生まれた研究成果を、研究参加者からの公募の形で収集・編集したものである。ソフトウェア発展のための基本機構を解明し、そのような機構を備えたソフトウェアを構成するために必要な原理を明らかにした。

  • 目次(「BOOK」データベースより）

    発展型ソフトウェア構築のためのデザインパターンの活用とその評価
    プログラミングナビゲーションのための関数呼び出し依存グラフ
    振舞仕様に基づく仕様コンポーネント化技術の発展可能ソフトウェアへの応用
    漸次的組化と融合による関数プログラムの最適化
    一般部分計算法に基づく自動プログラム変換実験システムの開発
    有限フレームを意味的基礎として持つ様相論理に対する分解証明法
    グラフ探索アルゴリズムの発展とその検証
    仮説論理プログラミングによる極小変更仕様の計算およびその応用
    Ｋｉｍａ：並行論理プログラム自動修正系
    線形論理型言語の効率的なリソース管理モデル

ソフトウェア発展 [単行本] の商品スペック

商品仕様
出版社名：岩波書店
著者名：日本ソフトウェア科学会（編）
発行年月日：2000/12/15
ISBN-10：4000056069
ISBN-13：9784000056069
判型：B5
対象：専門
発行形態：単行本
内容：電子通信
ページ数：155ページ
縦：26cm
その他:「コンピュータソフトウェア」別冊
他の岩波書店の書籍を探す

    岩波書店 ソフトウェア発展 [単行本] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！