版元ドットコム

探せる、使える、本の情報

文芸 新書 社会一般 資格・試験 ビジネス スポーツ・健康 趣味・実用 ゲーム 芸能・タレント テレビ・映画化 芸術 哲学・宗教 歴史・地理 社会科学 教育 自然科学 医学 工業・工学 コンピュータ 語学・辞事典 学参 児童図書 ヤングアダルト 全集 文庫 コミック文庫 コミックス(欠番扱) コミックス(雑誌扱) コミックス(書籍) コミックス(廉価版) ムック 雑誌 増刊 別冊
ソフトウェア工学の基礎XX FOSE2013 岡野 浩三(編集) - 近代科学社
..
【利用不可】

ソフトウェア工学の基礎XX FOSE2013 (ソフトウェアコウガクノキソ フォスニイゼロイチサン)

コンピュータ
このエントリーをはてなブックマークに追加
発行:近代科学社
B5判
336ページ
定価 6,000円+税
ISBN
978-4-7649-0452-1   COPY
ISBN 13
9784764904521   COPY
ISBN 10h
4-7649-0452-7   COPY
ISBN 10
4764904527   COPY
出版者記号
7649   COPY
Cコード
C3350  
3:専門 3:全集・双書 50:工学・工学総記
出版社在庫情報
不明
書店発売日
登録日
2015年8月13日
最終更新日
2015年8月13日
このエントリーをはてなブックマークに追加

紹介

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

目次

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

著者プロフィール

岡野 浩三  (オカノ コウゾウ)  (編集

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

関澤 俊弦  (セキザワ トシフサ)  (編集

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

上記内容は本書刊行時のものです。