Formal verification and software product lines

Tomoji Kishi, Natsuko Noda

    研究成果: Chapter

    抄録

    Advances in embedded computing technologies have made society extremely dependent on embedded software used in automobile, mobile phone, and home electronics applications, etc. Consequently, the reliability of embedded software is crucial for daily life. In the past, the development of embedded software has been implementation-centric. However, due to an increase in the size and complexity of software and a reduction in development time, it is difficult to produce reliable software using conventional techniques. Therefore, the quality of embedded software has become a matter of concern. To solve this problem, various software engineering techniques, such as analysis/design methods and reuse technologies, are currently introduced. Product line engineering is one of the most advanced software practices based on these results (Clements and Northrop 2001).

    本文言語English
    ホスト出版物のタイトルApplied Software Product Line Engineering
    出版社CRC Press
    ページ231-246
    ページ数16
    ISBN(電子版)9781420068429
    ISBN(印刷版)9781420068412
    DOI
    出版ステータスPublished - 2009 1 1

    ASJC Scopus subject areas

    • コンピュータ サイエンス(全般)
    • 経済学、計量経済学および金融学(全般)
    • ビジネス、管理および会計(全般)

    フィンガープリント

    「Formal verification and software product lines」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル