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

個数：

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

鰺坂恒夫/満田成紀【編】
価格 ¥5,500（本体¥5,000）
近代科学社（2003/11発売）
ポイント 50pt

出版社からのお取り寄せとなります。
入荷までにおよそ1～3週間程度かかります。
※商品によっては、品切れ等で入手できない場合がございます。
出荷予定日とご注意事項
※上記を必ずご確認ください

【出荷までの期間】
■通常、およそ1～3週間程度

【ご注意事項】 ※必ずお読みください
◆上記期間よりも日数がかかる場合がございます。
◆お届け日のご指定は承っておりません。
◆品切れ・絶版等により入手できない場合がございます。
◆品切れ・絶版等の確認に2週間以上かかる場合がございます。
◆「帯」はお付けできない場合がございます。
◆画像の表紙や帯等は実物とは異なる場合があります。
◆特に表記のない限り特典はありません。
◆別冊解答などの付属品はお付けできない場合がございます。
◆店舗受取サービスはご利用いただけません。

●3Dセキュア導入とクレジットカードによるお支払いについて

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

内容説明

本書は日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（略称ＦＯＳＥ：Ｆｏｕｎｄａｔｉｏｎ　ｏｆ　Ｓｏｆｔｗａｒｅ　Ｅｎｇｉｎｅｅｒｉｎｇ）が主催する第１０回ワークショップの論文集である。

ソフトウェア開発における形式手法の挑戦：ＦＭ０３に見る動向と日本への示唆
Ｓｅｍａｎｔｉｃ　Ｗｅｂに関する話題―誰のため何のためのＳｅｍａｎｔｉｃ　Ｗｅｂ？
ＳＰＩＮを用いたオブジェクト指向分析モデルのデータフロー解析手法
標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援
ソフトウェアの利用実演による操作学習支援手法
ＵＭＬを用いたセキュアなアプリケーション開発のための支援手法
組み込みソフトウェアの階層化されたアスペクト指向ソフトウェアアーキテクチャ群の構築
組み込み用ソフトウェア開発へのモデルチェッキング技術の導入方法について―ケーススタディ：携帯情報端末コルクボードの開発
時間制約検証のためのハードウェア制御フローグラフ抽象化手法の提案
組込みソフトウエア開発マップの提案〔ほか〕