Oxford, England, 8 - 12 July 1996

*edited by*

Ronald F. Boisvert
*
National Institute of Standards and Technology,
Gaithersburg, Maryland, USA*

Published by CHAPMAN & HALL (transformed first to
Kluwer and later to Springer)
on behalf of the International Federation for Information Processing (IFIP),
LONDON and NEW YORK 1997, $ 139.95 or £ 75.

ISBN 0-412-80530-8.

The publishers page for the proceedings is available.

Preface Brian Ford and John R. Rice ix

Is numerical software relevant? Is it too late to worry about quality? James C. T. Pool 3-11 The T-experiments: errors in scientific software L. Hatton 12-31 If software quality is a perception, how do we measure it? W. M. Gentleman 32-43 Improving quality through user-centered design Cherri M. Pancake 44-60 A functional approach to software reliability modeling J. C. Munson 61-76 Quality of service and scientific workflows Mladen A. Vouk and Munindar P. Singh 77-89 Improving the quality of software quality determination processes Leon J. Osterweil 90-106

Testing linear algebra software Nicholas J. Higham 109-124 Matrix Market : a web resource for test matrix collections Ronald F. Boisvert, Roldan Pozo, Karin Remington, Richard F. Barrett and Jack J. Dongarra 125-137 A methodology for testing classes of approximation and optimisation software Bernard Butler, Maurice Cox, Alistair Forbes, Simon Hannaby and Peter Harris 138-151 Evaluation of minimization software based on performance profile techniques J. N. Lyness 152-154 Testing functions of one and two arguments W. Van Snyder 155-166 A proposed software test service for special functions Daniel W. Lozier 167-178 The evaluation of numerical software for delay differential equations W. H. Enright and H. Hayashi 179-193

Designing and building a new numerical library in Fortran 90 Jeremy Du Croz 197-209 Two approaches to exception handling in Fortran J. K. Reid 210-223 Developing ODE software in new computing environments L. F. Shampine and M. W. Reichelt 224-235 Case studies on the development of ScaLAPACK and the NAG Numerical PVM Library Jack J. Dongarra, S. Hammarling, and A. Petitet 236-248 Why we couldn't use numerical libraries for PETSc William D. Gropp 249-254 Automatic parallel program generation for finite element analysis Shun Doi, Hidehiro Fujio and Kouta Sugihara 255-266 Network-based scientific computation via Inferno W. M. Coughran, Jr. 267-269 Real Inferno Eric Grosse 270-279 The XSC tools for extended scientific computing Ulrich Kulisch 280-284

Automatic differentiation and numerical software design Christian H. Bischof 287-299 Is nonnormality a serious computational difficulty in practice? Françoise Chaitin-Chatelin 300-314 Reliability of local error control algorithms for initial value ordinary differential equations Desmond J. Higham 315-325 Efficiency of global adaptive quadrature I. Gladwell and M.A. Napierala 326-329 Software testing and evaluation in large-scale scientific applications Mo Mu 330-332 The visual diagnosis on numerical calculation of PDE problems and experiments Yukio Umetani 333-344 Some fundamental limitations of mathematical software revealed by the calculation of spacetime curvature S. L. Lee and W. E. Schiesser 345-348 Development of efficient general purpose Monte Carlo codes used in nuclear engineering M. Nakagawa 349-360 New resource-sparing grid methods for solving the problems of mathematical physics Yu. I. Shokin 361-372

The Quality of Numerical Software: Assessment and Enhancement 375-380 Index of Contributors 381 Keyword Index 383-384

Last modified: 16 March 2005

Imprint