{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:03:33Z","timestamp":1729652613165,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/apsec.2010.34","type":"proceedings-article","created":{"date-parts":[[2011,1,21]],"date-time":"2011-01-21T15:32:35Z","timestamp":1295623955000},"page":"226-233","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Framework to Optimise Component Dependency Resolution"],"prefix":"10.1109","author":[{"given":"Graham D.","family":"Jenson","sequence":"first","affiliation":[]},{"given":"Jens","family":"Dietrich","sequence":"additional","affiliation":[]},{"given":"Hans W.","family":"Guesgen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Cours d'economie politique Librairie Droz","year":"1964","author":"pareto","key":"ref10","doi-asserted-by":"crossref","DOI":"10.3917\/droz.paret.1964.01"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/256303.256306"},{"key":"ref12","first-page":"194","article-title":"An Interval Lattice-Based Constraint Solving Framework for Lattices","author":"fern\u00e1ndez","year":"1999","journal-title":"Proc FLOPS'1999"},{"journal-title":"Introduction to Lattices and Order","year":"1990","author":"davey","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2307\/1910129"},{"key":"ref15","first-page":"197","article-title":"On SAT Technologies for Dependency Management and Beyond","author":"le","year":"2008","journal-title":"Proc SPLC'2008 Lero Int Science Centre"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.59"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10601-009-9069-0","article-title":"Lexicographically-Ordered Constraint Satisfaction Problems","volume":"15","author":"freuder","year":"2009","journal-title":"Constraints"},{"key":"ref18","first-page":"631","article-title":"Valued Constraint Satisfaction Problems: Hard and Easy Problems","author":"schiex","year":"1995","journal-title":"Proceedings of IJCAI-1995"},{"key":"ref19","first-page":"27","article-title":"Preference Modelling","author":"ozt\u00fcrk","year":"2004","journal-title":"Multiple Criteria Decision Analysis State of the Art Surveys"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","article-title":"Making Components Contract Aware","volume":"32","author":"watkins","year":"1999","journal-title":"Computer"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13238-4_11"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CCCM.2008.149"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2000.839866"},{"journal-title":"Proc IWOCA 2009","article-title":"Dependency Management for the Eclipse Ecosystem","year":"2009","author":"rapicault","key":"ref8"},{"journal-title":"Better Builds with Maven","year":"2008","author":"porter","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1348583.1348594"},{"journal-title":"Component Software Beyond Object-Oriented Programming","year":"2002","author":"szyperski","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.74"},{"journal-title":"Proc ASE 2009","first-page":"247","year":"2009","author":"g\u00fcnbacher","key":"ref20"}],"event":{"name":"2010 17th Asia Pacific Software Engineering Conference (APSEC)","start":{"date-parts":[[2010,11,30]]},"location":"Sydney, Australia","end":{"date-parts":[[2010,12,3]]}},"container-title":["2010 Asia Pacific Software Engineering Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5689842\/5693172\/05693198.pdf?arnumber=5693198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T14:45:02Z","timestamp":1497883502000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5693198\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/apsec.2010.34","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}