Latest Additions to the Library
COVERT: A Framework for Finding Buffer Overflows in C Programs via Software Verification
This report presents COVERT, an automated framework aimed at finding buffer overflows in C programs using state-of-the-art software verification tools and techniques.
Case Study: Model-Based Analysis of the Mission Data System Reference Architecture
This report describes how AADL support an instantiation of a reference architecture, address architectural themes, and provide a foundation for the analysis of performance elements and system assurance concerns.
Reflections on Management: How to Manage Your Software Projects, Your Teams, Your Boss, and Yourself
This book brings together Watts S. Humphrey's most influential essays and articles, sharing insights that are essential for anyone who must achieve quality results in software management.
Acquisition Archetypes: Happy Path Testing
When time and budget are tight, it's tempting to follow the "happy path" in testing. But be careful: it may be a path that brings your program great unhappiness.
Impact of Army Architecture Evaluations
This 2009 report describes the results of a study of the impact that the ATAM evaluations and QAWs had on Army programs.