Abstract :
The following topics are dealt with: behavioural requirements; embedded system features; sustainability requirement pattern language; RSL-PL; linguistic pattern language; software requirement documentation; transparency representation; grammatical knowledge pattern; requirement specification structuring; product line variability; and early requirement documents.
Keywords :
computational linguistics; embedded systems; formal specification; formal verification; RSL-PL; behavioural requirements; early requirement documents; embedded system features; grammatical knowledge pattern; linguistic pattern language; product line variability; requirement specification structuring; software requirement documentation; sustainability requirement pattern language; transparency representation;
Conference_Titel :
Requirements Patterns (RePa), 2013 IEEE Third International Workshop on
Conference_Location :
Rio de Janeiro
DOI :
10.1109/RePa.2013.6602662
