近代科学社

書籍検索
ジャンル選択

情報

レクチャーノート/ソフトウェア学 第39巻

ソフトウェア工学の基礎XX FOSE2013

編集 岡野 浩三
編集 関澤 俊弦

日本ソフトウェア科学会における「ソフトウェア工学の基礎」研究会(FOSE)が毎年主催するワークショップのための論文集第20巻。FOSEはソフトウェアを知的資産として活用していくための基盤確立を目指す研究会で、関連分野の研究者・技術者に議論の場を提供している。

紙の書籍¥6,000定価(税別)

基本情報

発売日 2013年12月2日
ページ数 336 ページ ※印刷物
サイズ B5
ISBN 9784764904521
ジャンル 情報
タグ ソフトウェア工学

主要目次

記念挨拶/基調講演/1. ソフトウェア設計/2. ソフトウェア開発支援/3. メトリクス/4. プログラム解析/5. 仕様・検証//6. 形式手法/7. 実証的ソフトウェア開発/8. モデル検査・テスト/9. デバッグ支援/10. ソフトウェア開発プロセス/11. モデル表現と変換/12. ライブ論文

目次をさらに表示する