資料詳細

  • 1 件中、 1 件目

【図書】 ソフトウェア工学の基礎 ９

レクチャーノート／ソフトウェア学 --
井上克郎 ／編   -- 近代科学社 -- ２００２．１１ -- ２６ｃｍ -- １９４ｐ

資料詳細

タイトル ソフトウェア工学の基礎 ９
シリーズ名 レクチャーノート／ソフトウェア学
著者名等 井上克郎 ／編  
出版 近代科学社 ２００２．１１
大きさ等 ２６ｃｍ １９４ｐ
分類 007.63
件名 電子計算機－ソフトウェア
注記 日本ソフトウェア科学会ＦＯＳＥ　２００２　シリーズの編者：武市正人，米澤明憲
要旨 本書は、２００２年１１月に愛媛県松山市で開催される、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）第９回ワークショップの論文集である。
目次 招待講演（情報技術とカタカナ語；数式処理とＷｅｂコンピューティング）；開発と環境（ＸＣＩ：ＣＡＳＥツール開発向けＡＮＳＩ　Ｃインタプリタの開発経験；資源適合型アプリケーション統合開発環境の提案　ほか）；分析（システム分析の進展に伴うモデル図の有効利用；異なる視点で記述されたシナリオの統合支援手法　ほか）；論理と検証（項書換えを用いた安全性検証の組織化；並行合成エージェントのための真の並行性を考慮した時間付プロセス代数とプロセス論理　ほか）；オブジェクト指向（解明可能なオブジェクトモデルとしての制約付きクラス図；メソッドの結合範囲に基づいたクラス凝集度メトリクス　ほか）；形式化（ｄｉｆｆを用いたソフトウェア構成要素の階層化差分；プログラム構造の形式化による追従性分析法　ほか）
ISBN(13)、ISBN 　　 4-7649-0303-2
書誌番号 1102068811

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/1423/28 一般書 利用可 - 2028326842 iLisvirtual

ページの先頭へ