Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering (1997)
Jan. 5, 1997 to Jan. 8, 1997
Pamela Zave , AT&T Laboratories
Michael Jackson , AT&T Laboratories
In engineering the requirements for a telecommunications system, the greatest obstacle to be overcome is the sheer complexity of the required behavior. We present several ways of managing and minimizing this complexity, all of proven effectiveness. Most of the specification techniques result from specific application of general requirements principles to the telecommunications domain.
requirements engineering, formal methods, telecommunications, specification languages
M. Jackson and P. Zave, "Requirements for Telecommunications Services: An Attack on Complexity," Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering(RE), Annapolis, MD, 1997, pp. 106.