ソフトウェア工学の基礎〈9〉日本ソフトウェア科学会FOSE2002(レクチャーノート・ソフトウェア学〈28〉) [全集叢書]

ソフトウェア工学の基礎〈9〉日本ソフトウェア科学会FOSE2002(レクチャーノート・ソフトウェア学〈28〉) の 商品概要

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

  本書は、２００２年１１月に愛媛県松山市で開催される、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）第９回ワークショップの論文集である。

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

  招待講演（情報技術とカタカナ語
  数式処理とＷｅｂコンピューティング）
  開発と環境（ＸＣＩ：ＣＡＳＥツール開発向けＡＮＳＩ　Ｃインタプリタの開発経験
  資源適合型アプリケーション統合開発環境の提案　ほか）
  分析（システム分析の進展に伴うモデル図の有効利用
  異なる視点で記述されたシナリオの統合支援手法　ほか）
  論理と検証（項書換えを用いた安全性検証の組織化
  並行合成エージェントのための真の並行性を考慮した時間付プロセス代数とプロセス論理　ほか）
  オブジェクト指向（解明可能なオブジェクトモデルとしての制約付きクラス図
  メソッドの結合範囲に基づいたクラス凝集度メトリクス　ほか）
  形式化（ｄｉｆｆを用いたソフトウェア構成要素の階層化差分
  プログラム構造の形式化による追従性分析法　ほか）

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  井上 克郎(イノウエ カツロウ)
  大阪大学

ソフトウェア工学の基礎〈9〉日本ソフトウェア科学会FOSE2002(レクチャーノート・ソフトウェア学〈28〉) の商品スペック