Loading...

Using formal methods in component based software development

Shirali Shahreza, S ; Sharif University of Technology | 2010

815 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/978-90-481-3658-2_75
  3. Publisher: 2010
  4. Abstract:
  5. Reusing the programs which have already been developed can shorten the production time and reduce costs and expenses. One of the important issues in software reuse is finding a program or a program component in a program library which has been already developed and using it in the new program. In view of precision and automation that formal methods can provide, we can use formal methods in retrieval appropriate components from the software libraries. In this paper, some of the works done in the field of retrieval of the components from the libraries by the help of formal methods have been surveyed and reviewed
  6. Keywords:
  7. Component retrieval ; Component-based software development ; Formal methods ; Reuse ; Software engineering ; Component retrieval ; Component-based software development ; New programs ; Production time ; Program components ; Reduce costs ; Reuse ; Software libraries ; Computer software reusability ; Formal methods ; Software engineering ; Software design
  8. Source: 2008 International Conference on Systems, Computing Sciences and Software Engineering, SCSS 2008, Part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE 2008, 5 December 2013 through 13 December 2013 ; 2010 , Pages 429-432 ; 9789048136575 (ISBN)
  9. URL: http://link.springer.com/chapter/10.1007%2F978-90-481-3658-2_75