All Software Engineering/Programming and Operating System Titles
Software and Systems Traceability
Jane Huang, Orlena Gotel, Andrea Zisman
This book offers a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle, focusing on such concepts as reuse of system components, analysis, validation and more.
Software Verification and Analysis
Janusz Laski, William Stanley
This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.