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
Acquisition Source
Ames Research Center
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
Meeting: International Conference on Software Engineering 2003
Location: Portland, OR
Country: US
Start Date: May 3, 2003
End Date: May 10, 2003
Sponsors: Institute of Electrical and Electronics Engineers
Funding Number(s)
CONTRACT_GRANT: NAS 2-00065
Distribution Limits
Public
Copyright
Public Use Permitted.
No Preview Available