{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:05:22Z","timestamp":1775016322268,"version":"3.50.1"},"reference-count":18,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T00:00:00Z","timestamp":1459468800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T00:00:00Z","timestamp":1459468800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1134\/s0361768816030075","type":"journal-article","created":{"date-parts":[[2016,5,22]],"date-time":"2016-05-22T21:46:22Z","timestamp":1463953582000},"page":"167-173","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Developing a software system for automata-based code generation"],"prefix":"10.1134","volume":"42","author":[{"given":"T. E.","family":"Shulga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. A.","family":"Ivanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. D.","family":"Slastihina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. S.","family":"Vagarina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2016,5,22]]},"reference":[{"key":"6303_CR1","volume-title":"Introduction to the Theory of Finite-State Machines","author":"A. Gill","year":"1962","unstructured":"Gill, A., Introduction to the Theory of Finite-State Machines, McGraw-Hill, 1962."},{"key":"6303_CR2","first-page":"109","volume":"13","author":"E.A. Yakubaitis","year":"1976","unstructured":"Yakubaitis, E.A., Vasyukevich, V.O., Gobzemis, A.Yu., Zaznova, N.E., Kurmit, A.A., Lorents, A.A., Petrenko, A.F., and Chapenko, V.P., Automata theory, Itogi Nauki Tekh., Ser.: Teor. Veroyatn. Mat. Stat. Teor. Kibern., 1976, vol. 13, pp. 109\u2013188.","journal-title":"Itogi Nauki Tekh., Ser.: Teor. Veroyatn. Mat. Stat. Teor. Kibern."},{"key":"6303_CR3","volume-title":"Avtomatnoe programmirovanie","author":"N.I. Polikarpova","year":"2008","unstructured":"Polikarpova, N.I. and Shalyto, A.A., Avtomatnoe programmirovanie (Automata-Based Programming), St. Petersburg: Piter, 2008."},{"key":"6303_CR4","unstructured":"Tukkel\u2019, N.I. and Shalyto, A.A., Diesel generator control system (excerpt). http:\/\/is.ifmo.ru\/projects\/dg."},{"key":"6303_CR5","unstructured":"Tukkel\u2019, N.I. and Shalyto, A.A., Tank control system for the Robocode game. http:\/\/is.ifmo.ru\/projects\/tanks."},{"key":"6303_CR6","unstructured":"Al\u2019shevskii, Yu.A., Raer, M.G., and Shalyto, A.A., Messaging mechanism for parallel machines (on the example of a turnstile control system). http:\/\/is.ifmo.ru\/projects\/turn."},{"issue":"5","key":"6303_CR7","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1023\/A:1020208127964","volume":"28","author":"A.A. Shalyto","year":"2002","unstructured":"Shalyto, A.A. and Tukkel\u2019, N.I., Translating iterative algorithms into automaton ones, Program. Comput. Software, 2002, vol. 28, no. 5, pp. 250\u2013260.","journal-title":"Program. Comput. Software"},{"issue":"5","key":"6303_CR8","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1134\/S0361768807050040","volume":"33","author":"D.G. Shopyrin","year":"2007","unstructured":"Shopyrin, D.G. and Shalyto, A.A., Graphical inheritance notation for state-based classes, Program. Comput. Software, 2007, vol. 33, no. 5, pp. 283\u2013292.","journal-title":"Program. Comput. Software"},{"issue":"6","key":"6303_CR9","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1134\/S0361768807060059","volume":"33","author":"V.S. Gurov","year":"2007","unstructured":"Gurov, V.S., Mazin, M.A., Narvsky, A.S., and Shalyto, A.A., Tools for support of automata-based programming, Program. Comput. Software, 2007, vol. 33, no. 6, pp. 343\u2013355.","journal-title":"Program. Comput. Software"},{"key":"6303_CR10","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J., and Booch, G., Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1994."},{"key":"6303_CR11","volume-title":"MSDN Magazine","author":"D. Smith","year":"2009","unstructured":"Smith, D., WPF apps with the Model-View-View-Model design pattern, MSDN Magazine, 2009, no. 2."},{"key":"6303_CR12","first-page":"13","volume":"5","author":"N.N. Shamgulov","year":"2004","unstructured":"Shamgulov, N.N., Korneev, G.A., and Shalyto, A.A., State machine: A new pattern of object-oriented design, Inf.-Upr. Sist., 2004, no. 5, pp. 13\u201325.","journal-title":"Inf.-Upr. Sist."},{"key":"6303_CR13","unstructured":"Microsoft Developer Network, Basics of serialization in. NET Framework. http:\/\/msdn.microsoft.com\/ruru\/library\/ms233836(v=vs.90).aspx."},{"key":"6303_CR14","volume-title":"Automata Studies: Annals of Mathematics Studies. Number 34","author":"E.F. Moore","year":"1956","unstructured":"Moore, E.F., Gedanken-experiments on sequential machines, Automata Studies: Annals of Mathematics Studies. Number 34, Shannon, C.E. and McCarthy, J., Eds., Princeton: Princeton Univ. Press, 1956."},{"key":"6303_CR15","unstructured":"World Wide Web Consortium, XML schema. www.w3.org\/XML\/Schema."},{"key":"6303_CR16","unstructured":"World Wide Web Consortium, XSLT transformations (XSLT). www.w3.org\/TR\/xslt."},{"key":"6303_CR17","volume-title":"State registration certificate no. 2014619043","author":"T.E. Shulga","year":"2014","unstructured":"Shulga, T.E., Slastikhina, M.D., and Ivanov, E.A., State registration certificate no. 2014619043, 2014."},{"key":"6303_CR18","unstructured":"Ivanov, E.A, Shulga, T.E., and Slastikhina, M.D., State Machine Generator. http:\/\/state-machine-generator.blogspot.com."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768816030075.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768816030075","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768816030075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768816030075.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:35:57Z","timestamp":1775010957000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768816030075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["6303"],"URL":"https:\/\/doi.org\/10.1134\/s0361768816030075","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4]]},"assertion":[{"value":"15 August 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 May 2016","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}