TOP > ナノオプト発行
 □ ニュースリリース
コミュニケーション・
情報リテラシー
工学一般
情報工学
電子工学
数学
物理学
ビジネス・経済
建築・都市計画
科学一般
公立はこだて未来大学出版会
発行
ナノオプト発行
弊社の書籍はお近くの書店・大学生協でお求めいただけます。店頭にない場合はお店からお取り寄せもできます。また、インターネットでもご購入いただけますので各販売サイトをご覧ください。
  サポート
   正誤表、授業用の教材などが
   あります
  地図(インプレスグループ)
   Google Map


株式会社 近代科学社

〒162-0843
東京都新宿区市谷田町2-7-15
TEL : 03-3260-6161
FAX : 03-3260-6059

 
 ナノオプト発行
 
導入から実践まで4日で学ぶ
モデル検査 初級編

book

発売日:2009.11.12
定価:本体2,800円+税

紀伊國屋書店で注文
アマゾンで注文

 

モデル検査を体験&理解してもらうためのテキスト!

社会の様々なところにソフトウェアが組み込まれ、その規模が飛躍的に大きくなってきている中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストの面で開発の現状に追いつけない状況が出てきている。
 そのテスト手法に代わるものとして注目されているのがモデル検査である。従来のテスト手法に対して、数学的・論理的基盤に基づいて正しさを証明するモデル検査は、無限に近い組合せに対しても正しさを保障できる手法であり、その技術習得がソフトウェア技術者の必須要素として注目されている。
 本書は独立行政法人産業技術総合研究所が主催した「モデル検査研修コース初級編」のテキストを一般向けに加筆修正し、単行本化した1冊です。

 
著者 産業技術総合研究所システム検証研究センター
ページ数 208
サイズ A5
ISBN 978-4-7649-5505-9
     
主要目次

 

 
 
本サイトのご利用についてお問合せプライバシーについて | 会社概要 | インプレスグループサイト | インプレスグループTop |
 Copyright © 2016 Kindai kagaku sha Co.,Ltd, an Impress Group company. All rights reserved.