CrossTalk: The Journal of Defense Software Engineering. Volume 19, Number 9
Abstract
"Security in the Software Life Cycle," by Joe Jarzombek and Karen Mercedes Goertzel, emphasizes how developers need to make additional, significant increases in their processes by adding structure and repeatability to further the security and quality of their software. "When Computers Fly, It Has to Be Right: Using SPARK for Flight Control of Small Unmanned Aerial Vehicles," by Dr. Ricky E. Sward, Lt. Col Mark J. Gerken, Ph.D., and 2nd Lt. Dan Casey, describes how SPARK, an annotated subset of the Ada programming language, can help prove the correctness of software implementations. "Application and Evaluation of Built-In-Test (BIT) Techniques in Building Safe Systems," by James A. Butler, presents some of the goals and uses of BIT, as well as its applications in providing a safe system. "Assessing Information Security Risks in the Software Development Life Cycle," by Dr. Douglas A. Ashbaugh, focuses on how to apply simple risk assessment techniques to the software development life cycle process. "Increasing the Likelihood of Success of a Software Assurance Program," by Steven F. Mattern, discusses how investing the resources in a software assurance program during the design, code, and test phases of a software development program will significantly reduce the likelihood of costly mishaps, failures, or system breeches during system operations and support.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 2006
- Accession Number
- ADA487370
Entities
People
- Dan Casey
- Douglas A. Ashbaugh
- James A. Butler
- Joe Jarzombek
- Karen M. Goertzel
- Mark J. Gerken
- Ricky E. Sward
- Steven F. Mattern