-
1دورية أكاديمية
المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 79-91 (2015)
مصطلحات موضوعية: символьная верификация, автоматизация тестирования, конкретизация тестовых сценариев, предикатный трансформер, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
2دورية أكاديمية
المصدر: Моделирование и анализ информационных систем, Vol 21, Iss 6, Pp 44-56 (2014)
مصطلحات موضوعية: поведенческая модель, символьная трасса, символьный сценарий, гид, причина ошибки, полуавтоматический анализ, автоматический анализ причин ошибок, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
3دورية أكاديمية
المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 79-91 (2012)
مصطلحات موضوعية: символьная верификация, автоматизация тестирования, конкретизация тестовых сценариев, предикатный трансформер, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
4دورية أكاديمية
المؤلفون: 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
-
5دورية أكاديمية
المؤلفون: M. S. Lvov, V. S. Peschanenko
المصدر: Ìнформаційні технології в освіті, Iss 2, Pp 30-34 (2008)
مصطلحات موضوعية: Education
وصف الملف: electronic resource
-
6
المؤلفون: 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
-
7
المؤلفون: O. O. Letychevskyi, V. S. Peschanenko, Y. V. Hryniuk
المصدر: Cybernetics and Systems Analysis. 58:157-163
مصطلحات موضوعية: General Computer Science
-
8
المؤلفون: 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 -
9
المؤلفون: 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