NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Technology Transfer Challenges for High-Assurance Software Engineering ToolsIn this paper, we describe our experience with the challenges thar we are currently facing in our effort to develop advanced software verification and validation tools. We categorize these challenges into several areas: cost benefits modeling, tool usability, customer application domain, and organizational issues. We provide examples of challenges in each area and identrfj, open research issues in areas which limit our ability to transfer high-assurance software engineering tools into practice.
Document ID
20030054511
Document Type
Conference Paper
Authors
John Penix (Ames Research Center Mountain View, California, United States)
Lawrence Z Markosian (KBR Wyle Services, LLC Moffett Field, CA, United States)
Date Acquired
August 21, 2013
Publication Date
April 8, 2003
Subject Category
Computer Programming and Software
Meeting Information
International Conference on Software Engineering 2003(Portland, OR)
Funding Number(s)
CONTRACT_GRANT: NAS 2-00065
Distribution Limits
Public
Copyright
Public Use Permitted.

Available Downloads

NameType 20030054511.pdf STI