{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:49:11Z","timestamp":1761490151959},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319502298"},{"type":"electronic","value":"9783319502304"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-50230-4_20","type":"book-chapter","created":{"date-parts":[[2016,11,30]],"date-time":"2016-11-30T08:31:26Z","timestamp":1480494686000},"page":"265-273","source":"Crossref","is-referenced-by-count":7,"title":["Computational Design Synthesis Using Model-Driven Engineering and Constraint Programming"],"prefix":"10.1007","author":[{"given":"Raphael","family":"Chenouard","sequence":"first","affiliation":[]},{"given":"Chris","family":"Hartmann","sequence":"additional","affiliation":[]},{"given":"Alain","family":"Bernard","sequence":"additional","affiliation":[]},{"given":"Emmanuel","family":"Mermoz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,1]]},"reference":[{"issue":"3","key":"20_CR1","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1115\/1.2013289","volume":"5","author":"J Cagan","year":"2005","unstructured":"Cagan, J., Campbell, M.I., Finger, S., Tomiyama, T.: A framework for computational design synthesis: model and applications. ASME. J. Comput. Inf. Sci. Eng. 5(3), 171\u2013181 (2005)","journal-title":"ASME. J. Comput. Inf. Sci. Eng."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Chenouard, R., Granvilliers, L., Soto, R.: Model-driven constraint programming. In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), pp. 236\u2013246 (2008)","DOI":"10.1145\/1389449.1389479"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-16138-4_24","volume-title":"Advances in Artificial Intelligence \u2013 SBIA 2010","author":"R Chenouard","year":"2010","unstructured":"Chenouard, R., Granvilliers, L., Soto, R.: High-level modeling of component-based CSPs. In: Rocha Costa, A.C., Vicari, R.M., Tonidandel, F. (eds.) SBIA 2010. LNCS (LNAI), vol. 6404, pp. 233\u2013242. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16138-4_24"},{"issue":"4","key":"20_CR4","first-page":"26","volume":"11","author":"JS Gero","year":"1990","unstructured":"Gero, J.S.: Design prototypes: a knowledge representation schema for design. AI Mag. 11(4), 26 (1990)","journal-title":"AI Mag."},{"key":"20_CR5","unstructured":"Graphviz: Graph visualization software. http:\/\/www.graphviz.org"},{"issue":"2","key":"20_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1115\/1.4005592","volume":"134","author":"B Helms","year":"2012","unstructured":"Helms, B., Shea, K.: Computational synthesis of product architectures based on object-oriented graph grammars. J. Mech. Des. 134(2), 1\u201314 (2012)","journal-title":"J. Mech. Des."},{"key":"20_CR7","unstructured":"Hartmann, C., Chenouard, R., Mermoz, E., Bernard, A.: Formulation of a design problem for computational pre-design. In: Virtual Concept Workshop (2016)"},{"issue":"3","key":"20_CR8","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s10515-014-0163-1","volume":"22","author":"A Hegeds","year":"2015","unstructured":"Hegeds, A., Horvth, A., Varr, D.: A model-driven framework for guided space exploration. Autom. Softw. Eng. 22(3), 399\u2013436 (2015)","journal-title":"Autom. Softw. Eng."},{"issue":"2","key":"20_CR9","doi-asserted-by":"crossref","first-page":"6582","DOI":"10.1007\/s00163-001-0008-3","volume":"13","author":"J Hirtz","year":"2002","unstructured":"Hirtz, J., Stone, R.B., McAdams, D.A., Szykman, S., Wood, K.L.: A functional basis for engineering design: reconciling and evolving previous efforts. Res. Eng. Des. 13(2), 6582 (2002)","journal-title":"Res. Eng. Des."},{"key":"20_CR10","volume-title":"Engineering Design: A Systematic Approach","author":"G Pahl","year":"1995","unstructured":"Pahl, G., Beitz, W.: Engineering Design: A Systematic Approach. Springer, London (1995)"},{"issue":"12","key":"20_CR11","first-page":"3139","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(12), 3139 (2008)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"20_CR12","first-page":"32","volume":"13","author":"V Kumar","year":"1992","unstructured":"Kumar, V.: Algorithms for constraint satisfaction problems: a survey. AI Mag. 13(1), 32\u201344 (1992)","journal-title":"AI Mag."},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: towards a standard CP modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529\u2013543. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74970-7_38"},{"key":"20_CR14","volume-title":"Systems Architecting: Creating and Building Complex Systems","author":"E Rechtin","year":"1991","unstructured":"Rechtin, E.: Systems Architecting: Creating and Building Complex Systems. Prentice Hall, Englewood Cliffs (1991)"},{"key":"20_CR15","volume-title":"Handbook of Constraint Programming","author":"F Rossi","year":"2006","unstructured":"Rossi, F., Van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier, New York (2006)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Saxena, T., Karsai, K.: Towards a generic design space exploration framework. In: IEEE 10th International Conference on Computer and Information Technology (CIT), pp. 1940\u20131947 (2010)","DOI":"10.1109\/CIT.2010.330"},{"key":"20_CR17","unstructured":"Umeda, Y., Tomiyama, T., Yoshikawa, H.: FBS modeling: modeling scheme of function for conceptual design. In: Proceedings of the 9th International Workshop on Qualitative Reasoning (1995)"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1007\/11889205_46","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"T Walsh","year":"2006","unstructured":"Walsh, T.: General symmetry breaking constraints. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 650\u2013664. Springer, Heidelberg (2006). doi: 10.1007\/11889205_46"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50230-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T00:51:39Z","timestamp":1498351899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50230-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319502298","9783319502304"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50230-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}