Skip to main content

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

  • Chapter
  • 117 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. 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, N., A. Mili, F. Mili.: Towards Structured Specifying. Chichester, UK: Ellis Horwood Ltd, 1989.

    Google Scholar 

  3. Boudriga, N., F. Elloumi and A. Mili.: On the Lattice of Specifications. Submitted, 1990.

    Google Scholar 

  4. Liu, C.L.: Elements of Discrete Mathematics. New York, NY: McGraw Hill, 1977.

    MATH  Google Scholar 

  5. 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.

    Article  MATH  Google Scholar 

  6. Mili, A., J. Desharnais, F. Mili: Relational Heuristics for the Construction of Deterministic Programs. Acta Informatica. July 1987.

    Google Scholar 

  7. Mittermeir, R.T.: Software Base for Adaptive Maintenance of Complex Software Systems. Proceedings, 7th International ADV Congress. Vienna, 1983.

    Google Scholar 

  8. 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.

    Article  Google Scholar 

  9. 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, R.T.: “Specification Aspects for Software Reuse”. First Algerian Conference on Software Engineering. Oran, Algeria, October 1988.

    Google Scholar 

  11. 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, C., K. Robinson, P. Gardiner.: On The Refinement Calculus. Oxford University Computing Laboratory. Technical report PRG-70. October 1988.

    Google Scholar 

  13. Wegner, P.: Capital Intensive Software Technology. IEEE- Software. Vol 1 (3), July 1984, pp 7–45.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag/Wien

About this chapter

Cite this chapter

Boudriga, N., Mili, A. (1990). A Database of Software Components: An Algebraic Structure and Its Implementation. In: Tjoa, A.M., Wagner, R. (eds) Database and Expert Systems Applications. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7553-8_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-7553-8_26

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-82234-0

  • Online ISBN: 978-3-7091-7553-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics