\begin{thebibliography}{100}

\bibitem{miller02}
Miller, A.
\newblock {\em Subset Selection in Regression (second edition)}.
\newblock Chapman \& Hall,  (2002).

\bibitem{seidewitz03}
Seidewitz, E.
\newblock {\em IEEE Software}{ \bf 20}(5), 26--32 Sept.-Oct.  (2003).

\bibitem{sendall03}
Sendall, S. and Kozacaynski, W.
\newblock {\em IEEE Software}{ \bf 20}(5), 42--45 Sept.-Oct.  (2003).

\bibitem{hailpern06}
b.~hailpern and p.~tarr.
\newblock {\em ibm systems journal}{ \bf 45}(3), 451--461 (2006).

\bibitem{omg03}
Object Management Group.
\newblock {\em {MDA} Guide Version 1.0.1},  June  (2003).

\bibitem{frankel03}
Frankel, D.
\newblock {\em Model Driven Architecture: Applying MDA to Enterprise
  Computing}.
\newblock John Wiley \& Sons, New York,  (2003).

\bibitem{brown06}
Brown, A., Iyengar, S., and Johnston, S.
\newblock {\em IBM Systems Journal}{ \bf 45}(3), 463--480 (2006).

\bibitem{greenfield04}
Greenfield, J. and Short, K.
\newblock {\em Software factories : assembling applications with patterns,
  models, frameworks, and tools}.
\newblock Wiley Publishing, Indianapolis, IN,  (2004).

\bibitem{waddington03}
Waddington, D. and Lardieri, P.
\newblock {\em IEEE Computer}{ \bf 39}(2), 28--29 February.  (2006).

\bibitem{clancey96a}
Clancey, W., Sachs, P., Sierhuis, M., and van Hoof, R.
\newblock In {\em Proceedings PKAW '96: Pacific Knowledge Acquisition Workshop,
  }Compton, P., Mizoguchi, R., Motoda, H., and Menzies, T., editors. Department
  of Artificial Intelligence,  (1996).

\bibitem{law00}
Law, A. and Kelton, B.
\newblock {\em Simulation Modeling and Analysis}.
\newblock McGraw Hill,  (2000).

\bibitem{harrell00}
Harrell, H., Ghosh, L., and Bowden, S.
\newblock {\em Simulation Using ProModel}.
\newblock McGraw-Hill,  (2000).

\bibitem{kelton02}
Kelton, D., Sadowski, R., and Sadowski, D.
\newblock {\em Simulation with Arena, second edition}.
\newblock McGraw-Hill,  (2002).

\bibitem{raffo05b}
Raffo, D. and Menzies, T.
\newblock {\em Journal of Information, Software and Technology}{ \bf 47}(15),
  1009--1017 December  (2005).

