DocumentCode
3102605
Title
[Title page i]
fYear
2010
fDate
Sept. 27 2010-Oct. 1 2010
Abstract
The following topics are dealt with: requirements quality; identifying requirement; software architecture; goal modeling; requirements prioritization; formal methods; requirements specification and industrial challenge.
Keywords
formal specification; formal verification; software architecture; systems analysis; formal method; goal modeling; identifying requirement; industrial challenge; requirement prioritization; requirement quality; requirement specification; software architecture;
fLanguage
English
Publisher
ieee
Conference_Titel
Requirements Engineering Conference (RE), 2010 18th IEEE International
Conference_Location
Sydney, NSW
ISSN
1090-705X
Print_ISBN
978-1-4244-8022-7
Type
conf
DOI
10.1109/RE.2010.1
Filename
5636655
Link To Document