レクチャーノート／ソフトウェア学
ソフトウェア工学の基礎 XX
FOSE2013
編：岡野 浩三
編：関澤 俊弦
紙版
内容紹介
日本ソフトウェア科学会における「ソフトウェア工学の基礎」研究会(FOSE)が毎年主催するワークショップのための論文集第20巻。FOSEはソフトウェアを知的資産として活用していくための基盤確立を目指す研究会で、関連分野の研究者・技術者に議論の場を提供している。
目次
記念挨拶／基調講演／1. ソフトウェア設計／2. ソフトウェア開発支援／3. メトリクス／4. プログラム解析／5. 仕様・検証／／6. 形式手法／7. 実証的ソフトウェア開発／8. モデル検査・テスト／9. デバッグ支援／10. ソフトウェア開発プロセス／11. モデル表現と変換／12. ライブ論文
ISBN：9784764904521
。出版社：近代科学社
。判型：B5
。ページ数：336ページ
。定価：6000円（本体）
。発行年月日：2013年12月
。発売日：2013年12月02日
。国際分類コード【Thema（シーマ）】 １：UB。
