Tim Daly
Software Engineering Institute
Publications by Tim Daly
-
Results of SEI Independent Research and Development Projects (FY 2010)
February 01, 2011 • Technical Report
William AndersonDavid FisherDavid P. Gluch
This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.
read -
Function Extraction (FX) Research for Computation of Software Behavior: 2010 Development and Application of Semantic Reduction Theorems for Behavior Analysis
February 01, 2011 • Technical Report
Richard C. Linger (Oak Ridge National Laboratory)Tim DalyMark Pleszkoch
In this report, the authors present research to compute the behavior of software with mathematical precision and how this research has been implemented.
read -
Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification
April 29, 2007 • White Paper
Tim DalyRichard C. Linger (Oak Ridge National Laboratory)Stacy J. Prowell
This paper describes verification and certification challenges for avionics software.
read