Model Based Testing Framework Using Component Technologies

Συγγραφείς: Victor V. Kuliamin.

Πηγή: Труды Института системного программирования РАН, Vol 18, Iss 0 (2018)

Θεματικοί όροι: компонентные технологии, тестирование на основе моделей, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1076; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/899c35549c8c474098a4dbae71b1d94b

On the program components of the mathematical modelling ; О программных компонентах математического моделирования

Συγγραφείς: Ильин, Валерий Павлович

Συνεισφορές: РНФ

Πηγή: Computational Mathematics and Software Engineering; Том 4, № 3 (2015); 85-94 ; Вычислительная математика и информатика; Том 4, № 3 (2015); 85-94 ; 2410-7034 ; 2305-9052

Θεματικοί όροι: basic system of modelling, component technologies, high performance computing, scalable parallelism, mult-languagesness, cross-platform, direct and inverse inter-disciplinary problems, базовая система моделирования, компонентные технологии, высокопроизводительные вычисления, масштабируемое распараллеливание, многоязыковость, кросс-платформенность, прямые и обратные междисциплинарные задачи

Περιγραφή αρχείου: application/pdf

Relation: https://vestnik.susu.ru/cmi/article/view/3065/3399; https://vestnik.susu.ru/cmi/article/downloadSuppFile/3065/61; https://vestnik.susu.ru/cmi/article/downloadSuppFile/3065/62; https://vestnik.susu.ru/cmi/article/view/3065

Διαθεσιμότητα: https://vestnik.susu.ru/cmi/article/view/3065
https://doi.org/10.14529/cmse150307

О ПРОГРАММНЫХ КОМПОНЕНТАХ МАТЕМАТИЧЕСКОГО МОДЕЛИРОВАНИЯ

Συγγραφείς: ИЛЬИН ВАЛЕРИЙ ПАВЛОВИЧ

Θεματικοί όροι: БАЗОВАЯ СИСТЕМА МОДЕЛИРОВАНИЯ, КОМПОНЕНТНЫЕ ТЕХНОЛОГИИ, ВЫСОКОПРОИЗВОДИТЕЛЬНЫЕ ВЫЧИСЛЕНИЯ, МАСШТАБИРУЕМОЕ РАСПАРАЛЛЕЛИВАНИЕ, МНОГОЯЗЫКОВОСТЬ, КРОСС-ПЛАТФОРМЕННОСТЬ, ПРЯМЫЕ И ОБРАТНЫЕ МЕЖДИСЦИПЛИНАРНЫЕ ЗАДАЧИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/o-programmnyh-komponentah-matematicheskogo-modelirovaniya
http://cyberleninka.ru/article_covers/15845587.png

Знакомство со средствами разработки для COM/COM+ [Электронный ресурс]

Θεματικοί όροι: компонентные технологии, высшая школа, COM/COM+, лабораторные работы, компонентные технологии Microsoft, вычислительная техника

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://lib.vsu.by/jspui/handle/123456789/2502

АРХИТЕКТУРА СРЕДЫ ТЕСТИРОВАНИЯ НА ОСНОВЕ МОДЕЛЕЙ, ПОСТРОЕННАЯ НА БАЗЕ КОМПОНЕНТНЫХ ТЕХНОЛОГИЙ

Συγγραφείς: Кулямин, В.

Θεματικοί όροι: КОМПОНЕНТНЫЕ ТЕХНОЛОГИИ,ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/arhitektura-sredy-testirovaniya-na-osnove-modeley-postroennaya-na-baze-komponentnyh-tehnologiy
http://cyberleninka.ru/article_covers/13974779.png

Выполнимые спецификации в проектировании баз данных ; Здійснимі специфікації в проектуванні баз даних ; Executable specifications are in planning of databases

Συγγραφείς: Тарек Юсеф Бади Биштави, Г.Н. Жолткевич, Ю.В. Соляник, Тарек Юсеф Баді Біштаві, Г.М. Жолткевич, Tarek Yusef Badi Bishtavi, G.N. Zholtkevich, Yu.V. Solyanik

Πηγή: Системи обробки інформації. — 2008. — № 2(69). 108-111 ; Системы обработки информации. — 2008. — № 2(69). 108-111 ; Information Processing Systems. — 2008. — № 2(69). 108-111 ; 1681-7710

Θεματικοί όροι: Обробка інформації в складних технічних системах, УДК 004.655+657/519.682.1, проектирование программного обеспечения, выполнимые спецификации, верификация, базы данных, генерация кода, компонентные технологии, языки запросов, проектування програмного забезпечення, здійснимі специфікації, верифікація, бази даних, генерація коду, компонентні технології, мови запитів, planning of software, executable specifications, verification, databases, code generation, technologies of components, languages of queries

Περιγραφή αρχείου: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/12690/soi_2008_2_28.pdf; http://www.hups.mil.gov.ua/periodic-app/article/12690

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/12690

