DocumentCode
3530463
Title
[Title page i]
fYear
2008
fDate
8-12 Sept. 2008
Abstract
The following topics are dealt with: requirements engineering; change management; social system; formal specification; formal verification; embedded system; requirements elicitation and software life cycle.
Keywords
formal specification; formal verification; systems analysis; change management; embedded system; formal specification; formal verification; requirements elicitation; requirements engineering; social system; software life cycle;
fLanguage
English
Publisher
ieee
Conference_Titel
International Requirements Engineering, 2008. RE '08. 16th IEEE
Conference_Location
Catalunya
ISSN
1090-705X
Print_ISBN
978-0-7695-3309-4
Type
conf
DOI
10.1109/RE.2008.1
Filename
4685638
Link To Document