{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T19:42:29Z","timestamp":1775072549898,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/re.2011.6051653","type":"proceedings-article","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T15:05:14Z","timestamp":1319209514000},"page":"79-88","source":"Crossref","is-referenced-by-count":42,"title":["Simulating and optimising design decisions in quantitative goal models"],"prefix":"10.1109","author":[{"given":"William","family":"Heaven","sequence":"first","affiliation":[]},{"given":"Emmanuel","family":"Letier","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"A framework for the characterization and analysis of software systems scalability","author":"de cerqueira leite duboc","year":"2010","journal-title":"PhD thesis"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.29"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.142871"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1994.292400"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-002-0160-y"},{"key":"ref16","author":"akao","year":"2004","journal-title":"Quality Function Deployment Integrating Customer Requirements into Product Design"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/3-540-45816-6_22","article-title":"Reasoning with Goal Models","volume":"2503","author":"giorgini","year":"2003","journal-title":"Conceptual Modeling - ER 2002 Lncs"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1007\/978-3-642-02463-4_20","article-title":"Reasoning About Alternative Requirements Options","volume":"5600","author":"lamsweerde","year":"2009","journal-title":"Conceptual Modeling Foundations and Applications"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/int.20433"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2002.1048537"},{"key":"ref4","author":"van lamsweerde","year":"2009","journal-title":"Requirements Engineering From System Goals to UML Models to Software Specifications"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277179"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029905"},{"key":"ref6","author":"gilb","year":"2005","journal-title":"Competitive Engineering A Handbook for Systems Engineering Requirements Engineering and Software Engineering Using Planguage"},{"key":"ref5","author":"robertson","year":"2006","journal-title":"Mastering the Requirements Process"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","article-title":"PRISM: Probabilistic Symbolic Model Checker","volume":"2324","author":"kwiatkowska","year":"2002","journal-title":"Computer Performance Evaluation Modelling Techniques and Tools"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2008.22"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1996.501141"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10660-009-9039-z"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-3-642-16373-9_5","article-title":"Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach","volume":"6412","author":"horkoff","year":"2010","journal-title":"Conceptual Modeling-ER 2010 Ser LNCS"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.01.001"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-7051(00)00071-X"},{"key":"ref23","author":"trivedi","year":"2002","journal-title":"Probability and Statistics with Reliability Queuing and Computer Science Applications"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-009-0075-y"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2007.03.009"}],"event":{"name":"2011 IEEE 19th International Requirements Engineering Conference (RE)","location":"Trento, Italy","start":{"date-parts":[[2011,8,29]]},"end":{"date-parts":[[2011,9,2]]}},"container-title":["2011 IEEE 19th International Requirements Engineering Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6036256\/6051621\/06051653.pdf?arnumber=6051653","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:26:02Z","timestamp":1497947162000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6051653\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/re.2011.6051653","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}