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

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

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

  本書は、２００１年１１月に岩手県安代町で開催される、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第８回ワークショップ（ＦＯＳＥ２００１）の論文集である。招待講演論文とパネル討論、ならびに、厳正な審査によって採択された２５件の論文から成っている。

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

  ソフトウェア工学の基礎は堅牢か
  埋め込み型プログラムの半自動生成
  ソフトウェア工学の将来
  パネル：知的なソフトウェア工学に向けて
  評価戦略における完備性および厳密性解析
  真の並行プロセス論理における充足可能性判定のための項書換え系
  データフローと構造に着目した波及効果解析によるソフトウェア要求仕様の変更支援手法
  ＴＲＭＩによる分散オブジェクト開発の自動化
  ユースケースの縒合せによるＧＵＩプロトタイプ生成手法
  ＣｌａｓｓＦａｃｔｏｒｙを用いたグループ開発作業における排他制御方式の検討〔ほか〕

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

  杉山 安洋(スギヤマ ヤスヒロ)
  日本大学
  
  藤田 ハミド(フジタ ハミド)
  岩手県立大学

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