-
1Academic Journal
Πηγή: 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
-
2Academic Journal
Πηγή: 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
-
3Academic Journal
Συγγραφείς: Нагнибіда, Андрій Андрійович
Πηγή: 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
-
4Academic Journal
Συγγραφείς: Гуменний, Дмитро, Гуменний, Олександр
Πηγή: 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
-
5Academic Journal
Συγγραφείς: 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
-
6Academic Journal
Πηγή: 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
-
7Academic Journal
Συγγραφείς: Толстолузька, Олена, Толстолузький, Дмитро, Мороз, Ольга
Πηγή: 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
-
8Academic Journal
Συγγραφείς: 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
-
9Dissertation/ Thesis
Συνεισφορές: Голембіовська, Олена Ігорівна, 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
-
10Academic Journal
Συγγραφείς: Маевский, Дмитрий Андреевич, Козина, Юлия Юрьевна, Маєвський, Дмитро Андрійович, Козіна, Юлія Юріївна, 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
-
11Academic Journal
Συγγραφείς: Г.А. Поляков, Г.Геахпур, Р.В. Бублик, Е.Г. Толстолужская, Г.О. Поляков, Г. Геахпур, О.Г. Толстолузька, 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
-
12Academic Journal
Συγγραφείς: Мендзебровський, Ігор Борисович, Сидоров, Євген Миколайович, Дуднік, Валентин Володимирович
Πηγή: 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
-
13Dissertation/ Thesis
Συνεισφορές: Болдак, Андрій Олександрович, ELAKPI
Θεματικοί όροι: specifications, microservice architecture, OpenAPI, специфікації, Node.js, мікросервісна архітектура
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/49710
-
14Academic Journal
Συγγραφείς: Тарек Юсеф Бади Биштави, Г.Н. Жолткевич, Ю.В. Соляник, Тарек Юсеф Баді Біштаві, Г.М. Жолткевич, 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
-
15Academic Journal
Συγγραφείς: А.Г. Украинец, О.Г. Українець, 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
-
16Dissertation/ Thesis
Συνεισφορές: Ковальчук, Артем Михайлович, ELAKPI
Θεματικοί όροι: облік лічильників, температурний моніторинг, документообіг, розробка специфікації, кабінет енергоменеджера
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/44160
-
17Academic Journal
Πηγή: 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
-
18Academic Journal
Συγγραφείς: 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
-
19Dissertation/ Thesis
Συνεισφορές: Рибачок, Наталія Антонівна, ELAKPI
Θεματικοί όροι: веб-додаток, modularity of specifications, спецификации вариантов использования, web-platform, веб-приложение, модульность спецификаций, модульність специфікацій, use case specifying, специфікації варіантів використання
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/31167
-
20Academic Journal
МЕТАФОРИЗАЦІЯ ІНТЕНСИВНОСТІ БАЖАННЯ В СУЧАСНИХ АНГЛОМОВНИХ ХУДОЖНІХ ТВОРАХ: ЛІНГВОКОГНІТИВНИЙ АСПЕКТ
Συγγραφείς: Подуфалова, Т. В.
Θεματικοί όροι: концепт, когнітивна метафора, метафорична кореляція, мапування, лінгвокогнітивні операції розширення, специфікації, комбінування, когнитивная метафора, метафорическая корреляция, картирование, линвокогнитивные операции расширения, спецификации, комбинирования, concept, cognitive metaphor, metaphorical correspondence, mapping, lingual and cognitive mechanisms of extension, elaboration, combining
Περιγραφή αρχείου: application/pdf
Διαθεσιμότητα: http://dspace.hnpu.edu.ua/handle/123456789/146