\begin{thebibliography}{10} \bibitem{bay99} S.~Bay and M.~Pazzani. \newblock Detecting change in categorical data: Mining contrast sets. \newblock In {\em Proceedings of the Fifth International Conference on Knowledge Discovery and Data Mining}, 1999. \newblock Available from \url{http://www.ics.uci.edu/~pazzani/Publications/stucco.pdf}. \bibitem{corn01} S.~Cornford, M.~Feather, and K.~Hicks. \newblock Ddp a tool for life-cycle risk management. \newblock In {\em IEEE Aerospace Conference, Big Sky, Montana}, pages 441--451, March 2001. \bibitem{fea01} M.~Feather, H.~In, J.~Kiper, J.~Kurtz, and T.~Menzies. \newblock First contract: Better, earlier decisions for software projects. \newblock In {\em ECE UBC tech report}, 2001. \newblock Available from \url{http://menzies.us/pdf/01first.pdf}. \bibitem{fea02a} M.~Feather and T.~Menzies. \newblock Converging on the optimal attainment of requirements. \newblock In {\em IEEE Joint Conference On Requirements Engineering ICRE'02 and RE'02, 9-13th September, University of Essen, Germany}, 2002. \newblock Available from \url{http://menzies.us/pdf/02re02.pdf}. \bibitem{ying02} Y.~Hu. \newblock Treatment learning, 2002. \newblock Masters thesis, Unviersity of British Columbia, Department of Electrical and Computer Engineering. In preperation. \bibitem{kirkpatrick83} S.~Kirkpatrick, C.~D. Gelatt, and M.~P. Vecchi. \newblock Optimization by simulated annealing. \newblock {\em Science, Number 4598, 13 May 1983}, 220, 4598:671--680, 1983. \bibitem{me02c} T.~Menzies, E.~Chiang, M.~Feather, Y.~Hu, and J.~Kiper. \newblock Condensing uncertainty via incremental treatment learning. \newblock In {\em Annals of Software Engineering}, 2002. \newblock Available from \url{http://menzies.us/pdf/02itar2.pdf}. \bibitem{me01f} T.~Menzies and Y.~Hu. \newblock Reusing models for requirements engineering. \newblock In {\em First International Workshop on Model-based Requirements Engineering}, 2001. \newblock Available from \url{http://menzies.us/pdf/01reusere.pdf}. \bibitem{me01h} T.~Menzies and Y.~Hu. \newblock Agents in a wild world. \newblock In C.~Rouff, editor, {\em Formal Approaches to Agent-Based Systems, book chapter}, 2002. \newblock Available from \url{http://menzies.us/pdf/01agents.pdf}. \bibitem{me02a} T.~Menzies and Y.~Hu. \newblock Just enough learning (of association rules): The tar2 “treatment” learner. \newblock In {\em Journal of Data and Knowledge Engineering (submitted)}, 2002. \newblock Available from \url{http://menzies.us/pdf/02tar2.pdf}. \bibitem{me02f} T.~Menzies, D.~Raffo, S.~on~Setamanit, Y.~Hu, and S.~Tootoonian. \newblock Model-based tests of truisms. \newblock In {\em Proceedings of IEEE ASE 2002}, 2002. \newblock Available from \url{http://menzies.us/pdf/02truisms.pdf}. \bibitem{me00e} T.~Menzies and E.~Sinsel. \newblock Practical large scale what-if queries: Case studies with software risk assessment. \newblock In {\em Proceedings ASE 2000}, 2000. \newblock Available from \url{http://menzies.us/pdf/00ase.pdf}. \bibitem{corn02} J.~D. . M.~F. S.~Cornford. \newblock Optimizing the design of end-to-end spacecraft systems using risk as a currency. \newblock In {\em IEEE Aerospace Conference, Big Sky Montana}, pages 9--16, March 2002. \end{thebibliography}