Improving the front end of the software-development process for large-scale systems | Nokia Bell Labs Journals & Magazine | IEEE Xplore