Title :
Requirements for evolving systems: a telecommunications perspective
Author_Institution :
AT&T Labs.-Res., Florham Park, NJ, USA
Abstract :
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototypical example of such an application domain. This paper examines how requirements engineering, formal description techniques and formal methods should be adapted to work well in these application domains
Keywords :
formal specification; program verification; software maintenance; telecommunication computing; evolving system requirements; formal description techniques; formal methods; requirements engineering; software application domains; software design; software process; telecommunication software; Application software; Design engineering; History; Laboratories; Packet switching; Programming; Software design; Software engineering; Software prototyping; Telecommunications;
Conference_Titel :
Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-7695-1125-2
DOI :
10.1109/ISRE.2001.948535
