レクチャーノート／ソフトウェア学 ソフトウェア工学の基礎〈９〉日本ソフトウェア科学会ＦＯＳＥ２００２

井上 克郎【編】

近代科学社（2002/11発売）

• サイズ B5判／ページ数 194p／高さ 26cm
• 商品コード 9784764903036
• NDC分類 007.63
• Cコード C3350

内容説明

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

目次

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

著者等紹介

井上克郎［イノウエカツロウ］
大阪大学
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。