{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T20:31:15Z","timestamp":1720816275144},"reference-count":70,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,12,2]],"date-time":"2009-12-02T00:00:00Z","timestamp":1259712000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s10515-009-0059-7","type":"journal-article","created":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T21:44:22Z","timestamp":1259703862000},"page":"87-116","source":"Crossref","is-referenced-by-count":7,"title":["Finding robust solutions in requirements models"],"prefix":"10.1007","volume":"17","author":[{"given":"Gregory","family":"Gay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Menzies","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omid","family":"Jalali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Mundy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beau","family":"Gilkerson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Feather","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Kiper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,12,2]]},"reference":[{"key":"59_CR1","series-title":"Prentice Hall Software Series","volume-title":"Software Project Dynamics: An Integrated Approach","author":"T. Abdel-Hamid","year":"1991","unstructured":"Abdel-Hamid, T., Madnick, S.: Software Project Dynamics: An Integrated Approach. Prentice Hall Software Series. Prentice Hall, New York (1991)"},{"key":"59_CR2","unstructured":"Administration, F.A.: System engineering manual, version 3.1, section 4.6: trade studies, 2006. Available from http:\/\/www.faa.gov\/about\/office_org\/headquarters_offices\/ato\/service_units\/operations\/sysengsaf\/seman\/SEM3.1\/Section204.6.pdf"},{"key":"59_CR3","volume-title":"Proceedings of the 5th Software Engineering Process Group National Meeting (Held at Costa Mesa, California, April 26\u201329)","author":"M. Akhavi","year":"1993","unstructured":"Akhavi, M., Wilson, W.: Dynamic simulation of software process models. In: Proceedings of the 5th Software Engineering Process Group National Meeting (Held at Costa Mesa, California, April 26\u201329). Software Engineering Institute, Carnegie Mellon University, Pittsburgh (1993)"},{"key":"59_CR4","first-page":"499","volume-title":"Machine Learning: An Artificial Intelligence Approach, vol.\u00a0II","author":"S. Amarel","year":"1986","unstructured":"Amarel, S.: Program synthesis as a theory formation task: problem representations and solution methods. In: Michalski, R.S., Carbonell, J.G., Mitchell, T.M. (eds.) Machine Learning: An Artificial Intelligence Approach, vol.\u00a0II, pp. 499\u2013569. Kaufmann, Los Altos, CA (1986)"},{"key":"59_CR5","doi-asserted-by":"crossref","unstructured":"Bagnall, A., Rayward-Smith, V., Whittley, I.: The next release problem. Inf. Softw. Technol. 43(14) (2001)","DOI":"10.1016\/S0950-5849(01)00194-X"},{"key":"59_CR6","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Trans. Softw. Eng. 30(5) (2004)","DOI":"10.1109\/TSE.2004.9"},{"key":"59_CR7","volume-title":"Prolog Programming for Artificial Intelligence","author":"I. Bratko","year":"2001","unstructured":"Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison-Wesley, Reading (2001)","edition":"3"},{"key":"59_CR8","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(91)90005-5","volume":"49","author":"T. Bylander","year":"1991","unstructured":"Bylander, T., Allemang, D., Tanner, M., Josephson, J.: The computational complexity of abduction. Artif. Intell. 49, 25\u201360 (1991)","journal-title":"Artif. Intell."},{"key":"59_CR9","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1145\/1101908.1101962","volume-title":"ASE\u201905: Proceedings of the 20th IEEE\/ACM international Conference on Automated Software Engineering","author":"Y. Cai","year":"2005","unstructured":"Cai, Y., Sullivan, K.J.: Simon: modeling and analysis of design space structures. In: ASE\u201905: Proceedings of the 20th IEEE\/ACM international Conference on Automated Software Engineering, pp.\u00a0329\u2013332. ACM, New York (2005)"},{"key":"59_CR10","unstructured":"Childs, A., Greenwald, J., Jung, G., Hoosier, M., Hatcliff, J.: Calm and Cadena: Metamodeling for component-based product-line development. IEEE Comput. 39(2) (2006). Available from http:\/\/projects.cis.ksu.edu\/docman\/view.php\/7\/129\/CALM-Cadena-IEEE-Computer-Feb-2006.pdf"},{"key":"59_CR11","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV version 2: an OpenSource tool for symbolic model checking. In: Proc. International Conference on Computer-Aided Verification, 2002"},{"key":"59_CR12","unstructured":"Clark, R.: Faster treatment learning. Computer Science. Master\u2019s thesis, Portland State University, 2005"},{"issue":"3","key":"59_CR13","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1049\/ip-sen:20030559","volume":"150","author":"J. Clarke","year":"2003","unstructured":"Clarke, J., Dolado, J., Harman, M., Hierons, R., Jones, B., Lumkin, M., Mitchell, B., Mancoridis, S., Rees, K., Roper, M., Shepperd, M.: Reformulating software engineering as a search problem. IEEE Proc. Softw. 150(3), 161\u2013175 (2003)","journal-title":"IEEE Proc. Softw."},{"key":"59_CR14","doi-asserted-by":"crossref","unstructured":"Coarfa, C., Demopoulos, D.D., San, A., Aguirre, M., Subramanian, D., Vardi, M.Y.: Random 3-sat: the\u00a0plot thickens. In: Principles and Practice of Constraint Programming, pp.\u00a0143\u2013159, 2000. Available from http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.42.3662","DOI":"10.1007\/3-540-45349-0_12"},{"key":"59_CR15","doi-asserted-by":"crossref","unstructured":"Cornford, S., Feather, M., Hicks, K.: DDP: a tool for life-cycle risk management. In: IEEE Aerospace Conference, Big Sky, Montana, pp.\u00a0441\u2013451, March 2001","DOI":"10.1109\/AERO.2001.931736"},{"key":"59_CR16","unstructured":"Crawford, J., Baker, A.: Experimental results on the application of satisfiability algorithms to scheduling problems. In: AAAI \u201994, 1994"},{"key":"59_CR17","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0004-3702(86)90081-0","volume":"28","author":"J. DeKleer","year":"1986","unstructured":"DeKleer, J.: An assumption-based TMS. Artif. Intell. 28, 163\u2013196 (1986)","journal-title":"Artif. Intell."},{"issue":"5","key":"59_CR18","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/MS.2003.1231153","volume":"20","author":"P. Denno","year":"2003","unstructured":"Denno, P., Steves, M.P., Libes, D., Barkmeyer, E.J.: Model-driven integration using existing models. IEEE Softw. 20(5), 59\u201363 (2003)","journal-title":"IEEE Softw."},{"key":"59_CR19","doi-asserted-by":"crossref","unstructured":"Donzelli, P., Iazeolla, G.: Hybrid simulation modeling of the software process. J. Syst. Softw. 59(3) (2001)","DOI":"10.1016\/S0164-1212(01)00064-4"},{"key":"59_CR20","unstructured":"Feather, M., Menzies, T.: Converging on the optimal attainment of requirements. In: IEEE Joint Conference on Requirements Engineering ICRE\u201902 and RE\u201902, 9\u201313th September, University of Essen, Germany, 2002. Available from http:\/\/menzies.us\/pdf\/02re02.pdf"},{"key":"59_CR21","unstructured":"Feather, M., Cornford, S., Hicks, K., Kiper, J., Menzies, T.: Application of a broad-spectrum quantitative requirements model to early-lifecycle decision making. IEEE Softw. 2008a. Available from http:\/\/menzies.us\/pdf\/08ddp.pdf"},{"key":"59_CR22","doi-asserted-by":"crossref","unstructured":"Feather, M., Hicks, K., Mackey, R., Uckun, S.: Guiding technology deployment decisions using a quantitative requirements analysis technique. In: IEEE International Conference on Requirements Engineering, Industrial Practice and Experience Track, Barcelona, Spain, 2008b","DOI":"10.1109\/RE.2008.37"},{"key":"59_CR23","doi-asserted-by":"crossref","unstructured":"Feather, M., Uckun, S., Hicks, K.: Technology maturation of integrated system health management. In: Space Technology and Applications International Forum (STAIF-2008), Albuquerque, USA, February 2008c","DOI":"10.1063\/1.2845048"},{"key":"59_CR24","volume-title":"Aspect-Oriented Software Development","author":"R.E. Filman","year":"2004","unstructured":"Filman, R.E.: Aspect-Oriented Software Development. Addison-Wesley, Boston (2004)"},{"issue":"5","key":"59_CR25","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/MS.2003.1231152","volume":"20","author":"R. France","year":"2003","unstructured":"France, R., Ghosh, S., Song, E., Kim, D.: A metamodeling approach to pattern-based model refractoringt. IEEE Softw. 20(5), 52\u201358 (2003)","journal-title":"IEEE Softw."},{"issue":"2","key":"59_CR26","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/MC.2006.45","volume":"39","author":"J. Gray","year":"2006","unstructured":"Gray, J., Lin, Y., Zhang, J.: Automating change evolution in model-driven engineering. IEEE Comput. 39(2), 51\u201358 (2006)","journal-title":"IEEE Comput."},{"key":"59_CR27","doi-asserted-by":"crossref","unstructured":"Gu, J., Purdom, P.W., Franco, J., Wah, B.W.: Algorithms for the satisfiability (sat) problem: A survey. In: DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp. 19\u2013152. American Mathematical Society (1997)","DOI":"10.1090\/dimacs\/035\/02"},{"issue":"6","key":"59_CR28","doi-asserted-by":"crossref","first-page":"1437","DOI":"10.1109\/TKDE.2003.1245283","volume":"15","author":"M. Hall","year":"2003","unstructured":"Hall, M., Holmes, G.: Benchmarking attribute selection techniques for discrete class data mining. IEEE Trans. Knowl. Data Eng. 15(6), 1437\u20131447 (2003). Available from http:\/\/www.cs.waikato.ac.nz\/~mhall\/HallHolmesTKDE.pdf","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"4","key":"59_CR29","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel, D.: Statemate: A working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16(4), 403\u2013414 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"59_CR30","doi-asserted-by":"crossref","unstructured":"Harman, M.: The current state and future of search based software engineering. In: Future of Software Engineering, ICSE\u201907, 2007","DOI":"10.1109\/FOSE.2007.29"},{"key":"59_CR31","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M. Harman","year":"2001","unstructured":"Harman, M., Jones, B.: Search-based software engineering. J. Inform. Softw. Technol. 43, 833\u2013839 (2001)","journal-title":"J. Inform. Softw. Technol."},{"key":"59_CR32","doi-asserted-by":"crossref","first-page":"728","DOI":"10.1109\/ICSE.2004.1317508","volume-title":"ICSE\u201904: Proceedings of the 26th International Conference on Software Engineering","author":"M. Harman","year":"2004","unstructured":"Harman, M., Wegener, J.: Getting results from search-based approaches to software engineering. In: ICSE\u201904: Proceedings of the 26th International Conference on Software Engineering, pp. 728\u2013729. IEEE Computer Society, Washington (2004)"},{"key":"59_CR33","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"P. Hart","year":"1968","unstructured":"Hart, P., Nilsson, N., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths. IEEE Trans. Syst. Sci. Cybern. 4, 100\u2013107 (1968)","journal-title":"IEEE Trans. Syst. Sci. Cybern."},{"key":"59_CR34","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.: Software cost reduction. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering, January 2002. Available from http:\/\/chacs.nrl.navy.mil\/publications\/CHACS\/2002\/2002heitmeyer-encse.pdf","DOI":"10.1002\/0471028959.sof307"},{"issue":"5","key":"59_CR35","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"59_CR36","unstructured":"Hui, Y., Prakash, E., Chaudhari, N.: Game ai: artificial intelligence for 3d path finding. In: TENCON 2004, IEEE Region 10 Conference, vol.\u00a02, pp.\u00a0306\u2013309, 2004"},{"key":"59_CR37","first-page":"323","volume-title":"The Handbook of Artificial Intelligence","author":"Y. Iwasaki","year":"1989","unstructured":"Iwasaki, Y.: Qualitative physics. In: Barr, P.C.A., Feigenbaum, E. (eds.) The Handbook of Artificial Intelligence, vol.\u00a04, pp. 323\u2013413. Addison-Wesley, Reading (1989)"},{"issue":"2","key":"59_CR38","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modeling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"59_CR39","unstructured":"Jalali, O., Menzies, T., Feather, M.: Optimizing requirements decisions with keys. In: Proceedings of the PROMISE 2008 Workshop (ICSE), 2008. Available from http:\/\/menzies.us\/pdf\/08keys.pdf"},{"key":"59_CR40","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1145\/1134285.1134423","volume-title":"ICSE \u201906: Proceeding of the 28th International Conference on Software Engineering","author":"J. Jerjens","year":"2006","unstructured":"Jerjens, J., Fox, J.: Tools for model-based security engineering. In: ICSE \u201906: Proceeding of the 28th International Conference on Software Engineering, pp. 819\u2013822. ACM, New York (2006)"},{"key":"59_CR41","doi-asserted-by":"crossref","unstructured":"Jureta, I., Mylopoulos, J., Faulkner, S.: Revisiting the core ontology and problem in requirements engineering. In: International Requirements Engineering, 2008. RE\u201908, 16th IEEE, pp.\u00a071\u201380, Sept. 2008","DOI":"10.1109\/RE.2008.13"},{"key":"59_CR42","unstructured":"Kautz, H., Selman, B.: Pushing the envelope: planning, propositional logic and stochastic search. In: Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, pp.\u00a01194\u20131201, Menlo Park, Aug. 4\u20138 1996. AAAI Press\/MIT Press. Available from http:\/\/www.cc.gatech.edu\/~jimmyd\/summaries\/kautz1996.ps"},{"issue":"4598","key":"59_CR43","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S. Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P.: Optimization by simulated annealing. Science 220(4598), 671\u2013680 (1983)","journal-title":"Science"},{"issue":"1\u20132","key":"59_CR44","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/S0004-3702(97)00043-X","volume":"97","author":"R. Kohavi","year":"1997","unstructured":"Kohavi, R., John, G.H.: Wrappers for feature subset selection. Artif. Intell. 97(1\u20132), 273\u2013324 (1997)","journal-title":"Artif. Intell."},{"key":"59_CR45","first-page":"53","volume-title":"Design Rationale: Concepts, Techniques, and Use","author":"A. MacLean","year":"1996","unstructured":"MacLean, A., Young, R., Bellotti, V., Moran, T.: Questions, options and criteria: elements of design space analysis. In: Moran, T., Carroll, J. (eds.) Design Rationale: Concepts, Techniques, and Use, pp. 53\u2013106. Lawerence Erlbaum Associates, Hilsdale (1996)"},{"key":"59_CR46","doi-asserted-by":"crossref","unstructured":"Martin, R., Raffo, D.M.: Application of a hybrid process simulation model to a software development project. J. Syst. Softw. 59(3) (2001)","DOI":"10.1016\/S0164-1212(01)00065-6"},{"key":"59_CR47","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1002\/1099-1670(200006\/09)5:2\/3<147::AID-SPIP122>3.0.CO;2-T","volume":"5","author":"R. Martin","year":"2000","unstructured":"Martin, R., Raffo, D.M.: A model of the software development process using both continuous and discrete models. Int. J. Softw. Process Improv. Pract. 5, 147\u2013157 (2000)","journal-title":"Int. J. Softw. Process Improv. Pract."},{"key":"59_CR48","volume-title":"Soft Computing in Software Engineering","author":"T. Menzies","year":"2003","unstructured":"Menzies, T., Singh, H.: Many maybes mean (mostly) the same thing. In: Madravio, M. (ed.) Soft Computing in Software Engineering. Springer, Berlin (2003). Available from http:\/\/menzies.us\/pdf\/03maybe.pdf"},{"key":"59_CR49","unstructured":"Menzies, T., Jalali, O., Feather, M.: Optimizing requirements decisions with keys. In: Proceedings PROMISE \u201908 (ICSE), 2008"},{"key":"59_CR50","unstructured":"Menzies, T., Kiper, J., Feather, M.: Improved software engineering decision support through automatic argument reduction tools. In: SEDECS\u20192003: the 2nd International Workshop on Software Engineering Decision Support (part of SEKE2003), June 2003. Available from http:\/\/menzies.us\/pdf\/03star1.pdf"},{"key":"59_CR51","doi-asserted-by":"crossref","first-page":"1087","DOI":"10.1063\/1.1699114","volume":"21","author":"N. Metropolis","year":"1953","unstructured":"Metropolis, N., Rosenbluth, A., Rosenbluth, M., Teller, A., Teller, E.: Equation of state calculations by fast computing machines. J. Chem. Phys. 21, 1087\u20131092 (1953)","journal-title":"J. Chem. Phys."},{"key":"59_CR52","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1109\/69.60792","volume":"2","author":"P. Mi","year":"1990","unstructured":"Mi, P., Scacchi, W.: A knowledge-based environment for modeling and simulation software engineering processes. IEEE Trans. Knowl. Data Eng. 2, 283\u2013294 (1990)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"59_CR53","unstructured":"Mittelmann, H.: Recent benchmarks of optimization software. In: 22nd European Conference on Operational Research, 2007"},{"issue":"1","key":"59_CR54","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/291469.293165","volume":"42","author":"J. Mylopoulos","year":"1999","unstructured":"Mylopoulos, J., Cheng, L., Yu, E.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42(1), 31\u201337 (1999)","journal-title":"Commun. ACM"},{"issue":"6","key":"59_CR55","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1109\/32.142871","volume":"18","author":"J. Mylopoulos","year":"1992","unstructured":"Mylopoulos, J., Chung, L., Nixon, B.: Representing and using nonfunctional requirements: a process-oriented approach. IEEE Trans. Softw. Eng. 18(6), 483\u2013497 (1992)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"59_CR56","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/TSE.2008.80","volume":"35","author":"A. Ngo-The","year":"2009","unstructured":"Ngo-The, A., Ruhe, G.: Optimized resource allocation for software release planning. IEEE Trans. Softw. Eng. 35(1), 109\u2013123 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"59_CR57","volume-title":"Heuristics: Intelligent Search Strategies for Computer Problem Solving","author":"J. Pearl","year":"1984","unstructured":"Pearl, J.: Heuristics: Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley\/Longman, Boston (1984)"},{"key":"59_CR58","unstructured":"Rela, L.: Evolutionary computing in search-based software engineering. Master\u2019s thesis, Lappeenranta University of Technology, 2004"},{"key":"59_CR59","volume-title":"Artificial Intelligence: A Modern Approach","author":"S.J. Russell","year":"2003","unstructured":"Russell, S.J., Norvig, P., Candy, J.F., Malik, J.M., Edwards, D.D.: Artificial Intelligence: A Modern Approach. Prentice Hall, Upper Saddle River (2003)"},{"key":"59_CR60","volume-title":"The Analytic Hierarchy Process: Planning, Priority Setting, Resource Allocation","author":"T. Saaty","year":"1980","unstructured":"Saaty, T.: The Analytic Hierarchy Process: Planning, Priority Setting, Resource Allocation. McGraw-Hill, New York (1980)"},{"key":"59_CR61","volume-title":"Sensitivity Analysis","author":"A. Saltelli","year":"2000","unstructured":"Saltelli, A., Chan, K., Scott, E.: Sensitivity Analysis. Wiley, New York (2000)"},{"key":"59_CR62","unstructured":"Selman, B., Kautz, H.A., Cohen, B.: Local search strategies for satisfiability testing. In: Trick, M., Johnson, D.S. (eds.) Proceedings of the Second DIMACS Challenge on Cliques, Coloring, and Satisfiability. Providence, RI, 1993"},{"issue":"5","key":"59_CR63","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1002\/spip.335","volume":"12","author":"S. Setamanit","year":"2007","unstructured":"Setamanit, S., Wakeland, W., Raffo, D.: Using simulation to evaluate global software development task allocation strategies. Softw. Process Improv. Pract. 12(5), 491\u2013503 (2007)","journal-title":"Softw. Process Improv. Pract."},{"issue":"4","key":"59_CR64","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1006\/ijhc.1994.1029","volume":"40","author":"S.B. Shum","year":"1994","unstructured":"Shum, S.B., Hammond, N.: Argumentation-based design rationale: what use at what cost? Int. J. Human Comput. Stud. 40(4), 603\u2013652 (1994)","journal-title":"Int. J. Human Comput. Stud."},{"key":"59_CR65","volume-title":"Business Dynamics: Systems Thinking and Modeling for a Complex World","author":"H. Sterman","year":"2000","unstructured":"Sterman, H.: Business Dynamics: Systems Thinking and Modeling for a Complex World. McGraw-Hill, New York (2000)"},{"key":"59_CR66","unstructured":"Stout, B.: Smart moves: Intelligent pathfinding. Game Developer Magazine (7), 1997"},{"key":"59_CR67","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/BFb0016843","volume-title":"Proc. of the 1st International Conference on Constraints in Computational Logics","author":"T.E. Uribe","year":"1994","unstructured":"Uribe, T.E., Stickel, M.E.: Ordered binary decision diagrams and the Davis-Putnam procedure. In: Proc. of the 1st International Conference on Constraints in Computational Logics, pp. 34\u201349. Springer, Berlin (1994)"},{"key":"59_CR68","unstructured":"Williams, R., Gomes, C., Selman, B.: Backdoors to typical case complexity. In: Proceedings of IJCAI 2003, 2003. http:\/\/www.cs.cornell.edu\/gomes\/FILES\/backdoors.pdf"},{"issue":"1","key":"59_CR69","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P. Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6(1), 1\u201330 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"9","key":"59_CR70","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1109\/TSE.2007.70706","volume":"33","author":"H. Zhang","year":"2007","unstructured":"Zhang, H., Zhang, X.: Comments on \u201cData mining static code attributes to learn defect predictors\u201d. IEEE Trans. Softw. Eng. 33(9), 635\u2013637 (2007)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-009-0059-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-009-0059-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-009-0059-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T19:16:10Z","timestamp":1559157370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-009-0059-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,2]]},"references-count":70,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["59"],"URL":"https:\/\/doi.org\/10.1007\/s10515-009-0059-7","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12,2]]}}}