Knowledge representation and reasoning in a software synthesis architecture | IEEE Journals & Magazine | IEEE Xplore