Basic requirements and main features of a system supporting the reusability of mathematical software on personal computers

ABSTRACT

To speed up the implementation process of a specific mathematical problem on (sparse) matrices and to increase the quality of the software developed, a system supporting the reusability of units from an existing large software library is particularly useful. In this paper, we sketch the basic requirements of a low cost and easy to use system of this kind.

REFERENCES

• 1: P. Di Felice, E. Clementini, "A Pascal program for the solution of sparse linear systems - Part 1", Advances Eng. Software, Vol.9, No.2, pp. 84-89, 1987.
• 2: P. Di Felice, E. Clementini, "Comparisons of two implementations for the solution of sparse linear systems- Part 2", Advances Eng. Software, Vol.9, No.2, pp. 90-92, 1987.
• 3: John C. Nash, Design and implementation of a very small linear algebra program package, Communications of the ACM, v.28 n.1, p.89-94, Jan. 1985 [doi>10.1145/2465.2470]
• 4: Special Issue on Software Reusability, IEEE Trans. Software Eng., SE- 10, No.5, 1984.
• 5: j.A. Goguen, "Parameterized programming", IEEE Trans. Software Eng., SE-i0, No.5, pp.528-543, 1984.
• 6: V. Rajlich, Refinement methodology for Ada, IEEE Transactions on Software Engineering, v.13 n.4, p.472-478, April 1987 [doi>10.1109/TSE.1987.233183]
• 7: P. Di Felice, "Abstract Data Type and Mathematical Software Reusability: Two Linked Concepts"; 9th Annual IEEE Int. Phoenix Conf. on Computers and Communications, Scottsdale, Arizona, March 21-23, 1990 (in print).
• 8: T.J. B iggerstaff, A.J. Perlis, "Foreword to the Special Issue on Software Reusability", IEEE Trans. Software Eng., SE-10, No.5, pp. 474-476, 1984.
• 9: Oracle Users' Guide, Oracle Corl~ration, 1983.
• 10: CORPORATE Apple Computer Inc. Staff, Hypercard script language guide, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
• 11: E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, v.13 n.6, p.377-387, June 1970 [doi>10.1145/362384.362685]
• 12: D.D. Chamberlin et al., "SEQUEL 2: a unified approach to data definition, manipulation, and control", iBM I. of Research and Development, Vol.20, No.6, pp.560-575, 1976.
• 13: S. Christodoulakis , M. Theodoridou , F. Ho , M. Papa , A. Pathria, Multimedia document presentation, information extraction, and document formation in MINOS: a model and a system, ACM Transactions on Information Systems (TOIS), v.4 n.4, p.345-383, Oct. 1986 [doi>10.1145/9760.9764]
• 14: A. D'Atri, L. Tarantino, "From Browsing to Querying", IEEE Data Engineering, Vol. 12, No.2, pp.46-53, 1989.
• 15: Turbo Pascal 5.5 Owner's Handbook, Borland International, Scotts Valley, CA, 1989.

INDEX TERMS

Primary Classification:
  K. Computing Milieux

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Software libraries
      D.2.m Miscellaneous
          Subjects: Reusable software**
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Data types and structures

  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.3 Numerical Linear Algebra
          Subjects: Sparse, structured, and very large systems (direct and iterative methods)

General Terms:
Algorithms, Design