О программных компонентах математического моделирования

Πηγή: Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика.

Θεματικοί όροι: БАЗОВАЯ СИСТЕМА МОДЕЛИРОВАНИЯ, КОМПОНЕНТНЫЕ ТЕХНОЛОГИИ, ВЫСОКОПРОИЗВОДИТЕЛЬНЫЕ ВЫЧИСЛЕНИЯ, МАСШТАБИРУЕМОЕ РАСПАРАЛЛЕЛИВАНИЕ, МНОГОЯЗЫКОВОСТЬ, КРОСС-ПЛАТФОРМЕННОСТЬ, ПРЯМЫЕ И ОБРАТНЫЕ МЕЖДИСЦИПЛИНАРНЫЕ ЗАДАЧИ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/15845587.png
http://cyberleninka.ru/article/n/o-programmnyh-komponentah-matematicheskogo-modelirovaniya

О программных компонентах математического моделирования

Συγγραφείς: Ilin, V. P.

Θεματικοί όροι: scalable parallelism, компонентные технологии, УДК 519.6, component technologies, basic system of modelling, базовая система моделирования, масштабируемое распараллеливание, высокопроизводительные вычисления, mult-languagesness, high performance computing, direct and inverse inter-disciplinary problems, прямые и обратные междисциплинарные задачи, многоязыковость, УДК 001.891.573, кросс-платформенность, cross-platform, ГРНТИ 27.41

Σύνδεσμος πρόσβασης: http://dspace.susu.ac.ru/xmlui/handle/0001.74/6495

Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий

Πηγή: Труды Института системного программирования РАН.

Θεματικοί όροι: КОМПОНЕНТНЫЕ ТЕХНОЛОГИИ,ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/13974779.png
http://cyberleninka.ru/article/n/arhitektura-sredy-testirovaniya-na-osnove-modeley-postroennaya-na-baze-komponentnyh-tehnologiy

Знакомство со средствами разработки для COM/COM+ [Электронный ресурс]

Συγγραφείς: Новый, В. В.

Θεματικοί όροι: COM/COM+, высшая школа, вычислительная техника, компонентные технологии, компонентные технологии Microsoft, лабораторные работы

Περιγραφή αρχείου: application/pdf

Relation: https://rep.vsu.by/handle/123456789/2502

Διαθεσιμότητα: https://rep.vsu.by/handle/123456789/2502

О программных компонентах математического моделирования ; On the program components of the mathematical modelling

Συγγραφείς: Ильин, В. П., Ilin, V. P.

Θεματικοί όροι: базовая система моделирования, компонентные технологии, высокопроизводительные вычисления, масштабируемое распараллеливание, многоязыковость, кросс-платформенность, прямые и обратные междисциплинарные задачи, basic system of modelling, component technologies, high performance computing, scalable parallelism, mult-languagesness, cross-platform, direct and inverse inter-disciplinary problems, УДК 519.6, УДК 001.891.573, ГРНТИ 27.41

Περιγραφή αρχείου: application/pdf

Relation: Вестник ЮУрГу. Серия Вычислительная математика и информатика; Bulletin of South Ural State University. Series 'Computational mathematics and software engineering"; Вычислительная математика и информатика;Том 4; http://dspace.susu.ac.ru/xmlui/handle/0001.74/6495

Διαθεσιμότητα: http://dspace.susu.ac.ru/xmlui/handle/0001.74/6495

Выполнимые спецификации в проектировании баз данных

Additional Titles: Здійснимі специфікації в проектуванні баз даних
Executable specifications are in planning of databases

Συγγραφείς: Тарек Юсеф Бади Биштави, Г.Н. Жолткевич, Ю.В. Соляник, Тарек Юсеф Баді Біштаві, Г.М. Жолткевич, Tarek Yusef Badi Bishtavi, G.N. Zholtkevich, Yu.V. Solyanik

Πηγή: Системи обробки інформації. — 2008. — № 2(69). 108-111; Системы обработки информации. — 2008. — № 2(69). 108-111; Information Processing Systems. — 2008. — № 2(69). 108-111; 1681-7710

Όροι ευρετηρίου: Обробка інформації в складних технічних системах, УДК 004.655+657/519.682.1, проектирование программного обеспечения, выполнимые спецификации, верификация, базы данных, генерация кода, компонентные технологии, языки запросов, проектування програмного забезпечення, здійснимі специфікації, верифікація, бази даних, генерація коду, компонентні технології, мови запитів, planning of software, executable specifications, verification, databases, code generation, technologies of components, languages of queries, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Рецензована стаття

Σύνδεσμος: http://www.hups.mil.gov.ua/periodic-app/article/12690
http://www.hups.mil.gov.ua/periodic-app/article/12690/soi_2008_2_28.pdf
http://www.hups.mil.gov.ua/periodic-app/article/12690/soi_2008_2_28.pdf