A model of large program development | IBM Journals & Magazine | IEEE Xplore