{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:06:39Z","timestamp":1775055999643,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2001,9,1]],"date-time":"2001-09-01T00:00:00Z","timestamp":999302400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,9,1]],"date-time":"2001-09-01T00:00:00Z","timestamp":999302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Programming and Computer Software"],"published-print":{"date-parts":[[2001,9]]},"DOI":"10.1023\/a:1012392927006","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T07:43:55Z","timestamp":1040629435000},"page":"260-276","source":"Crossref","is-referenced-by-count":22,"title":["SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems"],"prefix":"10.1007","volume":"27","author":[{"given":"A. A.","family":"Shalyto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. I.","family":"Tukkel'","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"361743_CR1","volume-title":"SWITCH-tekhnologii. Algoritmizatsiya i programmirovanie","author":"A.A. Shalyto","year":"1998","unstructured":"Shalyto, A.A., SWITCH-tekhnologii. Algoritmizatsiya i programmirovanie (SWITCH Technology: Algorithmization and Programming of Logic Control Problems), St. Petersburg: Nauka, 1998."},{"key":"361743_CR2","unstructured":"Shalyto, A.A., SWITCH Technology: Algorithmization and Programming of Logic Control Problems, Promyshl. ASU, Controllers, 1999, no. 9, pp. 33\u201337."},{"key":"361743_CR3","doi-asserted-by":"crossref","unstructured":"Harel, D.et al., STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Trans. Eng., 1990, no. 4, pp. 403\u2013414.","DOI":"10.1109\/32.54292"},{"key":"361743_CR4","volume-title":"Modeling Reactive Systems with Statecharts","author":"D. Harel","year":"1998","unstructured":"Harel, D. and Politi, M., Modeling Reactive Systems with Statecharts, New York: McGraw-Hill, 1998."},{"key":"361743_CR5","volume-title":"Teoriya algoritmov i avtomatov","author":"Y. Karpov","year":"1998","unstructured":"Karpov, Yu.G., Teoriya algoritmov i avtomatov (Theory of Algorithms and Automata), St. Petersburg: St. Petersburg State Technical Univ., Nestor, 1998."},{"key":"361743_CR6","unstructured":"xjCharts. Release 2.0. User's Manual: Experimental Object Technologies, 1999."},{"key":"361743_CR7","first-page":"44","volume":"5","author":"A.N. Terekhov","year":"1999","unstructured":"Terekhov, A.N., Romanovskii, K.,Yu., Koznov, D.V., Dolgov, P.S., and Ivanov A.N., RTST++: Methodology and a CASE Tool for the Development of Information Systems and Software for Real-Time Systems, Programmirovanie, 1999, no.5, pp. 44\u201351.","journal-title":"Programmirovanie"},{"key":"361743_CR8","unstructured":"STATEFLOW for Use with Simmulink. User's Guide. Version 1, Math Works, 1998."},{"key":"361743_CR9","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., and Jacobson, I., The Unified Modeling Language User Guide, Reading: Addison-Wesley, 1999. Translated under the title Yazyk UML. Rukovodstvo pol'zovatelya, Moscow: DMK, 2000."},{"key":"361743_CR10","volume-title":"Sintez obshchikh algoritmov po demonstratsiyam chastnykh primerov (avtomatnaya model' obobshcheniya po primeram)","author":"Y. Zatuliveter","year":"1997","unstructured":"Zatuliveter, Yu.S. and Khalatyan, T.G., Sintez obshchikh algoritmov po demonstratsiyam chastnykh primerov (avtomatnaya model' obobshcheniya po primeram) (Synthesis of General Algorithms by Specific Examples (Automaton Model of Generalization by Examples)), Moscow, Inst. Probl. Upravl., 1997."},{"key":"361743_CR11","volume-title":"Introduction to the Design and Analysis of Algorithms","author":"S. Goodman","year":"1977","unstructured":"Goodman, S. and Hidetniemi, S., Introduction to the Design and Analysis of Algorithms, New York: McGraw-Hill, 1977. Translated under the title Vvedenie v razrabotku i analiz algoritmov, Moscow: Mir, 1981."},{"key":"361743_CR12","volume-title":"The Mythical Man-Month: Essays on Software Engineering","author":"F. Brooks","year":"1995","unstructured":"Brooks, F., The Mythical Man-Month: Essays on Software Engineering, Reading: Addison\u2014Wesley, 1995. Translated under the title Mificheskii cheloveko-mesyats ili kak sozdayutsya programmnye sistemy, St. Petersburg: Simvol, 2000."},{"key":"361743_CR13","doi-asserted-by":"crossref","unstructured":"Burdonov, I.B., Kosachev, A.S., and Kulyamin, V.V., Application of Finite Automata to Program Testing, Programmirovanie, 2000, no. 2, pp. 12\u201328.","DOI":"10.1007\/BF02759192"},{"key":"361743_CR14","unstructured":"Ershov, A.P., Mixed Computations, V Mire Nauki, 1984, no. 6, pp. 28\u201342."},{"key":"361743_CR15","volume-title":"Kollektivnoe povedenie avtomatov","author":"V.I. Varshavskii","year":"1973","unstructured":"Varshavskii, V.I., Kollektivnoe povedenie avtomatov (Collective Behavior of Automata), Moscow: Nauka, 1973."},{"key":"361743_CR16","unstructured":"Workshop on Paradigms of Artificial Intelligence, Novosti iskusstvennogo intellekta, 1998, no.3, pp. 140\u2013161."},{"key":"361743_CR17","volume-title":"Programming Languages","author":"E. Dijkstra","year":"1968","unstructured":"Dijkstra, E., Interaction of Sequential Processes, Programming Languages, Genuis, F., Ed., London: Macdonald, 1968. Translated under the title Yazyki programmirovaniya, Moscow: Mir, 1972, pp. 9\u201486."},{"key":"361743_CR18","unstructured":"Gerr, R., New Turn, PC Magazine (Russian Edition), 1998, no. 10, pp.88\u201390."},{"key":"361743_CR19","volume-title":"Logicheskoe upravlenie. Metody apparatnoi i programmnoi realizatsii algoritmov","author":"A.A. Shalyto","year":"2000","unstructured":"Shalyto, A.A., Logicheskoe upravlenie. Metody apparatnoi i programmnoi realizatsii algoritmov (Logic Control: Methods of Hardware and Software Implementation of Algorithms), St. Petersburg: Nauka, 2000."},{"key":"361743_CR20","unstructured":"Cook, D., Urban, D., and Hamilton, S., Unix and Not Only Unix: An Interview with K. Thompson, Open Systems, 1999, no. 4, pp. 35\u201347."},{"key":"361743_CR21","volume-title":"Opisanie i realizatsiya protokolov setei EVM","author":"S.S. Zaitsev","year":"1989","unstructured":"Zaitsev, S.S., Opisanie i realizatsiya protokolov setei EVM (Description and Implementation of Protocols for Computer Networks), Moscow: Nauka, 1989."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1012392927006.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1012392927006","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1012392927006.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T01:54:29Z","timestamp":1775008469000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1012392927006"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,9]]},"references-count":21,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2001,9]]}},"alternative-id":["361743"],"URL":"https:\/\/doi.org\/10.1023\/a:1012392927006","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,9]]}}}