• DocumentCode
    637848
  • Title

    Contents

  • fYear
    2013
  • fDate
    21-21 May 2013
  • Firstpage
    1
  • Lastpage
    1
  • Abstract
    The following topics are dealt with: cyberphysical systems; quality attribute; design decision; software deployment architecture; software requirement engineering; and software product line.
  • Keywords
    formal specification; formal verification; product development; software architecture; software quality; software reusability; cyberphysical systems; design decision; quality attribute; software deployment architecture; software product line; software requirement engineering;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Twin Peaks of Requirements and Architecture (TwinPeaks), 2013 2nd International Workshop on the
  • Conference_Location
    San Francisco, CA
  • Type

    conf

  • DOI
    10.1109/TwinPeaks.2013.6614714
  • Filename
    6614714