ソフトウェア工学の基礎〈3〉日本ソフトウェア科学会FOSE'96(レクチャーノート ソフトウェア学〈17〉) [全集叢書]

ソフトウェア工学の基礎〈3〉日本ソフトウェア科学会FOSE'96(レクチャーノート ソフトウェア学〈17〉) の 商品概要

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

  本書は、１９９６年１２月に会津若松市で開催された、「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第３回ワークショップの論文集であり、厳正なる審査によって採択された３５編の論文からなっている。

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

  フィルタ強等価を基にした部分的仕様の合成方法
  Ａｕｔｏｍａｔｉｃ　Ｓｙｎｔｈｅｓｉｓ　ｏｆ　Ｓｐｅｃｉｆｉｃａｔｉｏｎｓ　ｆｒｏｍ　Ｓｙｓｔｅｍ　Ｒｅｑｕｉｒｅｍｅｎｔｓ
  オブジェクト指向代数仕様作成のケーススタディ
  重み付き依存グラフを用いたソフトウェア部品の洗練
  プログラム理解のための依存関係表示ツール
  並行オブジェクト指向言語に対する部分計算
  Ｇｅｎｅｒｉｃ　Ｉｎｔｅｒａｃｔｉｏｎ　Ｍｏｄｅｌに基づく並行問題の設計
  コミュニケーションモデルに基づくビジュアルな要求仕様化支援
  ドメインモデルに基づくシステム開発ナビゲータ
  クラスシステムに基づくソフトウェア開発環境向けグラフィカルユーザインタフェースの生成〔ほか〕

ソフトウェア工学の基礎〈3〉日本ソフトウェア科学会FOSE'96(レクチャーノート ソフトウェア学〈17〉) の商品スペック