A Database of Software Components: An Algebraic Structure and Its Implementation

  • Noureddine Boudriga
  • Ali Mili


Software development will remain something of a handcraft as long as each new program is developed from scratch, without using existing software components. On the other hand, software components present such a diversity of functional properties that the problem of storing them and retrieving them is very difficult. In this paper we propose a structure for a data base of software components, and discuss how this structure addresses some of the issues pertaining to the storage and retrieval of software components.


Software Component Software Reuse Software Database Store Operation Program Text 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ben Cherfia et al, 89]
    Ben Cherifa, A., N. Boudriga, A. Mili, R.T. Mittermeir, and W. Rossa: A Formal Specification Structure for Software Reuse. Submitted, 1989.Google Scholar
  2. [Boudriga et al, 89]
    Boudriga, N., A. Mili, F. Mili.: Towards Structured Specifying. Chichester, UK: Ellis Horwood Ltd, 1989.Google Scholar
  3. [Boudriga et al, 90]
    Boudriga, N., F. Elloumi and A. Mili.: On the Lattice of Specifications. Submitted, 1990.Google Scholar
  4. [Liu, 77]
    Liu, C.L.: Elements of Discrete Mathematics. New York, NY: McGraw Hill, 1977.MATHGoogle Scholar
  5. [Mili et al, 86]
    Mili, A., X-Y Wang, and Q Yu.: Specification Methodology: An Integrated Relational Approach. Software-Practice and Experience. 16(11), november 1986, pp 1003–1030.MATHCrossRefGoogle Scholar
  6. [Mili et al, 87]
    Mili, A., J. Desharnais, F. Mili: Relational Heuristics for the Construction of Deterministic Programs. Acta Informatica. July 1987.Google Scholar
  7. [Mittermeir, 83]
    Mittermeir, R.T.: Software Base for Adaptive Maintenance of Complex Software Systems. Proceedings, 7th International ADV Congress. Vienna, 1983.Google Scholar
  8. [Mittermeir and Oppitz, 87]
    Mittermeir, R.T. and M. Oppitz.: Software Base for the Flexible Composition of Application Systems. IEEE Transactions on Software Engineering. Vol SE-13(4), April 1987, pp 440–460.CrossRefGoogle Scholar
  9. [Mittermeir and Rossak, 87]
    Mittermeir R.T. and W. Rossak.: Software Bases and Software Archives- Alternatives to support Software Reuse. Proceedings of the Fall Joint Computer Conference. Dallas, USA, October 1987.Google Scholar
  10. [Mittermeir, 88]
    Mittermeir, R.T.: “Specification Aspects for Software Reuse”. First Algerian Conference on Software Engineering. Oran, Algeria, October 1988.Google Scholar
  11. [Mittermeir and Rossak, 89]
    Mittermeir, R.T and W. Rossak.: Reusability. In: Handbook of Computer Aided Software Engineering. Ng, P.A. and R.T. Yeh, editors. Van Nostrand, 1989.Google Scholar
  12. [Morgan, 88]
    Morgan, C., K. Robinson, P. Gardiner.: On The Refinement Calculus. Oxford University Computing Laboratory. Technical report PRG-70. October 1988.Google Scholar
  13. [Wegner, 84]
    Wegner, P.: Capital Intensive Software Technology. IEEE- Software. Vol 1 (3), July 1984, pp 7–45.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag/Wien 1990

Authors and Affiliations

  • Noureddine Boudriga
    • 1
  • Ali Mili
    • 1
  1. 1.Department of InformaticsFaculty of SciencesBelvedereTunisia

Personalised recommendations