Standards for Presenting Educational Materials in Electronic Education Support Systems

Πηγή: NaUKMA Research Papers. Computer Science; Vol. 6 (2023): NaUKMA Research Papers. Computer Science; 69-75
Наукові записки НаУКМА. Комп'ютерні науки; Том 6 (2023): Наукові записки НаУКМА. Комп’ютерні науки; 69-75

Θεματικοί όροι: xAPI, цифрова освіта, стандарти електронного навчання, IEEE Learning Technology Standards Committee (LTSC), SCORM, e-learning standards, e-learning software systems, digital education, IMS Global Learning Consortium, програмні системи електронного навчання, структуризація навчального контенту, e-learning technical specifications, технічні специфікації електронного навчання, structuring of learning content

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

Σύνδεσμος πρόσβασης: http://nrpcomp.ukma.edu.ua/article/view/302262

Established Definitions of Super-Critical Operational Modes as Automotive System Requirements

Πηγή: Pidvodni tehnologii; No. 13 (2023); 14-20
"Подводные технологии: промышленная и гражданская инженерия"; № 13 (2023); 14-20
Pidvodni tehnologii; № 13 (2023); 14-20

Θεματικοί όροι: Системні Специфікації, Инженерия Требований, Super-Critical Operational Modes, System Specifications, Супер-Критичні Операційні Режими, Adaptability, Адаптивність, Automotive Platform, Системные Спецификации, Інженерія Вимог, Автомобильная Платформа, Супер-Критические Операционные Режимы, Адаптивность, Requirement Engineering, Автомобільна Платформа

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

Σύνδεσμος πρόσβασης: http://uwtech.knuba.edu.ua/article/view/298848

Standards for Presenting Educational Materials in Electronic Education Support Systems ; Стандарти подання навчальних матеріалів у програмних системах підтримки електронної освіти

Συγγραφείς: Нагнибіда, Андрій Андрійович

Πηγή: NaUKMA Research Papers. Computer Science; Vol. 6 (2023): NaUKMA Research Papers. Computer Science; 69-75 ; Наукові записки НаУКМА. Комп'ютерні науки; Том 6 (2023): Наукові записки НаУКМА. Комп’ютерні науки; 69-75 ; 2617-7323 ; 2617-3808

Θεματικοί όροι: цифрова освіта, стандарти електронного навчання, SCORM, xAPI, IMS Global Learning Consortium, IEEE Learning Technology Standards Committee (LTSC), технічні специфікації електронного навчання, програмні системи електронного навчання, структуризація навчального контенту, digital education, e-learning standards, e-learning technical specifications, e-learning software systems, structuring of learning content

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

Relation: http://nrpcomp.ukma.edu.ua/article/view/302262/294291; http://nrpcomp.ukma.edu.ua/article/view/302262

Διαθεσιμότητα: http://nrpcomp.ukma.edu.ua/article/view/302262

Established Definitions of Super-Critical Operational Modes as Automotive System Requirements ; Установлены определения сверхкритических режимов работы как требований к автомобильной системе ; Встановлені визначення надкритичних режимів роботи як вимог до автомобільної системи

Συγγραφείς: Гуменний, Дмитро, Гуменний, Олександр

Πηγή: Pidvodni tehnologii; No. 13 (2023); 14-20 ; "Подводные технологии: промышленная и гражданская инженерия"; № 13 (2023); 14-20 ; Pidvodni tehnologii; № 13 (2023); 14-20 ; 2415-8569 ; 2415-8550 ; 10.32347/uwt.2023.13

Θεματικοί όροι: Автомобильная Платформа, Супер-Критические Операционные Режимы, Адаптивность, Инженерия Требований, Системные Спецификации, Automotive Platform, Super-Critical Operational Modes, Adaptability, Requirement Engineering, System Specifications, Автомобільна Платформа, Супер-Критичні Операційні Режими, Адаптивність, Інженерія Вимог, Системні Специфікації

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

Relation: http://uwtech.knuba.edu.ua/article/view/298848/291426; http://uwtech.knuba.edu.ua/article/view/298848

Διαθεσιμότητα: http://uwtech.knuba.edu.ua/article/view/298848

Use of the PVS Formal Logic System in the Method of Formal Proof of Security in the Construction of Information Security Systems

Συγγραφείς: Zhora, V. (Victor), Synetskyi, O. (Oleksandr)

