図書

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)

Icons representing 図書
The cover of this title could differ from library to library. Link to Help Page

ソフトウェア工学の基礎. 20

(レクチャーノート/ソフトウェア学 ; 39)

Call No. (NDL)
M159-L297
Bibliographic ID of National Diet Library
025014513
Material type
図書
Author
岡野, 浩三ほか
Publisher
近代科学社
Publication date
2013.11
Material Format
Paper
Capacity, size, etc.
320p ; 26cm
NDC
007.61
View All

Detailed bibliographic record

Contents：

日本ソフトウェア科学会FOSE 2013 / 岡野浩三, 関澤俊弦 編学習データ計測時点による欠陥モジュール予測精度の比較 / 内垣聖史, 伊原彰紀, 門田暁人 ほか 著情報流解析におけるDeclassifierの配置手法 / 桑原寛明, 國枝義敏 著...

Summary, etc.：

日本ソフトウェア科学会における「ソフトウェア工学の基礎」研究会(FOSE)の論文集第20巻(Provided by: 出版情報登録センター（JPRO）)

Author introduction：

岡野 浩三 岡野 浩三：大阪大学大学院情報科学研究科　准教授関澤 俊弦 関澤 俊弦:大阪学院大学情報学部 准教授(Provided by: 出版情報登録センター（JPRO）)

Search by Bookstore

Search by Bookstore

Table of Contents

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

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

Kanto

Kinki

Chugoku

  • 岡山県立図書館

    Paper
    Call No.：
    007.63/ｿﾌ06/20
    Book Registration Number：
    0012403838
    岡山県立図書館

Search by Bookstore

Publication bibliographic database Books Find a bookstore where you can purchase books from

Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
978-4-7649-0452-1
Title
ソフトウェア工学の基礎
Title Transcription
ソフトウェア コウガク ノ キソ
Volume
20
Series Title
レクチャーノート/ソフトウェア学 ; 39
Author/Editor (Series Title)
武市正人, 米澤明憲 編集委員
Author Heading
岡野, 浩三 オカノ, コウゾウ ( 00971252 )Authorities
関澤, 俊弦 セキザワ, トシフサ ( 001155890 )Authorities
武市, 正人, 1948- タケイチ, マサト, 1948- ( 00079809 )Authorities
米沢, 明憲, 1947- ヨネザワ, アキノリ, 1947- ( 00158978 )Authorities
Publication, Distribution, etc.
東京 : 近代科学社
Publication Date
2013.11