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;
Conference_Titel :
International Requirements Engineering, 2008. RE '08. 16th IEEE
Conference_Location :
Catalunya
Print_ISBN :
978-0-7695-3309-4