Πηγή: Technology Audit and Production Reserves

Θεματικοί όροι: информационно-телекоммуникационная система, система защиты информации, политика безопасности, метод формального доказательства защищенности, язык спецификации, інформаційно-телекомунікаційна система, система захисту інформації, політика безпеки, метод формального доведення захищеності, мова специфікації, information and telecommunication system, information security system, security policy, method of formal proof of security, specification language, Indonesia

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

Διαθεσιμότητα: https://www.neliti.com/publications/548061/use-of-the-pvs-formal-logic-system-in-the-method-of-formal-proof-of-security-in

Use of the PVS formal logic system in the method of formal proof of security in the construction of information security systems

Πηγή: Technology audit and production reserves; Vol. 2 No. 2(58) (2021): Information and control systems; 41-45
Technology audit and production reserves; Том 2 № 2(58) (2021): Інформаційно-керуючі системи; 41-45
Technology audit and production reserves; Том 2 № 2(58) (2021): Информационно-управляющие системы; 41-45

Θεματικοί όροι: information security system, информационно-телекоммуникационная система, метод формального доказательства защищенности, method of formal proof of security, система защиты информации, мова специфікації, система захисту інформації, метод формального доведення захищеності, security policy, інформаційно-телекомунікаційна система, information and telecommunication system, политика безопасности, язык спецификации, політика безпеки, specification language

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

Σύνδεσμος πρόσβασης: http://journals.uran.ua/tarp/article/view/229539

Сompilations method and semantic verification time parameterized of multiparallel programs ; Метод компиляционно-семантической верификации времяпараметризованных мультипараллельных программ ; Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм

Συγγραφείς: Толстолузька, Олена, Толстолузький, Дмитро, Мороз, Ольга

Πηγή: Computer Science and Cybersecurity; № 4 (2016); 26-34 ; Компьютерные науки и кибербезопасность; № 4 (2016); 26-34 ; Комп’ютерні науки та кібербезпека; № 4 (2016); 26-34 ; 2519-2310

Θεματικοί όροι: Computer Science, Time parameterizing, multiparallelism, parallel programs, verification of parallel programs, compilation-semantic verification, semantic-numerical specification, Компьютерные науки, времяпараметризованные мультипараллельные программы, верификация параллельных программ, компиляционно-семантическая верификация, семантико-числовые спецификации, Комп'ютерні науки, часопараметризовані мільтипаралельні програми, верифікація паралельних програм, компіляційно-семантична верифікація, семантично-числові специфікації

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

Relation: http://periodicals.karazin.ua/cscs/article/view/8264/9880; http://periodicals.karazin.ua/cscs/article/view/8264

Διαθεσιμότητα: http://periodicals.karazin.ua/cscs/article/view/8264

Особливості правового регулювання захисту права на географічне зазначення походження товарів в ЄС

Συγγραφείς: U. V. Nahorna

Πηγή: Наукові записки Інституту законодавства Верховної Ради України, Vol 1, Iss 1, Pp 162-167 (2016)

Θεματικοί όροι: географічне зазначення, принцип специфікації, реєстраційна модель, системи якості, угода про асоціацію, Law, Regional economics. Space in economics, HT388

Relation: https://instzak.com/index.php/journal/article/view/322/317; https://doaj.org/toc/2220-1394; https://doaj.org/article/285ccb124f3b4426bb3ec3cddad7beb4

Διαθεσιμότητα: https://doaj.org/article/285ccb124f3b4426bb3ec3cddad7beb4

Розробка технічного файлу на медичний виріб – біосумісний зубний імплант

Συνεισφορές: Голембіовська, Олена Ігорівна, ELAKPI

Θεματικοί όροι: специфікації якості, risk analysis, виробництво, technical file, titanium dental implant, аналіз ризиків, ISO, production, технічний файл, титановий зубний імплант, quality specifications

Περιγραφή αρχείου: application/vnd.openxmlformats-officedocument.wordprocessingml.document

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/52157

Где и когда формируется качество программного обеспечения? ; Де и коли встановлюється якість програмного забезпечення? ; Where and when is formed of software quality?

Συγγραφείς: Маевский, Дмитрий Андреевич, Козина, Юлия Юрьевна, Маєвський, Дмитро Андрійович, Козіна, Юлія Юріївна, Maevskiy, D., Kozina, Yu.

