References
Balci, O., "Verification, Validation, and Accreditation of Simulation Models," Winter Simulation Conference, 1997, pp. 125-141.
Beck, K., Extreme Programming Explained: Embrace Change, Second ed. Reading, Mass.: Addison-Wesley, 2005.
Boehm, B. W., "Building Parametric Models," International Advanced School of Empirical Software Engineering, Rome, Italy, September 29, 2003.
Classen, K. and Hughes, J., "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs," International Conference on Functional Programming, Montreal, Canada, Sept. 18-20, 2000, pp. 268-279.
Cok, D. and Kiniry, J., "ESC/Java2: Uniting ESC/Java and JML - Progress and issues in building and using ESC/Java2," Construction and Analysis of Safe, Secure and Interoperable Smart devices Workshop, Marseille, France, March 10-13, 2004, pp. 108-128.
Denney, E. and Fischer, B., "Software Certificate and Software Certificate Management Systems," Workshop on Software Certificate Management, Long Beach, CA, Nov 8, 2005, pp. 1-6.
Fagan, M., "Design & Code Inspections to Reduce Errors in Program Development," IBM Systems Journal, vol. 15, no. 3, pp. 182-211, 1979.
Hutter, D., "Software Certification Management: How Can Formal Methods Help?" Workshop on Software Certificate Management, Long Beach, CA, Nov 8, 2005, pp. 47-50.
International Society of Parametric Analysts, "Parametric Estimating Handbook," Department of Defense, Online Handbook, April 16, 2005. Available online: http://www.ispa-cost.org/PEIWeb/Third_edition/newbook.htm
Jones, M., "Evidence Management in Programatica," Workshop on Software Certificate Management, Palm Beach, California, 2005.
Musa, J., Software Reliability Engineering: McGraw-Hill, 1998.
The Programatica Team, "Programatica Tools for Certifiable, Auditable Development of High-Assurance Systems in Haskell," High Confidence Software and Systems, Baltimore, MD, 2003.
Whalen, M., "Certificate Management: A Practitioner's Perspective," Workshop on Software Certificate Management, Long Beach, CA, Nov 8, 2005, pp. 23-26.
Williams, L. and Kessler, R., Pair Programming Illuminated. Boston: Addison-Wesley, 2002.