{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:19Z","timestamp":1750306759740,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T00:00:00Z","timestamp":1376784000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,8,18]]},"DOI":"10.1145\/2491411.2494571","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"683-686","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Good technology makes the difficult task easy"],"prefix":"10.1145","author":[{"given":"Andrey","family":"Terekhov","sequence":"first","affiliation":[{"name":"Saint-Petersburg State University, Russia"}]}],"member":"320","published-online":{"date-parts":[[2013,8,18]]},"reference":[{"volume-title":"Using a standard Extensible algorithmic language in microprogramming","author":"Fominykh N.","key":"e_1_3_2_1_1_1","unstructured":"Fominykh N. , 1986. Using a standard Extensible algorithmic language in microprogramming , Dialog Microcomputer systems, Moscow, Moscow State University , (in Russian). Fominykh N., 1986. Using a standard Extensible algorithmic language in microprogramming, Dialog Microcomputer systems, Moscow, Moscow State University, (in Russian)."},{"key":"e_1_3_2_1_2_1","first-page":"26","volume-title":"System Programming","volume":"4","author":"Terekhov A.","year":"2009","unstructured":"Terekhov A. , Bryksin T. , Litvinov Y. , Smirnov K. , Nikandrov G. , Ivanov I. , Takun E. , 2009 . Architecture of visual modeling environment QReal , System Programming , Vol. 4 , number of pages 26 , (in Russian). Terekhov A., Bryksin T., Litvinov Y., Smirnov K., Nikandrov G., Ivanov I., Takun E., 2009. Architecture of visual modeling environment QReal, System Programming, Vol. 4, number of pages 26, (in Russian)."},{"key":"e_1_3_2_1_3_1","unstructured":"Manual: http:\/\/www.xilinx.com\/support\/documentation\/sw_manuals\/ xilinx2012_2\/ug902-vivado-high-level-synthesis.pdf  Manual: http:\/\/www.xilinx.com\/support\/documentation\/sw_manuals\/ xilinx2012_2\/ug902-vivado-high-level-synthesis.pdf"},{"key":"e_1_3_2_1_4_1","unstructured":"The evolution of our views on CoDesign over the past 15 years a personal website: http:\/\/www.math.spbu.ru\/user\/ant\/History_Evol_CODESIG N.pdf (in Russian).  The evolution of our views on CoDesign over the past 15 years a personal website: http:\/\/www.math.spbu.ru\/user\/ant\/History_Evol_CODESIG N.pdf (in Russian)."},{"key":"e_1_3_2_1_5_1","first-page":"85","volume-title":"8th IEEE\/ACM International Conference on","author":"Medvedev O.","year":"2010","unstructured":"Medvedev O. , Posov I. , 2010 . Using Hardware-Software Codesign Language to implement CANSCID, Formal Methods and Models for Codesign (MEMOCODE) , 8th IEEE\/ACM International Conference on , pp 85 - 88 , http:\/\/oops.math.spbu.ru\/dours\/HaSCoL\/MedvedevPosovME MOCODE2010.pdf Medvedev O., Posov I., 2010. Using Hardware-Software Codesign Language to implement CANSCID, Formal Methods and Models for Codesign (MEMOCODE), 8th IEEE\/ACM International Conference on, pp 85-88, http:\/\/oops.math.spbu.ru\/dours\/HaSCoL\/MedvedevPosovME MOCODE2010.pdf"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEE-SECR.2011.6188461"},{"key":"e_1_3_2_1_7_1","first-page":"231","volume-title":"Overview of high-level language development equipment HaSCoL the example of a clone processor Xilinx Microblaze, the Second Scientific Conference of Young Specialists \"Start the Future","author":"Medvedev O.","unstructured":"Medvedev O. , 2011. Overview of high-level language development equipment HaSCoL the example of a clone processor Xilinx Microblaze, the Second Scientific Conference of Young Specialists \"Start the Future \", pp. 231 - 234 , http:\/\/oops.math.spbu.ru\/dours\/HaSCoL\/KBSM.pdf Medvedev O., 2011. Overview of high-level language development equipment HaSCoL the example of a clone processor Xilinx Microblaze, the Second Scientific Conference of Young Specialists \"Start the Future\", pp. 231- 234, http:\/\/oops.math.spbu.ru\/dours\/HaSCoL\/KBSM.pdf"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2013885.2014645"},{"volume-title":"Automated software reengineering, St. Petersburg","author":"Moskal A.","key":"e_1_3_2_1_9_1","unstructured":"Moskal A. , 2000. Presentation of communication source and target texts in the automatic generation of program texts , Automated software reengineering, St. Petersburg , St. Petersburg University , (in Russian). Moskal A., 2000. Presentation of communication source and target texts in the automatic generation of program texts, Automated software reengineering, St. Petersburg, St. Petersburg University, (in Russian)."}],"event":{"name":"ESEC\/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Saint Petersburg Russia","acronym":"ESEC\/FSE'13"},"container-title":["Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2494571","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491411.2494571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:42Z","timestamp":1750231722000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2494571"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,18]]},"references-count":9,"alternative-id":["10.1145\/2491411.2494571","10.1145\/2491411"],"URL":"https:\/\/doi.org\/10.1145\/2491411.2494571","relation":{},"subject":[],"published":{"date-parts":[[2013,8,18]]},"assertion":[{"value":"2013-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}