Accession Number : ADA487370


Title :   CrossTalk: The Journal of Defense Software Engineering. Volume 19, Number 9


Descriptive Note : Journal


Corporate Author : SOFTWARE TECHNOLOGY SUPPORT CENTER HILL AFB UT


Personal Author(s) : Jarzombek, Joe ; Goertzel, Karen M ; Sward, Ricky E ; Gerken, Mark J ; Casey, Dan ; Butler, James A ; Ashbaugh, Douglas A ; Mattern, Steven F


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a487370.pdf


Report Date : Sep 2006


Pagination or Media Count : 33


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.


Descriptors :   *SOFTWARE ENGINEERING , *COMPUTER PROGRAM VERIFICATION , *LIFE CYCLE MANAGEMENT , *COMPUTER PROGRAM RELIABILITY , *QUALITY ASSURANCE , *SECURITY , INFORMATION ASSURANCE , MILITARY PUBLICATIONS , ADA PROGRAMMING LANGUAGE , DRONES , RISK ANALYSIS , PERIODICALS , FLIGHT CONTROL SYSTEMS , DEPARTMENT OF DEFENSE


Subject Categories : Administration and Management
      Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE