Problems and Methodologies in Mathematical Software Production: International Seminar Held at Sorrento, Italy, November 3–8, 1980

Basic concepts for computational software.- Implementation and testing of function software.- Program correctness and machine arithmetic.- Preparing the NAG library.- Computer-based documentation for the NAG library.- Transportable Numerical Software.- Tools for numerical software engineering.- Portability and other source management problems.- Remarks about performance profiles.- The role of computer centers in the field of mathematical software.- Guidelines for managing mathematical software libraries at computer centers.- Panel session on the challenges for developers of mathematical software.