{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:21:56Z","timestamp":1743020516954,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030054809"},{"type":"electronic","value":"9783030054816"}],"license":[{"start":{"date-parts":[[2018,11,30]],"date-time":"2018-11-30T00:00:00Z","timestamp":1543536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-05481-6_20","type":"book-chapter","created":{"date-parts":[[2018,11,29]],"date-time":"2018-11-29T13:06:12Z","timestamp":1543496772000},"page":"259-273","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code"],"prefix":"10.1007","author":[{"given":"J\u00e9r\u00e9my","family":"Buisson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seidali","family":"Rehab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,30]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","unstructured":"Buisson, J., Rehab, S.: Automatic transformation from ecore metamodels towards gallina inductive types. In: Hammoudi, S., Pires, L.F., Selic, B. (eds.) Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira, Portugal, 22\u201324 Jan 2018. pp. 488\u2013495. SciTePress (2018). https:\/\/doi.org\/10.5220\/0006608604880495","DOI":"10.5220\/0006608604880495"},{"key":"20_CR2","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, New York (2009)"},{"key":"20_CR3","doi-asserted-by":"publisher","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development\u2014Coq\u2019Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2004). https:\/\/doi.org\/10.1007\/978-3-662-07964-5","DOI":"10.1007\/978-3-662-07964-5"},{"key":"20_CR4","doi-asserted-by":"publisher","unstructured":"Necula, G.C.: Proof-carrying code. In: Lee, P., Henglein, F., Jones, N.D. (eds.) Conference Record of POPL\u201997: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Papers Presented at the Symposium, Paris, France, 15\u201317 Jan 1997, pp. 106\u2013119. ACM Press (1997). https:\/\/doi.org\/10.1145\/263699.263712","DOI":"10.1145\/263699.263712"},{"key":"20_CR5","doi-asserted-by":"publisher","unstructured":"Oquendo, F., Buisson, J., Leroux, E., Mogu\u00e9rou, G.: A formal approach for architecting software-intensive systems-of-systems with guarantees. In: 13th Annual Conference on System of Systems Engineering, SoSE 2018, Paris, France, 19\u201322 June 2018, pp. 14\u201321. IEEE (2018). https:\/\/doi.org\/10.1109\/SYSOSE.2018.8428726","DOI":"10.1109\/SYSOSE.2018.8428726"},{"key":"20_CR6","doi-asserted-by":"publisher","unstructured":"Buscemi, M.G., Montanari, U.: Cc-pi: a constraint language for service negotiation and composition. In: Wirsing, M., H\u00f6lzl, M.M. (eds.) Rigorous Software Engineering for Service-Oriented Systems\u2014Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Lecture Notes in Computer Science, vol. 6582, pp. 262\u2013281. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-20401-2_12","DOI":"10.1007\/978-3-642-20401-2_12"},{"key":"20_CR7","unstructured":"Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing, Birmingham (2013)"},{"key":"20_CR8","doi-asserted-by":"publisher","unstructured":"Djeddai, S., Strecker, M., Mezghiche, M.: Integrating a formal development for DSLs into meta-modeling. J. Data Semant. 3(3), 143\u2013155 (2014). https:\/\/doi.org\/10.1007\/s13740-013-0030-4","DOI":"10.1007\/s13740-013-0030-4"},{"key":"20_CR9","doi-asserted-by":"publisher","unstructured":"Klint, P., van\u00a0der Storm, T.: Model transformation with immutable data. In: Gorp, P.V., Engels, G. (eds.) Theory and Practice of Model Transformations\u20149th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, 4\u20135 July 2016, Proceedings. Lecture Notes in Computer Science, vol. 9765, pp. 19\u201335. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-42064-6_2","DOI":"10.1007\/978-3-319-42064-6_2"},{"key":"20_CR10","doi-asserted-by":"publisher","unstructured":"Meyer, E., Souqui\u00e8res, J.: A systematic approach to transform OMT diagrams to a B specification. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM\u201999\u2014Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, 20\u201324 Sept 1999, Proceedings, Volume I. Lecture Notes in Computer Science, vol. 1708, pp. 875\u2013895. Springer (1999). https:\/\/doi.org\/10.1007\/3-540-48119-2_48","DOI":"10.1007\/3-540-48119-2_48"},{"key":"20_CR11","doi-asserted-by":"publisher","unstructured":"Lano, K., Clark, D., Androutsopoulos, K.: UML to B: formal verification of object-oriented models. In: Boiten, E.A., Derrick, J., Smith, G. (eds.) Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, 4\u20137 April 2004, Proceedings. Lecture Notes in Computer Science, vol. 2999, pp. 187\u2013206. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-24756-2_11","DOI":"10.1007\/978-3-540-24756-2_11"},{"key":"20_CR12","doi-asserted-by":"publisher","unstructured":"Barbier, F., Cariou, E.: Inductive UML. In: Abell\u00f3, A., Bellatreche, L., Benatallah, B. (eds.) Model and Data Engineering\u20142nd International Conference, MEDI 2012, Poitiers, France, 3\u20135 Oct 2012. Proceedings. Lecture Notes in Computer Science, vol. 7602, pp. 153\u2013161. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-33609-6_15","DOI":"10.1007\/978-3-642-33609-6_15"},{"key":"20_CR13","doi-asserted-by":"publisher","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: On the verification of UML\/OCL class diagrams using constraint programming. J. Syst. Softw. 93, 1\u201323 (2014). https:\/\/doi.org\/10.1016\/j.jss.2014.03.023","DOI":"10.1016\/j.jss.2014.03.023"}],"container-title":["Lecture Notes in Networks and Systems","Modelling and Implementation of Complex Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-05481-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T17:08:28Z","timestamp":1681578508000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-05481-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,30]]},"ISBN":["9783030054809","9783030054816"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-05481-6_20","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2018,11,30]]},"assertion":[{"value":"30 November 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MISC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Modelling and Implementation of Complex Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Laghouat","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Algeria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 December 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 December 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"misc2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/misc2018.misc-lab.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}