Θεματικοί όροι: качество программного обеспечения, ISO 25010, жизненный цикл программного обеспечения, модель качества продукта, модель качества при использовании продукта, спецификации, тестирование, анализ требований, сопровождение, software quality, life cycle of software, quality model, quality model in using the product, specifications, testing, requirements analysis, maintenance, якість програмного забезпечення, життєвий цикл програмного забезпечення, модель якості продукту, модель якості при використанні продукту, специфікації, тестування, аналіз вимог, супровід

Relation: Маевский, Д. А. Где и когда формируется качество программного обеспечения? / Д. А. Маевский, Ю. Ю. Козина // Электротехн. и компьютер. системы. - 2015. - № 18 (94). - С. 55-59.; http://etks.opu.ua/?fetch=articles&with=info&id=651; http://dspace.opu.ua/xmlui/handle/123456789/1265

Διαθεσιμότητα: http://dspace.opu.ua/xmlui/handle/123456789/1265
http://etks.opu.ua/?fetch=articles&with=info&id=651

Алгоритм сравнительной оценки сложностей обмена сообщениями при фрагментации временных параллельных моделей задач для распределенных вычислительных сетей ; Алгоритм порівняльної оцінки складнощів обміну повідомленнями при фрагментації часових паралельних моделей задач для розподілених обчислювальних мереж ; Algorithm of comparative estimation of complications of exchange by reports during fragmentation of temporal parallel models of tasks for dcn

Συγγραφείς: Г.А. Поляков, Г.Геахпур, Р.В. Бублик, Е.Г. Толстолужская, Г.О. Поляков, Г. Геахпур, О.Г. Толстолузька, G.A. Polyakov, G. Geakhpur, R.V. Bublik, E.G. Tolslolujskaiia

Πηγή: Системи обробки інформації. — 2013. — № 6(113). 238-242 ; Системы обработки информации. — 2013. — № 6(113). 238-242 ; Information Processing Systems. — 2013. — № 6(113). 238-242 ; 1681-7710

Θεματικοί όροι: Інфокомунікаційні системи, УДК 680.3, параллельная времяпараметризованная модель задачи, распределенная вычислительная сеть (РВС), вычислительный узел (ВУ), структуры семантико-числовой спецификации (СЧС), формальный полином, сложность фрагментации (количество обменов сообщениями), паралельна часопараметризована модель задачі, розподілена обчислювальна мережа (РОМ), обчислювальний вузол (ОВ), структури семантико-числової специфікації (СЧС), формальний поліном, складність фрагментації (кількість обмінів повідомленнями), parallel timeparametrized model of task, DCN, calculable knot (CK), structures of semantiko-numerical specification (SNS), formal polynomial, complication of fragmentation (amount of exchanges by reports)

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

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

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

Expansion RTPA specification for representing domain analysis ; Расширение RTPA для представления спецификации доменного анализа ; Розширення RTPA для представлення специфікації доменного аналізу

Συγγραφείς: Мендзебровський, Ігор Борисович, Сидоров, Євген Миколайович, Дуднік, Валентин Володимирович

Πηγή: Ukrainian Information Security Research Journal; Vol. 14 No. 4 (57) (2012); 82-87 ; Защита информации; Том 14 № 4 (57) (2012); 82-87 ; Захист інформації; Том 14 № 4 (57) (2012); 82-87 ; 2410-7840 ; 2221-5212

Θεματικοί όροι: software engineering, domain engineering, domain analysis, information safety formal specification, RTPA, protection, UDC 378.1, 303.732.4 (477), инженерия программного обеспечения, доменная инженерия, доменный анализ, формальные спецификации, защита информации, УДК 378.1, інженерія програмного забезпечення, доменна інженерія, доменний аналіз, формальні специфікації, захист інформації

Time: 004

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

Relation: https://jrnl.nau.edu.ua/index.php/ZI/article/view/3497/3468; https://jrnl.nau.edu.ua/index.php/ZI/article/view/3497

Διαθεσιμότητα: https://jrnl.nau.edu.ua/index.php/ZI/article/view/3497
https://doi.org/10.18372/2410-7840.14.3497

Програмний модуль контейнера мікросервісів

Συνεισφορές: Болдак, Андрій Олександрович, ELAKPI

Θεματικοί όροι: specifications, microservice architecture, OpenAPI, специфікації, Node.js, мікросервісна архітектура

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

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/49710

