Lines of Code for Software Estimating - Time for a Reality Check.
Conference
·
OSTI ID:1142885
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1142885
- Report Number(s):
- SAND2008-4845C; 516968
- Country of Publication:
- United States
- Language:
- English
Similar Records
Trade-offs in Encoding for Software Model Checking.
EUForia: Complete Software Model Checking with Uninterpreted Functions.
Reality check on predictive simulationmeasuring and communicating progress in predictive capability.
Conference
·
Sun Dec 31 23:00:00 EST 2017
·
OSTI ID:1512059
EUForia: Complete Software Model Checking with Uninterpreted Functions.
Conference
·
Mon Dec 31 23:00:00 EST 2018
·
OSTI ID:1592217
Reality check on predictive simulationmeasuring and communicating progress in predictive capability.
Conference
·
Tue Jan 31 23:00:00 EST 2006
·
OSTI ID:900413