Interactive specification environment for communication service software | IEEE Journals & Magazine | IEEE Xplore