IFIP

QUALITY OF NUMERICAL SOFTWARE: ASSESSMENT AND ENHANCEMENT

Proceedings of the IFIP TC 2/WG 2.5 Working Conference on
The Quality of Numerical Software: Assessment and Enhancement
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.


TABLE OF CONTENTS

    Preface
    Brian Ford and John R. Rice					ix

PART I : THE PROBLEM OF NUMERICAL SOFTWARE QUALITY

        
    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

PART II : TESTING AND EVALUATION METHODOLOGY

            
    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

PART III : EFFECT OF NEW ENVIRONMENTS ON NUMERICAL SOFTWARE QUALITY

            
    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

PART IV : CASE STUDIES

            
    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

PART V : THE CONFERENCE

            
    The Quality of Numerical Software:  Assessment and Enhancement
    								375-380


    Index of Contributors					381

    Keyword Index						383-384


Last modified: 16 March 2005
boein@nsc.liu.se