close
Software Verification and Analysis: An Integrated, Hands-On Approach特惠價
網友評鑑4.5顆星，還在猶豫要不要買嗎?再不買就來不及了
博客來電腦-計算機概論 分類熱銷好書
想看更多[Software Verification and Analysis: An Integrated, Hands-On Approach]的詳細說明嗎
點圖即可看詳細介紹
內容簡介
| This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox. The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification.Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STAD’s handling of the concepts is illustrated.Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach. |
美金：89.95元
本類書籍銷售 Top 5
全站熱搜
留言列表
