Abstract :
The following topics are dealt with: requirements pattern.
Keywords :
formal specification; formal verification; systems analysis; requirements pattern;
Conference_Titel :
Requirements Patterns (RePa), 2011 First International Workshop on
Conference_Location :
Trento
Print_ISBN :
978-1-4577-1020-9
DOI :
10.1109/RePa.2011.6046729
