Title: On the Intersection of V&V and SQE (Software Engineering Seminar Series) Speaker: Tim Trucano, Sandia National Laboratories Date/Time: Wednesday, November 28, 2007, 11:30 am - 12:30 pm Location: CSRI Building, Room 90 (Sandia NM) Brief Abstract: In this talk I will discuss the role of software engineering in performing verification and validation of high performance computational science software. I emphasize three areas where the intersection of software engineering methodologies and the goals of computational science verification and validation clearly overlap. These areas are: (1) the evidence of verification and validation that adherence to formal software engineering methodologies provides; (2) testing; and (3) qualification, or acceptance, of software. In each case I will discuss some challenges and opportunities presented by consideration of the SQE/V&V overlap. I will conclude by emphasizing two major computational science V&V concerns that fall outside the domain of SQE, that is, experimental validation and solution verification. CSRI POC: Todd Coffey, (505) 845-0520, Heidi Thornquist, (505) 284-8426, Bob Heaphy, |