\bibitem{raffo05c}
Raffo, D. and Menzies, T.
\newblock In {\em Proceedings of the 6th International Workshop on Software
  Process Simulation Modeling (ProSim'05)},  (2005).

\bibitem{hamid91}
Abdel-Hamid, T. and Madnick, S.
\newblock {\em Software Project Dynamics: An Integrated Approach}.
\newblock Prentice-Hall Software Series,  (1991).

\bibitem{sterman00}
Sterman, H.
\newblock {\em Business Dynamics: Systems Thinking and Modeling for a Complex
  World}.
\newblock Irwin McGraw-Hill,  (2000).

\bibitem{akhavi93}
Akhavi, M. and Wilson, W.
\newblock In {\em Proceedings of the 5th Software Engineering Process Group
  National Meeting (Held at Costa Mesa, California, April 26 - 29)}. Software
  engineering Institute, Carnegie Mellon University,  (1993).

\bibitem{harel90}
Harel, D.
\newblock {\em IEEE Transactions on Software Engineering}{ \bf 16}(4), 403--414
  April  (1990).

\bibitem{martin00}
Martin, R. and Raffo, D.~M.
\newblock {\em International Journal of Software Process Improvement and
  Practice}{ \bf } June/July  (2000).

\bibitem{martin01}
Martin, R. and D.~M, R.
\newblock {\em Journal of Systems and Software}{ \bf 59}(3) (2001).

\bibitem{donzelli01}
Donzelli, P. and Iazeolla, G.
\newblock {\em Journal of Systems and Software}{ \bf 59}(3) December  (2001).

\bibitem{setamanit07}
Setamanit, S., Wakeland, W., and D.Raffo.
\newblock {\em Software Process: Improvement and Practice, (Forthcoming)}{ \bf
  } (2007).

\bibitem{bratko01}
Bratko, I.
\newblock {\em Prolog Programming for Artificial Intelligence. (third
  edition)}.
\newblock Addison-Wesley,  (2001).

\bibitem{iwasaki89}
Iwasaki, Y.
\newblock In {\em The Handbook of Artificial Intelligence, }A.~Barr, P.~C. and
  Feigenbaum, E., editors, volume~4,  323--413. Addison Wesley (1989).

\bibitem{mi90}
Mi, P. and Scacchi, W.
\newblock {\em IEEE Transactions on Knowledge and Data Engineering}{ \bf },
  283--294 September  (1990).

\bibitem{feather03}
Feather, M. and Cornfordi, S.
\newblock {\em Requirements Engineering Journal}{ \bf 8}(4), 248--265 (2003).

\bibitem{france03}
France, R., Ghosh, S., Song, E., and Kim, D.
\newblock {\em IEEE Software}{ \bf 20}(5), 52--58 Sept.-Oct.  (2003).

\bibitem{denno03}
Denno, P., Steves, M.~P., Libes, D., and Barkmeyer, E.~J.
\newblock {\em IEEE Software}{ \bf 20}(5), 59--63 Sept.-Oct.  (2003).

\bibitem{jurjens06}
Jerjens, J. and Fox, J.
\newblock In {\em ICSE '06: Proceeding of the 28th international conference on
  Software engineering},  819--822 (ACM Press, New York, NY, USA, 2006).

\bibitem{bals04}
Balsamo, S., Marco, A.~D., Inverardi, P., and Simeoni, M.
\newblock {\em IEEE Transactions on Software Engineering}{ \bf 30}(5) May
  (2004).

\bibitem{puccia85}
Levins, R. and Puccia, C.
\newblock {\em Qualitative Modeling of Complex Systems: An Introduction to Loop
  Analysis and Time Averaging}.
\newblock Harvard University Press, Cambridge, Mass.,  (1985).

\bibitem{myers77}
Myers, G.
\newblock {\em Communications of the ACM}{ \bf 21}, 760--768 9, September
  (1977).

\bibitem{fecosm89a}
Feldman, B., Compton, P., and Smythe, G.
\newblock In {\em 4th {AAAI}-Sponsored Knowledge Acquisition for
  Knowledge-based Systems Workshop {B}anff, {C}anada},  (1989).

\bibitem{fecosm89b}
Feldman, B., Compton, P., and Smythe, G.
\newblock In {\em Proceedings of the Joint Australian Conference on Artificial
  Intelligence, {AI} '89},  319--331,  (1989).

\bibitem{smythe89}
Smythe, G.
\newblock {\em The Endocrine Pancreas}{ \bf } (1989).

\bibitem{menzies92}
Menzies, T., Mahidadia, A., and Compton, P.
\newblock In {\em Proceedings of the 7th AAAI-Sponsored Banff Knowledge
  Acquisition for Knowledge-Based Systems Workshop},  (1992).

\bibitem{gray06}
Gray, J., Lin, Y., and Zhang, J.
\newblock {\em IEEE Computer}{ \bf 39}(2), 51--58 February  (2006).

\bibitem{filman04}
Filman, R.~E.
\newblock {\em Aspect-Oriented Software Development}.
\newblock Addison-Wesley, Boston,  (2004).

\bibitem{cai05}
Cai, Y. and Sullivan, K.~J.
\newblock In {\em ASE '05: Proceedings of the 20th IEEE/ACM international
  Conference on Automated software engineering},  329--332 (ACM Press, New
  York, NY, USA, 2005).

\bibitem{jackson02}
Jackson, D.
\newblock {\em ACM Trans. Softw. Eng. Methodol.}{ \bf 11}(2), 256--290 (2002).

\bibitem{heitmeyer02}
Heitmeyer, C.
\newblock In {\em Encyclopedia of Software Engineering, }Marciniak, J.~J.,
  editor,  January  (2002).
\newblock Available from
  \url{http://chacs.nrl.navy.mil/publications/CHACS/2002/2002heitmeyer-encse.p%
df}.

\bibitem{child06}
Childs, A., Greenwald, J., Jung, G., Hoosier, M., and Hatcliff, J.
\newblock {\em IEEE Computer}{ \bf 39}(2) Feburary  (2006).
\newblock Available from
  \url{http://projects.cis.ksu.edu/docman/view.php/7/129/CALM-Cadena-IEEE-Comp%
uter-Feb-2006.pdf}.

\bibitem{whittle06}
Whittle, J. and Jayaraman, P.
\newblock In {\em IEEE International Conference on Requirements Engineering
  (RE2006)},  (2006).

\bibitem{clarke03}
Clarke, J., Dolado, J., Harman, M., Hierons, R., Jones, B., Lumkin, M.,
  Mitchell, B., Mancoridis, S., Rees, K., Roper, M., and Shepperd, M.
\newblock {\em ÒIEE Proceedings-SoftwareÓ}{ \bf 150}(3), 161--175 (2003).

\bibitem{jones96a}
Jones, B., Sthamer, H.-H., and Eyres, D.
\newblock {\em ÒSoftware Engineering JournalÓ}{ \bf 11}, 299--306 (1996).

\bibitem{jones98}
Jones, B., Eyres, D., and Sthamer, H.-H.
\newblock {\em ÒComputer JournalÓ}{ \bf 41}(2), 98--107 (1998).

\bibitem{pargas99}
Pargas, R., Harrold, M., and Peck, R.~R.
\newblock {\em ÒJournal of Software Testing, Verification and ReliabilityÓ}{
  \bf 9}, 263--282 (1999).

\bibitem{tracey98}
Tracey, N., Clarke, J., and Mander, K.
\newblock In {\em International Symposium on Software Testing and Analysis},
  73--81. ACM/SIGSOFT,  March  (1998).

\bibitem{harman02}
Harman, M., Hierons, R., and Proctor, M.
\newblock In {\em GECO 2002: Proceedings of the Genetic and Evolutionary
  Computation Conference},  1351--1358. Morgan Kaufmann,  July  (2002).

\bibitem{lutz01}
Lutz, R.
\newblock {\em ÒJournal of Systems ArchitectureÓ}{ \bf 47}, 613--634 (2001).

\bibitem{aguilar01}
Aguilar-Ruiz, J., Ramos, I., Riquelme, J., and Toro, M.
\newblock {\em Information and Software Technology}{ \bf 43}(14), 875--882
  December  (2001).

\bibitem{dolado00}
Dolado, J.~J.
\newblock {\em IEEE Transactions of Software Engineering}{ \bf 26}(10),
  1006--1021 (2000).

\bibitem{dolado01}
Dolado, J.~J.
\newblock {\em Information and Software Technology}{ \bf 43}, 61--72 (2001).

\bibitem{rela04}
Rela, L.
\newblock Master's thesis, Lappeenranta University of Technology,  (2004).

\bibitem{me99j}
Menzies, T.
\newblock {\em International Journal of Human-Computer Studies, special issue
  on evaluation of KE techniques}{ \bf 51}(4), 783--799 October  (1999).
\newblock Available from \url{http://menzies.us/pdf/99csm.pdf}.

\bibitem{harman01}
Harman, M. and Jones, B.
\newblock {\em Journal of Information and Software TechnologyÓ}{ \bf 43},
  833--839 December  (2001).

\bibitem{mitchell97}
Mitchell, T.
\newblock {\em Machine Learning}.
\newblock McGraw-Hill,  (1997).

\bibitem{treinish98}
Treinish, L.
\newblock  (1998).
\newblock IBM Research Center, Yorktown Heights, NY. Available from
  \url{http://www.research.ibm.com/people/l/lloydt/dm/function/dm\_fn.htm}.

\bibitem{saltelli00}
Saltelli, A., Chan, K., and Scott, E.
\newblock {\em Sensitivity Analysis}.
\newblock Wiley,  (2000).

\bibitem{boning94}
Boning, D. and Mozumder, P.
\newblock {\em IEEE Transactions on Semiconductor Manufacturing}{ \bf 7}(2),
  233--244 May  (1994).

\bibitem{ishida89}
Ishida, Y.
\newblock In {\em Proceedings of IJCAI '89},  1174--1179.,  (1989).

\bibitem{simon82}
Simon, H.~A.
\newblock {\em Models of bounded rationality}, volume~2.
\newblock MIT Press,  (1982).

\bibitem{rosen93}
Rosenbloom, P., Laird, J., and Newell, A.
\newblock {\em The SOAR Papers}.
\newblock The MIT Press,  (1993).

\bibitem{me03l}
Menzies, T. and Singh, H.
\newblock In {\em Soft Computing in Software Engineering, }Madravio, M.,
  editor. Springer-Verlag,  (2003).
\newblock Available from \url{http://menzies.us/pdf/03maybe.pdf}.

\bibitem{druzdel94}
Druzdzel, M.
\newblock In {\em Proceedings of the Tenth Annual Conference on Uncertainty in
  Artificial Intelligence (UAI-94)},  187--194,  (1994).
\newblock Available from
  \url{http://www.pitt.edu/AFShome/d/r/druzdzel/public/html/abstracts/uai94.ht%
ml}.

\bibitem{samuel59}
Samuel, A.~L.
\newblock {\em IBM Journal}{ \bf 3}(3), 211--229 July  (1959).

\bibitem{kohavi97}
Kohavi, R. and John, G.~H.
\newblock {\em Artificial Intelligence}{ \bf 97}(1-2), 273--324 (1997).

\bibitem{avri96}
Avritzer, A., Ros, J., and Weyuker, E.
\newblock {\em IEEE Software}{ \bf }, 76--82 September  (1996).

\bibitem{wong95}
Wong, W. and Mathur, A.
\newblock {\em The Journal of Systems and Software}{ \bf 31}(3), 185--196
  December  (1995).

\bibitem{budd80}
Budd, T.
\newblock {\em Mutation analysis of programs test data}.
\newblock PhD thesis, Yale University,  (1980).

\bibitem{acree80}
Acree, A.
\newblock {\em On Mutations}.
\newblock PhD thesis, School of Information and Computer Science, Georgia
  Institute of Technology,  (1980).

\bibitem{bieman92}
Bieman, J. and Schultz, J.
\newblock {\em Software Engineering Journal}{ \bf 7}(1), 43--51 (1992).

\bibitem{harrold98}
Harrold, M., Jones, J., and Rothermel, G.
\newblock {\em Empirical Software Engineering}{ \bf 3}, 203--211 (1998).

\bibitem{pelanek04}
Pelanek, R.
\newblock In {\em Proceedings SPIN'04 Workshop},  (2004).
\newblock Available from
  \url{http://www.fi.muni.cz/~xpelanek/publications/state\_spaces.ps}.

\bibitem{holzmann90}
Holzmann, G.~J.
\newblock {\em ATT Technical Journal}{ \bf 69}(2), 32--44 (1990).

\bibitem{miller56}
Miller, G.
\newblock {\em The Psychological Review}{ \bf 63}, 81--97 (1956).
\newblock Available from \url{http://www.well.com/~smalin/miller.html}.

\bibitem{me03e}
Menzies, T.
\newblock {\em IEEE Intelligent Systems}{ \bf } (2003).
\newblock Available from \url{http://menzies.us/pdf/03aipride.pdf}.

\bibitem{me07}
Menzies, T. and Hu, Y.
\newblock In {\em Artificial Intelligence Review},  (2007).
\newblock Available from \url{http://menzies.us/pdf/07tar2.pdf}.

\bibitem{bay99}
Bay, S. and Pazzani, M.
\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{webb03}
Webb, G.~I., Butler, S., and Newlands, D.
\newblock In {\em KDD '03: Proceedings of the ninth ACM SIGKDD international
  conference on Knowledge discovery and data mining},  256--265 (ACM Press, New
  York, NY, USA, 2003).

\bibitem{cai98}
Cai, C., Fu, A., Cheng, C., and Kwong, W.
\newblock In {\em Proceedings of International Database Engineering and
  Applications Symposium (IDEAS 98)},  August  (1998).
\newblock Available from
  \url{http://www.cse.cuhk.edu.hk/~kdd/assoc\_rule/paper.pdf}.

\bibitem{hu02}
Hu, Y.
\newblock Master's thesis, Department of Electrical Engineering, University of
  British Columbia,  (2003).
\newblock Masters Thesis.

\bibitem{Blake+Merz:1998}
Blake, C. and Merz, C.
\newblock  (1998).
\newblock URL: \url{http://www.ics.uci.edu/~mlearn/MLRepository.html}.

\bibitem{me00e}
Menzies, T. and Sinsel, E.
\newblock In {\em Proceedings ASE 2000},  (2000).
\newblock Available from \url{http://menzies.us/pdf/00ase.pdf}.

\bibitem{fea02a}
Feather, M. and Menzies, T.
\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{raffo95}
Raffo, D.
\newblock  May  (1996).
\newblock Ph.D. thesis, Manufacturing and Operations Systems.

\bibitem{fagan86}
Fagan, M.
\newblock {\em IEEE Trans. on Software Engineering}{ \bf }, 744--751 July
  (1986).

\bibitem{quinlan86}
Quinlan, R.
\newblock {\em Machine Learning}{ \bf 1}, 81--106 (1986).

\bibitem{paulk95}
Paulk, M., Weber, C., Curtis, B., and Chriss, M.
\newblock {\em The Capability Maturity Model: Guidelines for Improving the
  Software Process}.
\newblock Addison-Wesley,  (1995).

\bibitem{me01e}
Menzies, T. and Kiper, J.
\newblock In {\em ASE-2001},  (2001).
\newblock Available from \url{http://menzies.us/pdf/01ase.pdf}.

\bibitem{leveson91}
Leveson, N., Cha, S., and Shimall, T.
\newblock {\em IEEE Software}{ \bf 8}(7), 48--59 July  (1991).

\bibitem{me03i}
Cornford, S.~L., Feather, M.~S., Dunphy, J., Salcedo, J., and Menzies, T.
\newblock In {\em Proceedings of the IEEE Aerospace Conference, Big Sky,
  Montana},  (2003).
\newblock Available from \url{http://menzies.us/pdf/03aero.pdf}.

\bibitem{me03j}
Chiang, E. and Menzies, T.
\newblock {\em Software Process: Improvement and Practice}{ \bf 7}(3-4),
  141--159 (2003).
\newblock Available from \url{http://menzies.us/pdf/03spip.pdf}.

\bibitem{me05e}
Menzies, T. and Richardson, J.
\newblock In {\em COCOMO forum, 2005},  (2005).
\newblock Available from \url{http://menzies.us/pdf/05xomo\_cocomo\_forum.pdf}.
  class="hC".

\bibitem{me06a}
Menzies, T. and Richardson, J.
\newblock {\em IEEE Computer}{ \bf } October  (2006).
\newblock Available from \url{http://menzies.us/pdf/06qrre.pdf}.

\bibitem{me06b}
Fisher, M. and Menzies, T.
\newblock In {\em HICSS'06},  (2006).
\newblock Available from \url{http://menzies.us/pdf/06hicss.pdf}.

\bibitem{me02h}
Menzies, T., Owen, D., and Cukic, B.
\newblock In {\em Formal Aspects of Agent-Based Systems},  (2002).
\newblock Available from \url{http://menzies.us/pdf/02trust.pdf}.

\bibitem{owen02a}
Owen, D., Menzies, T., and Cukic, B.
\newblock In {\em IEEE Conference on Automated Software Engineering (ASE '02)},
   (2002).
\newblock Available from \url{http://menzies.us/pdf/02moretest.pdf}.

\bibitem{gel03a}
Geletko, D. and Menzies, T.
\newblock In {\em IEEE NASE SEW 2003},  (2003).
\newblock Available from \url{http://menzies.us/pdf/03radar.pdf}.

\bibitem{burk04}
Burkleaux, T., Menzies, T., and Owen, D.
\newblock In {\em Proceedings of WITSE 2005},  (2004).
\newblock Available from \url{http://menzies.us/pdf/04lean.pdf}.

\end{thebibliography}