{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:23:29Z","timestamp":1725791009517},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548031"},{"type":"electronic","value":"9783642548048"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54804-8_2","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T05:59:16Z","timestamp":1395381556000},"page":"17-31","source":"Crossref","is-referenced-by-count":20,"title":["Target Oriented Relational Model Finding"],"prefix":"10.1007","author":[{"given":"Alcino","family":"Cunha","sequence":"first","affiliation":[]},{"given":"Nuno","family":"Macedo","sequence":"additional","affiliation":[]},{"given":"Tiago","family":"Guimar\u00e3es","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s10601-010-9105-0","volume":"16","author":"R. As\u00edn","year":"2011","unstructured":"As\u00edn, R., Nieuwenhuis, R., Oliveras, A., Rodr\u00edguez-Carbonell, E.: Cardinality networks: a theoretical and empirical study. Constraints\u00a016(2), 195\u2013221 (2011)","journal-title":"Constraints"},{"key":"2_CR2","unstructured":"Cha, B., Iwama, K., Kambayashi, Y., Miyazaki, S.: Local search algorithms for partial MAXSAT. In: AAAI 1997, pp. 263\u2013268. AAAI (1997)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-02408-5_19","volume-title":"Theory and Practice of Model Transformations","author":"K. Czarnecki","year":"2009","unstructured":"Czarnecki, K., Foster, J., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.: Bidirectional transformations: A cross-discipline perspective. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 260\u2013283. Springer, Heidelberg (2009)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Edwards, J., Jackson, D., Torlak, E.: A type system for object models. In: FSE 2004, pp. 189\u2013199. ACM (2004)","DOI":"10.1145\/1041685.1029921"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/11814948_25","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2006","author":"Z. Fu","year":"2006","unstructured":"Fu, Z., Malik, S.: On solving the partial MAX-SAT problem. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol.\u00a04121, pp. 252\u2013265. Springer, Heidelberg (2006)"},{"key":"2_CR6","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis, revised edn. MIT Press (2012)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Macedo, N., Cunha, A.: Implementing QVT-R bidirectional model transformations using Alloy. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013. LNCS, vol.\u00a07793, pp. 297\u2013311. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-37057-1_22"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Macedo, N., Guimar\u00e3es, T., Cunha, A.: Model repair and transformation with Echo. In: ASE 2013, pp. 694\u2013697. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693135"},{"key":"2_CR9","unstructured":"Maglalang, J.C.: Native cardinality constraints: More expressive, more efficient constraints. Honors Projects, Paper 19. Illinois Wesleyan University (2012)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-30885-7_8","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"A. Milicevic","year":"2012","unstructured":"Milicevic, A., Jackson, D.: Preventing arithmetic overflows in Alloy. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol.\u00a07316, pp. 108\u2013121. Springer, Heidelberg (2012)"},{"key":"2_CR11","unstructured":"Miyazaki, S., Iwama, K., Kambayashi, Y.: Database queries as combinatorial optimization problems. In: CODAS 1996, pp. 448\u2013454 (1996)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Nelson, T., Saghafi, S., Dougherty, D.J., Fisler, K., Krishnamurthi, S.: Aluminum: principled scenario exploration through minimality. In: ICSE 2013, pp. 232\u2013241. IEEE (2013)","DOI":"10.1109\/ICSE.2013.6606569"},{"key":"2_CR13","unstructured":"OMG: MOF 2.0 Query\/View\/Transformation specification (QVT), version 1.1 (January 2011), \n \n http:\/\/www.omg.org\/spec\/QVT\/1.1\/"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Computing repair trees for resolving inconsistencies in design models. In: ASE 2012, pp. 220\u2013229. ACM (2012)","DOI":"10.1145\/2351676.2351707"},{"issue":"1","key":"2_CR15","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-21470-7_6","volume-title":"Modelling Foundations and Applications","author":"R. Straeten Van Der","year":"2011","unstructured":"Van Der Straeten, R., Pinna Puissant, J., Mens, T.: Assessing the Kodkod Model Finder for Resolving Model Inconsistencies. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 69\u201384. Springer, Heidelberg (2011)"},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM Journal on Computing\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM Journal on Computing"},{"key":"2_CR18","unstructured":"Torlak, E., Jackson, D.: The design of a relational engine. Tech. Rep. MIT-CSAIL-TR-2006-068, MIT (2006)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 632\u2013647. Springer, Heidelberg (2007)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hubaux, A., She, S., Czarnecki, K.: Generating range fixes for software configuration. In: ICSE 2012, pp. 58\u201368. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227206"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/978-3-642-14107-2_27","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"R. Nokhbeh Zaeem","year":"2010","unstructured":"Nokhbeh Zaeem, R., Khurshid, S.: Contract-based data structure repair using Alloy. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 577\u2013598. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54804-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T08:17:14Z","timestamp":1558858634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54804-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548031","9783642548048"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54804-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}