Abstract :
The following topics are dealt with: requirements engineering-and-testing; RET; formal languages; formal models; and quality requirements.
Keywords :
formal languages; program testing; software engineering; RET; formal languages; formal models; quality requirements; requirements engineering-and-testing;
Conference_Titel :
Requirements Engineering and Testing (RET), 2014 IEEE 1st International Workshop on
Conference_Location :
Karlskrona
DOI :
10.1109/RET.2014.6908668
