المؤلفون: A. V. Kolchin, A. A. Letichevsky, V. S. Peschanenko, P. D. Drobintsev, V. P. Kotlyarov

المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 79-91 (2015)

مصطلحات موضوعية: символьная верификация, автоматизация тестирования, конкретизация тестовых сценариев, предикатный трансформер, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/141; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/61587dca5e904af18283a1271d16f304

المؤلفون: P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky, V. S. Peschanenko

المصدر: Моделирование и анализ информационных систем, Vol 21, Iss 6, Pp 44-56 (2014)

مصطلحات موضوعية: поведенческая модель, символьная трасса, символьный сценарий, гид, причина ошибки, полуавтоматический анализ, автоматический анализ причин ошибок, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/70; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/33b1835e29fa4bf198f117ec92ef054a

المؤلفون: A. V. Kolchin, A. A. Letichevsky, V. S. Peschanenko, P. D. Drobintsev, V. P. Kotlyarov

المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 79-91 (2012)

مصطلحات موضوعية: символьная верификация, автоматизация тестирования, конкретизация тестовых сценариев, предикатный трансформер, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: http://mais-journal.ru/jour/article/view/141; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/659f72f0ac5546bba2437039baea60cf

المؤلفون: O. V. Scherbina, V. S. Peschanenko, M. S. Lvov

المصدر: Ìнформаційні технології в освіті, Iss 3, Pp 169-174 (2009)

مصطلحات موضوعية: logic of utterances (or logic of propositions), mathematical logic, predicate, quantifier, utterance (proposition), Education

وصف الملف: electronic resource

Relation: http://ite.kspu.edu/webfm_send/512; https://doaj.org/toc/1998-6939; https://doaj.org/toc/2306-1707

URL الوصول: https://doaj.org/article/a8b370a3777047b381ac8502c31eb7c2

المؤلفون: M. S. Lvov, V. S. Peschanenko

المصدر: Ìнформаційні технології в освіті, Iss 2, Pp 30-34 (2008)

مصطلحات موضوعية: Education

وصف الملف: electronic resource

Relation: http://ite.kspu.edu/webfm_send/559; https://doaj.org/toc/1998-6939; https://doaj.org/toc/2306-1707

URL الوصول: https://doaj.org/article/a8e45723dc144a1eb081735a22bfb0bf

المؤلفون: O. O. Letychevskyi, O. M. Odarushchenko, V. S. Peschanenko, V. S. Kharchenko, V. V. Moskalets

المصدر: Cybernetics and Systems Analysis. 58:289-298

مصطلحات موضوعية: General Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8002d30338e880dcbd631349e104413e
https://doi.org/10.1007/s10559-022-00461-2

المؤلفون: O. O. Letychevskyi, V. S. Peschanenko, Y. V. Hryniuk

المصدر: Cybernetics and Systems Analysis. 58:157-163

مصطلحات موضوعية: General Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9925ec587b20c4037da2581bc7982467
https://doi.org/10.1007/s10559-022-00445-2

المؤلفون: V. S. Peschanenko, M. S. Lvov, O. V. Scherbina

المصدر: Ìnformacìjnì Tehnologìï v Osvìtì, Iss 3, Pp 169-174 (2009)

مصطلحات موضوعية: predicate, Computer science, Systems engineering, Structure (category theory), logic of utterances (or logic of propositions), mathematical logic, quantifier, utterance (proposition), lcsh:L, lcsh:Education

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1032a4c56130294e879af2926aa02ce7
https://doi.org/10.14308/ite000069

المؤلفون: V. S. Peschanenko, M. S. Lvov

المصدر: Ìnformacìjnì Tehnologìï v Osvìtì, Iss 2, Pp 30-34 (2008)

مصطلحات موضوعية: Medical education, Engineering, business.industry, Informatics, Specialty, ComputingMilieux_COMPUTERSANDEDUCATION, Training plan, State (computer science), business, lcsh:L, Curriculum, GeneralLiterature_MISCELLANEOUS, lcsh:Education

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa9bde82ca38b3b51b6ed67632175caa
http://ite.kspu.edu/webfm_send/559