A formal approach for specification and classification of software components
Sathit Nakkrasae, Peraphon Sophatsathit · 2002
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.