Выполнимые спецификации в проектировании баз данных ; Здійснимі специфікації в проектуванні баз даних ; 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

Структура и стереотипы UML-профиля для моделирования бизнеса ; UML-ПРОФІЛЬ ДЛЯ МОДЕЛЮВАННЯ БІЗНЕСУ ; UML PROFILE FOR BUSINESS MODELING

Συγγραφείς: А.Г. Украинец, О.Г. Українець, O.G. Ukrayinets

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

Θεματικοί όροι: Моделювання в економіці, організація виробництва та управління проектами, УДК 519.688 + 519.683.7, инженерия требований, метод анализа требований, модель бизнес-процесса, модель спецификации системы, унифицированный язык моделирования UML, системологический подход «Узел – Функция – Объект», триединая парадигма континуума, UML-профиль, інженерія вимог, метод аналізу вимог, модель бізнес-процесу, модель специфікації системи, уніфікована мова моделювання UML, системологічний підхід " Вузол – Функція – Об'єкт", триєдина парадигма континууму, UML-профіль, Requirements Engineering, Requirements Analysis Method, Business-Process Model, System Specification Model, Unified Modeling Language – UML, Systemological Approach “Unit – Function – Object”, Triune Continuum Paradigm, UML Profile

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

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

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

Програмний модуль системи моніторингу споживання електричної енергії

Συνεισφορές: Ковальчук, Артем Михайлович, ELAKPI

Θεματικοί όροι: облік лічильників, температурний моніторинг, документообіг, розробка специфікації, кабінет енергоменеджера

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

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/44160

Designing an embedded system in CAD based on behavioral models

Πηγή: Electronics and Communications; Vol. 16 No. 1 (2011); 181-185
Электроника и Связь; Том 16 № 1 (2011); 181-185
Електроніка та Зв'язок; Том 16 № 1 (2011); 181-185

Θεματικοί όροι: разделение спецификации, вбудовані системи, automated design system, апаратнопрограмне розбиття, специфікація системи, поведінкова модель, розділення специфікації, hardware-software division, система автоматизованого проектування, system specification, behavioral model, поведенческая модель, design stages, встроенные системы, этапы проектирования, система автоматизированного проектирования, аппаратно-программное разбиение, embedded systems, етапи проектування, спецификация системы, specification division

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

Σύνδεσμος πρόσβασης: http://elc.kpi.ua/old/article/view/274245

A Game-Theoretical Specification of Static Optimization Problems for the First-Order Lag Models of Macroeconomic Dynamics

Συγγραφείς: Filchenko, Dmytro Viktorovych

Θεματικοί όροι: specification of static optimization problem, linear discrete model, лінійна дискретна модель, линейная дискретная модель, специфікації статичної оптимізаційної задачі, спецификации статической оптимизационной задачи, модель макроекономічної динаміки, model of macroeconomic dynamics, модель макроэкономической динамики

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

Σύνδεσμος πρόσβασης: http://essuir.sumdu.edu.ua/handle/123456789/3152

Спосіб автоматизації процесу створення специфікацій варіантів використання на основі їх атрибутів

Συνεισφορές: Рибачок, Наталія Антонівна, ELAKPI

Θεματικοί όροι: веб-додаток, modularity of specifications, спецификации вариантов использования, web-platform, веб-приложение, модульность спецификаций, модульність специфікацій, use case specifying, специфікації варіантів використання

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

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/31167

МЕТАФОРИЗАЦІЯ ІНТЕНСИВНОСТІ БАЖАННЯ В СУЧАСНИХ АНГЛОМОВНИХ ХУДОЖНІХ ТВОРАХ: ЛІНГВОКОГНІТИВНИЙ АСПЕКТ

Συγγραφείς: Подуфалова, Т. В.

Θεματικοί όροι: концепт, когнітивна метафора, метафорична кореляція, мапування, лінгвокогнітивні операції розширення, специфікації, комбінування, когнитивная метафора, метафорическая корреляция, картирование, линвокогнитивные операции расширения, спецификации, комбинирования, concept, cognitive metaphor, metaphorical correspondence, mapping, lingual and cognitive mechanisms of extension, elaboration, combining

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

Relation: http://dspace.hnpu.edu.ua/handle/123456789/146

Διαθεσιμότητα: http://dspace.hnpu.edu.ua/handle/123456789/146