Why programs fail a guide to systematic debugging
This book is proof that debugging has graduated from a black art to a systematic discipline. It demystifies one of the toughest aspects of software programming, showing clearly how to discover what caused software failures, and fix them with minimal muss and fuss. The fully updated second edition in...
Autor principal: | |
---|---|
Formato: | Libro electrónico |
Idioma: | Inglés |
Publicado: |
Burlington, MA : Oxford :
Morgan Kaufmann ; Elsevier Science [distributor]
2009.
|
Edición: | 2nd ed |
Materias: | |
Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009627656206719 |
Sumario: | This book is proof that debugging has graduated from a black art to a systematic discipline. It demystifies one of the toughest aspects of software programming, showing clearly how to discover what caused software failures, and fix them with minimal muss and fuss. The fully updated second edition includes 100+ pages of new material, including new chapters on Verifying Code, Predicting Erors, and Preventing Errors. Cutting-edge tools such as FindBUGS and AGITAR are explained, techniques from integrated environments like Jazz.net are highlighted, and all-new demos with ESC/Java and Spec# |
---|---|
Notas: | Previous ed.: Amsterdam; London: Morgan Kaufmann, 2005. |
Descripción Física: | 1 online resource (425 p.) |
Bibliografía: | Includes bibliographical references and index. |
ISBN: | 9781282168817 9786612168819 9780080923000 |