• DocumentCode
    1450261
  • Title

    Formal Methods in Software Product Line Engineering

  • Author

    Schaefer, Ina ; Hähnle, Reiner

  • Author_Institution
    Braunschweig Univ. of Technol., Braunschweig, Germany
  • Volume
    44
  • Issue
    2
  • fYear
    2011
  • Firstpage
    82
  • Lastpage
    85
  • Abstract
    Formal methods could overcome the limitations of current SPLE practice, ensuring high product quality while decreasing time to market.
  • Keywords
    formal specification; product development; formal methods; product quality; software product line engineering; Product design; Product development; Quality assessment; Software engineering; Formal methods; Software product line engineering;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

  • DOI
    10.1109/MC.2011.47
  • Filename
    5713307
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1450261