出版書誌データベース

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

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

編：岡野　浩三
岡野 浩三：大阪大学大学院情報科学研究科　准教授

編：関澤　俊弦
関澤 俊弦:大阪学院大学情報学部 准教授