Michael R. Lowry Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? 12-13 2001 conf/re/2001 RE http://computer.org/proceedings/re/1125/11250012.pdf db/conf/re/re2001.html#Lowry01