資料詳細

  • 1 件中、 1 件目

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

レクチャーノート／ソフトウェア学 --
杉山安洋 ／編, 藤田ハミド ／編   -- 近代科学社 -- ２００１．１１ -- ２６ｃｍ -- ２０２ｐ

資料詳細

タイトル ソフトウェア工学の基礎 ８
シリーズ名 レクチャーノート／ソフトウェア学
著者名等 杉山安洋 ／編, 藤田ハミド ／編  
出版 近代科学社 ２００１．１１
大きさ等 ２６ｃｍ ２０２ｐ
分類 007.63
件名 電子計算機－ソフトウェア
注記 日本ソフトウェア科学会ＦＯＳＥ　２００１　シリーズの編者：武市正人，米澤明憲
要旨 本書は、２００１年１１月に岩手県安代町で開催される、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第８回ワークショップ（ＦＯＳＥ２００１）の論文集である。招待講演論文とパネル討論、ならびに、厳正な審査によって採択された２５件の論文から成っている。
目次 ソフトウェア工学の基礎は堅牢か；埋め込み型プログラムの半自動生成；ソフトウェア工学の将来；パネル：知的なソフトウェア工学に向けて；評価戦略における完備性および厳密性解析；真の並行プロセス論理における充足可能性判定のための項書換え系；データフローと構造に着目した波及効果解析によるソフトウェア要求仕様の変更支援手法；ＴＲＭＩによる分散オブジェクト開発の自動化；ユースケースの縒合せによるＧＵＩプロトタイプ生成手法；ＣｌａｓｓＦａｃｔｏｒｙを用いたグループ開発作業における排他制御方式の検討〔ほか〕
ISBN(13)、ISBN 　　 4-7649-0298-2
書誌番号 1101070035
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1101070035

ページの先頭へ

所蔵

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

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

ページの先頭へ