{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:02:58Z","timestamp":1742958178074,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030320645"},{"type":"electronic","value":"9783030320652"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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-32065-2_19","type":"book-chapter","created":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T01:32:04Z","timestamp":1571621524000},"page":"267-283","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extracting High-Level System Specifications from Source Code via Abstract State Machines"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Ferrarotti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josef","family":"Pichler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Moser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Buchgeher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,21]]},"reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/3-540-44518-8_21","volume-title":"Abstract State Machines - Theory and Applications","author":"M Barnett","year":"2000","unstructured":"Barnett, M., B\u00f6rger, E., Gurevich, Y., Schulte, W., Veanes, M.: Using abstract state machines at microsoft: a case study. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol. 1912, pp. 367\u2013379. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44518-8_21"},{"issue":"4","key":"19_CR2","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1145\/937555.937561","volume":"4","author":"A Blass","year":"2003","unstructured":"Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. ACM Trans. Comput. Logic 4(4), 578\u2013651 (2003)","journal-title":"ACM Trans. Comput. Logic"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms: correction and extension. ACM Trans. Comput. Logic 9(3), 19:1\u201319:32 (2008)","DOI":"10.1145\/1352582.1352587"},{"issue":"1","key":"19_CR4","first-page":"2","volume":"8","author":"E B\u00f6rger","year":"2002","unstructured":"B\u00f6rger, E.: The origins and the development of the ASM method for high level system design and analysis. J. UCS 8(1), 2\u201374 (2002)","journal-title":"J. UCS"},{"issue":"1\u20133","key":"19_CR5","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.apal.2004.10.007","volume":"133","author":"E B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E.: Abstract state machines: a unifying view of models of computation and of system design frameworks. Ann. Pure Appl. Logic 133(1\u20133), 149\u2013171 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"19_CR6","unstructured":"B\u00f6rger, E.: Design pattern abstractions and abstract state machines. In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, 8\u201311 March 2005, Paris, France, pp. 91\u2013100 (2005). http:\/\/www.univ-paris12.fr\/lacl\/dima\/asm05\/DesignPattern.ps"},{"issue":"3","key":"19_CR7","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1016\/j.jcss.2011.08.004","volume":"78","author":"E B\u00f6rger","year":"2012","unstructured":"B\u00f6rger, E., Cisternino, A., Gervasi, V.: Ambient abstract state machines with applications. J. Comput. Syst. Sci. 78(3), 939\u2013959 (2012)","journal-title":"J. Comput. Syst. Sci."},{"issue":"5","key":"19_CR8","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s00236-015-0249-7","volume":"53","author":"E B\u00f6rger","year":"2016","unstructured":"B\u00f6rger, E., Schewe, K.: Concurrent abstract state machines. Acta Inf. 53(5), 469\u2013492 (2016)","journal-title":"Acta Inf."},{"key":"19_CR9","doi-asserted-by":"publisher","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7","DOI":"10.1007\/978-3-642-18216-7"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-30101-1_3","volume-title":"Formal Methods for Components and Objects","author":"E B\u00f6rger","year":"2004","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Exploiting abstraction for specification reuse. the Java\/C# case study. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 42\u201376. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30101-1_3"},{"issue":"11\u201312","key":"19_CR11","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1016\/0950-5849(93)90083-F","volume":"35","author":"JP Bowen","year":"1993","unstructured":"Bowen, J.P., Breuer, P.T., Lano, K.: Formal specifications in software maintenance: from code to z$${}^{\\text{++ }}$$ and back again. Inf. Softw. Technol. 35(11\u201312), 679\u2013690 (1993)","journal-title":"Inf. Softw. Technol."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Chikofsky, E.J., II, J.H.C.: Reverse engineering and design recovery: a taxonomy. IEEE Softw. 7(1), 13\u201317 (1990)","DOI":"10.1109\/52.43044"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-74313-4_10","volume-title":"Perspectives of System Informatics","author":"F Ferrarotti","year":"2018","unstructured":"Ferrarotti, F., Schewe, K.-D., Tec, L.: A behavioural theory for reflective sequential algorithms. In: Petrenko, A.K., Voronkov, A. (eds.) PSI 2017. LNCS, vol. 10742, pp. 117\u2013131. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74313-4_10"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2016.08.013","volume":"649","author":"F Ferrarotti","year":"2016","unstructured":"Ferrarotti, F., Schewe, K., Tec, L., Wang, Q.: A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comput. Sci. 649, 25\u201353 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Fleck, G., et al.: Experience report on building ASTM based tools for multi-language reverse engineering. In: IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, 14\u201318 March 2016, vol. 1, pp. 683\u2013687 (2016)","DOI":"10.1109\/SANER.2016.33"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-36498-6_18","volume-title":"Abstract State Machines 2003","author":"E Gr\u00e4del","year":"2003","unstructured":"Gr\u00e4del, E., Nowack, A.: Quantum computing and abstract state machines. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 309\u2013323. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36498-6_18"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, 22\u201324 July 2002, pp. 112\u2013122. ACM (2002)","DOI":"10.1145\/566172.566190"},{"key":"19_CR18","unstructured":"Gurevich, Y.: Reconsidering turing\u2019s thesis: toward more realistic semantics of programs. Technical Report CRL-TR-36-84, January 1984"},{"key":"19_CR19","unstructured":"Gurevich, Y.: A new thesis. Technical Report 85T\u201368-203, abstracts, American Mathematical Society (1985)"},{"issue":"1","key":"19_CR20","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential abstract-state machines capture sequential algorithms. ACM Trans. Comput. Logic 1(1), 77\u2013111 (2000)","journal-title":"ACM Trans. Comput. Logic"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Habrias, H., Frappier, M.: Software Specification Methods. ISTE (2006)","DOI":"10.1002\/9780470612514"},{"issue":"2","key":"19_CR22","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1007\/s10270-012-0270-z","volume":"13","author":"JLC Izquierdo","year":"2014","unstructured":"Izquierdo, J.L.C., Molina, J.G.: Extracting models from source code in software modernization. Softw. Syst. Model. 13(2), 713\u2013734 (2014)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"19_CR23","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1002\/smr.4360050103","volume":"5","author":"K Lano","year":"1993","unstructured":"Lano, K., Breuer, P.T., Haughton, H.P.: Reverse-engineering COBOL via formal methods. J. Softw. Maintenance 5(1), 13\u201335 (1993)","journal-title":"J. Softw. Maintenance"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32065-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T13:52:07Z","timestamp":1710251527000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-32065-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030320645","9783030320652"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32065-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"21 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MEDI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model and Data Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.irit.fr\/MEDI2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-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":"41","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":"11","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":"7","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":"27% - 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":"4","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":"3","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Peer Review Information from Medi International Workshops (DETECT, DSSGA and TRIDENT): out of 34 submissions and 1 invited paper, 13 full papers and 3 short papers were accepted","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)"}}]}}