{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T17:26:56Z","timestamp":1761845216349,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030587925"},{"type":"electronic","value":"9783030587932"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-58793-2_20","type":"book-chapter","created":{"date-parts":[[2020,8,30]],"date-time":"2020-08-30T23:04:02Z","timestamp":1598828642000},"page":"249-262","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Reverse Engineering of Quantum Programs Toward KDM Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6257-7153","authenticated-orcid":false,"given":"Luis","family":"Jim\u00e9nez-Navajas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9271-3184","authenticated-orcid":false,"given":"Ricardo","family":"P\u00e9rez-Castillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7212-8279","authenticated-orcid":false,"given":"Mario","family":"Piattini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,31]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1109\/ee.1954.6439254","volume":"73","author":"SH Washburn","year":"2013","unstructured":"Washburn, S.H.: Boolean algebra in electronic circuit design. Electr. Eng. 73, 164 (2013). https:\/\/doi.org\/10.1109\/ee.1954.6439254","journal-title":"Electr. Eng."},{"key":"20_CR2","doi-asserted-by":"publisher","unstructured":"P\u00e9rez-Castillo, R., Garc\u00eda Rodr\u00edguez de Guzm\u00e1n, I., Piattini, M.: Architecture-driven modernization. Mod. Softw. Eng. Concepts Pract. Adv. Approaches, 75\u2013103 (2010). https:\/\/doi.org\/10.4018\/978-1-60960-215-4.ch004","DOI":"10.4018\/978-1-60960-215-4.ch004"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/j.csi.2011.02.007","volume":"33","author":"R P\u00e9rez-Castillo","year":"2011","unstructured":"P\u00e9rez-Castillo, R., De Guzm\u00e1n, I.G.R., Piattini, M.: Knowledge discovery metamodel-ISO\/IEC 19506: a standard to modernize legacy systems. Comput. Stand. Interfaces 33, 519\u2013532 (2011). https:\/\/doi.org\/10.1016\/j.csi.2011.02.007","journal-title":"Comput. Stand. Interfaces"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/BF01011339","volume":"22","author":"P Benioff","year":"1980","unstructured":"Benioff, P.: The computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computers as represented by turing machines. J. Stat. Phys. 22, 563\u2013591 (1980). https:\/\/doi.org\/10.1007\/BF01011339","journal-title":"J. Stat. Phys."},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"RP Feynman","year":"1982","unstructured":"Feynman, R.P.: Simulating physics with computers. Int. J. Theor. Phys. 21, 467\u2013488 (1982). https:\/\/doi.org\/10.1007\/BF02650179","journal-title":"Int. J. Theor. Phys."},{"key":"20_CR6","unstructured":"Manin, I.I.: Vychislimoe i nevychislimoe (1980)"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1137\/S0097539795293172","volume":"26","author":"PW Shor","year":"1997","unstructured":"Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput. 26, 1484\u20131509 (1997). https:\/\/doi.org\/10.1137\/S0097539795293172","journal-title":"SIAM J. Comput."},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1007\/BF01491891","volume":"23","author":"E Schr\u00f6dinger","year":"1935","unstructured":"Schr\u00f6dinger, E.: Die gegenw\u00e4rtige Situation in der Quantenmechanik. Naturwissenschaften 23, 807\u2013812 (1935). https:\/\/doi.org\/10.1007\/BF01491891","journal-title":"Naturwissenschaften"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1103\/PhysRev.70.460","volume":"70","author":"F Bloch","year":"1946","unstructured":"Bloch, F.: Nuclear induction. Phys. Rev. 70, 460\u2013474 (1946). https:\/\/doi.org\/10.1103\/PhysRev.70.460","journal-title":"Phys. Rev."},{"key":"20_CR10","doi-asserted-by":"publisher","unstructured":"Marinescu, D.C.: Classical and quantum information (2012). https:\/\/doi.org\/10.1016\/C2009-0-64195-7","DOI":"10.1016\/C2009-0-64195-7"},{"key":"20_CR11","unstructured":"Preskill, J.: Quantum computing and the entanglement frontier, 1\u201318 (2012). http:\/\/arxiv.org\/abs\/1203.5813"},{"key":"20_CR12","unstructured":"Google\u2019s quantum blog (2019). https:\/\/www.blog.google\/technology\/ai\/computing-takes-quantum-leap-forward\/. Accessed 13 April 2020"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24754-8_1","volume-title":"Functional and Logic Programming","author":"P Selinger","year":"2004","unstructured":"Selinger, P.: A brief survey of quantum programming languages. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 1\u20136. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24754-8_1"},{"key":"20_CR14","unstructured":"Piattini, M., et al.: The Talavera manifesto for quantum software engineering and programming. In: CEUR Workshop Proceedings, vol. 2561, pp. 1\u20135 (2020)"},{"key":"20_CR15","volume-title":"Ulrich, Legacy Systems: Transformation Strategies","author":"M William","year":"2002","unstructured":"William, M.: Ulrich, Legacy Systems: Transformation Strategies. Prentice Hall PTR, Upper Saddle River (2002)"},{"key":"20_CR16","doi-asserted-by":"publisher","unstructured":"De Lucia, A., Ferrucci, F., Tortora, G., Tucci, M.: Emerging methods, technologies, and process management in software engineering (2007). https:\/\/doi.org\/10.1002\/9780470238103","DOI":"10.1002\/9780470238103"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"EJ Chikofsky","year":"1990","unstructured":"Chikofsky, E.J., Cross, J.H.: Reverse engineering and design recovery: a taxonomy. IEEE Softw. 7, 13\u201317 (1990). https:\/\/doi.org\/10.1109\/52.43044","journal-title":"IEEE Softw."},{"key":"20_CR18","doi-asserted-by":"publisher","unstructured":"Kazman, R., Woods, S.G., Carriere, S.J.: Requirements for integrating software architecture and reengineering models: CORUM II. In: Reverse Engineering - Workshop Conference Proceedings, pp. 154\u2013163 (1998). https:\/\/doi.org\/10.1109\/wcre.1998.723185","DOI":"10.1109\/wcre.1998.723185"},{"key":"20_CR19","doi-asserted-by":"publisher","unstructured":"Ulrich, W.M., Newcomb, P.H.: Information systems transformation (2010). https:\/\/doi.org\/10.1016\/C2009-0-19987-7","DOI":"10.1016\/C2009-0-19987-7"},{"key":"20_CR20","unstructured":"Schmidt, D.C.: Model-Driven Engineering. Vanderbilt University Model-driven, Historia Santiago, vol. 39, pp. 2\u20139 (2006). http:\/\/www.computer.org\/portal\/site\/computer\/menuitem.e533b16739f5"},{"key":"20_CR21","unstructured":"IBM quantum experience homepage (2016). https:\/\/quantum-computing.ibm.com\/. Accessed 23 April 2020"},{"key":"20_CR22","unstructured":"ANTLR homepage (n.d.). https:\/\/www.antlr.org\/. Accessed 26 Mar 2020"}],"container-title":["Communications in Computer and Information Science","Quality of Information and Communications Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58793-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T08:33:54Z","timestamp":1619253234000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-58793-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030587925","9783030587932"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58793-2_20","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"31 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QUATIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on the Quality of Information and Communications Technology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Faro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"quatic2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2020.quatic.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"81","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}