ソフトウェア発展

Author(s)

• 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ

Bibliographic Information

ソフトウェア発展

日本ソフトウェア科学会編

（コンピュータソフトウェア / 日本ソフトウェア科学会編集, 別冊）

岩波書店, 2000.12

Other Title

Software evolution

Title Transcription

ソフトウェア ハッテン

Access to Electronic Resource 1 items

• ソフトウェア発展

  2000

  NDL Digital Collections

  Limited

Note

参考文献: 各論末

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

• NCID: BA50343931
• ISBN:
  • 4000056069
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vi, 155p
• Size: 26cm
• Classification:
  • NDC8 : 007.63
  • NDC9 : 007.63
  • NDLC : M159
• Subject Headings:
  • BSH : 電子計算機
  • NDLSH : ソフトウェア
• Parent Bibliography ID:
  • BA50994940