A formal approach for specification and classification of software components

  • Authors:

  • Sathit Nakkrasae;Peraphon Sophatsathit

  • Affiliations:

  • The University of Louisiana at Lafayette, Lafayette, LA and Chulalongkorn University, Bangkok, 10330, Thailand;Chulalongkorn University, Bangkok, 10330, Thailand

  • Venue:
  • SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Software components have played an important role in modern software and system development. The main contribution of software component is reuse which, in essence, helps reduce development cost and time and increase productivity at the expense of usage problems. Typical component reuse problems are found in large software component repositories due to inefficient component look up and difficulty in furnishing a comprehensive description for component identification, specification, and classification. This paper presents a formal approach based on the well-established object-oriented paradigm to resolve the above difficulty. As each component is searched, an additional precaution is incorporated to ensure the correct result being retrieved. This extra step is known as software certification.