• DocumentCode
    2205605
  • Title

    The Research of Component-Based Dependable Software Development

  • Author

    Deng, Bo ; Yi, Shuanghui

  • Author_Institution
    Beijing Inst. of Syst. & Eng., Beijing, China
  • fYear
    2010
  • fDate
    June 29 2010-July 1 2010
  • Firstpage
    2822
  • Lastpage
    2824
  • Abstract
    After analyzing the dependability of Component-Based Software Systems, this paper brings forward the dependable software development reference model. Based on this reference model, key technologies about dependability encapsulation, dependability composition and verification and evaluation of dependability have been discussed, which can support the development of dependability for Component-Based Software Systems.
  • Keywords
    object-oriented programming; software engineering; component-based dependable software development; dependability composition; dependability encapsulation; dependability evaluation; dependability verification; dependable software development reference model; Computational modeling; Databases; Encapsulation; Object oriented modeling; Programming; Software; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on
  • Conference_Location
    Bradford
  • Print_ISBN
    978-1-4244-7547-6
  • Type

    conf

  • DOI
    10.1109/CIT.2010.471
  • Filename
    5578513