Using Formal Methods in Component Based Software Development

Shirali-Shahreza, Sajad; Shirali-Shahreza, M.

doi:10.1007/978-90-481-3658-2_75

Cited by 1 publication

(1 citation statement)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The author present change in domain engineering of the technology based on component technologies. Shirali-Shahreza and Shirali-Shahreza (2010) provided the research method in the field of software component which helps developers to use components based on reviewed and surveyed manners. It helps to reuse the components from existing repositories and make the development speed faster and reliable for future developments.…”

Section: Introductionmentioning

confidence: 99%

Genetic optimized software component reuse model for reducing development and maintenance efforts

Verma¹

2017

Int. j. adv. appl. sci.

View full text Add to dashboard Cite

The proposed algorithm is a hybrid approach to find a software component. The hybrid approach is a combination of various modules called data extraction, Fact and rules, Optimization with genetic algorithm, etc. all these modules process raw data and provide the output as a component for reuse on the basis of various priorities matrixes. Proposed approach uses priority vector for the processing of all entries and define priorities on the basis of availability of various data factors along with issues in the software component. The entire component derived through the raking process with the help of genetic algorithm for the final output. Proposed approach provides average accuracy 99% for detection of software components. Various other parameters are also compared with the existing developed algorithms which provide comparative study and enhancement of the proposed method.

show abstract

Section: Introductionmentioning

confidence: 99%

Genetic optimized software component reuse model for reducing development and maintenance efforts

Verma¹

2017

Int. j. adv. appl. sci.

View full text Add to dashboard Cite

show abstract

Using Formal Methods in Component Based Software Development

Cited by 1 publication

References 30 publications

Genetic optimized software component reuse model for reducing development and maintenance efforts

Genetic optimized software component reuse model for reducing development and maintenance efforts

Contact Info

Product

Resources

About