With chapters on Verifying Code, Predicting Errors, and Preventing Errors, this title explains tools such as FindBUGS and AGITAR, highlights techniques from integrated environments like Jazz.net, and includes demos with ESC/Java and Spec#, Eclipse and Mozilla. It is a complete and pragmatic overview of debugging.


Format Häftad Omfång 544 sidor Språk Engelska Förlag Elsevier Science & Technology Utgivningsdatum 2009-07-22 ISBN 9780123745156