论文信息 - Basic requirements and main features of a system supporting the reusability of mathematical software on personal computers

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

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.

Paolino Di Felice

[1] John C. Nash. Design and implementation of a very small linear algebra program package , 1985, CACM.

[2] E. F. Codd,et al. A relational model of data for large shared data banks , 1970, CACM.

[3] E. F. Codd,et al. A Relational Model for Large Shared Data Banks , 1970 .

[4] P. Di Felice. Abstract data type and mathematical software reusability: two linked concepts , 1990 .

[5] Joseph A. Goguen,et al. Parameterized Programming , 1984, IEEE Transactions on Software Engineering.

[6] Donald D. Chamberlin,et al. SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control , 1976, IBM J. Res. Dev..

[7] Paolino Di Felice,et al. A pascal program for the solution of sparse linear systems – Part I , 1987 .

[8] Václav Rajlich. Refinement Methodology for Ada , 1987, IEEE Transactions on Software Engineering.

[9] Paolino Di Felice,et al. Comparisons of two implementations for the solution of sparse linear systems - Part II , 1987 .

[10] Stavros Christodoulakis,et al. Multimedia document presentation, information extraction, and document formation in MINOS: a model and a system , 1986, TOIS.