資料詳細

  • 1 件中、 1 件目

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

レクチャーノート　ソフトウェア学 --
鯵坂恒夫 ／編, 満田成紀 ／編   -- 近代科学社 -- ２００３．１１ -- ２６ｃｍ -- ２６４ｐ

資料詳細

タイトル ソフトウェア工学の基礎 １０
シリーズ名 レクチャーノート　ソフトウェア学
著者名等 鯵坂恒夫 ／編, 満田成紀 ／編  
出版 近代科学社 ２００３．１１
大きさ等 ２６ｃｍ ２６４ｐ
分類 007.63
件名 電子計算機－ソフトウェア
注記 日本ソフトウェア科学会ＦＯＳＥ　２００３
要旨 本書は日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（略称ＦＯＳＥ：Ｆｏｕｎｄａｔｉｏｎ　ｏｆ　Ｓｏｆｔｗａｒｅ　Ｅｎｇｉｎｅｅｒｉｎｇ）が主催する第１０回ワークショップの論文集である。
目次 ソフトウェア開発における形式手法の挑戦：ＦＭ０３に見る動向と日本への示唆；Ｓｅｍａｎｔｉｃ　Ｗｅｂに関する話題―誰のため何のためのＳｅｍａｎｔｉｃ　Ｗｅｂ？；ＳＰＩＮを用いたオブジェクト指向分析モデルのデータフロー解析手法；標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援；ソフトウェアの利用実演による操作学習支援手法；ＵＭＬを用いたセキュアなアプリケーション開発のための支援手法；組み込みソフトウェアの階層化されたアスペクト指向ソフトウェアアーキテクチャ群の構築；組み込み用ソフトウェア開発へのモデルチェッキング技術の導入方法について―ケーススタディ：携帯情報端末コルクボードの開発；時間制約検証のためのハードウェア制御フローグラフ抽象化手法の提案；組込みソフトウエア開発マップの提案〔ほか〕
ISBN(13)、ISBN 　　 4-7649-0308-3
書誌番号 1103085898
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1103085898

ページの先頭へ

所蔵

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

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

ページの先頭へ