Abstract :
The following topics are dealt with: requirements engineering process; requirements technology evaluation; and user involvement.
Keywords :
formal specification; formal verification; human factors; systems analysis; requirements engineering process; requirements technology evaluation; user involvement;
Conference_Titel :
Empirical Requirements Engineering (EmpiRE), 2013 IEEE Third International Workshop on
Conference_Location :
Rio de Janeiro
DOI :
10.1109/EmpiRE.2013.6615207
