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;
Conference_Titel :
Twin Peaks of Requirements and Architecture (TwinPeaks), 2013 2nd International Workshop on the
Conference_Location :
San Francisco, CA
DOI :
10.1109/TwinPeaks.2013.6614714
