Problems and Methodologies in Mathematical Software Production: International Seminar Held at Sorrento, Italy, November 3-8, 1980
Paul C. Messina, A. Murli, Gruppo nazionale per l'informatica matematica · Medical Entomology and Zoology · 1982
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.