Building software specifications using explanation-based learning with incomplete theories.

Matwin, S.,Genest, Jean.2009-03-202009-03-2019901990Source: Masters Abstracts International, Volume: 30-03, page: 0784.9780315601130http://hdl.handle.net/10393/5732http://dx.doi.org/10.20381/ruor-10903Abstract Not Available.147 p.Computer Science.Building software specifications using explanation-based learning with incomplete theories.Thesis