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;
Conference_Titel :
Requirements Engineering Conference (RE), 2010 18th IEEE International
Conference_Location :
Sydney, NSW
Print_ISBN :
978-1-4244-8022-7
