VERIFICATION OF MODELS OF OBJECT-ORIENTED PROGRAMS: CHECKING FOR NON-OPINIONITY AND CONSISTENCY

Πηγή: Технічні науки та технології; № 2(8) (2017): Технічні науки та технології; 110-116
Technical sciences and technology; No. 2(8) (2017): Technical sciences and technologies; 110-116
Технические науки и технологии; № 2(8) (2017): Технические науки и технологии; 110-116

Θεματικοί όροι: модель, верифікація, объектно-ориентированное программное обеспечение, непротиворечивость, UML-диаграмма, несуперечливість, 0211 other engineering and technologies, 02 engineering and technology, узгодженість, 01 natural sciences, об'єктно-орієнтоване програмне забезпечення, верификация, согласованность, UML-діаграма, 0103 physical sciences

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

Σύνδεσμος πρόσβασης: http://tst.stu.cn.ua/article/view/113051

Мистецький світ як передмова. Поетика і сенс режисури Дмитра Богомазова

Συγγραφείς: Саква, Олександр

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

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

Relation: Кіно-Театр; https://ekmair.ukma.edu.ua/handle/123456789/21368

Διαθεσιμότητα: https://ekmair.ukma.edu.ua/handle/123456789/21368

АВТОМАТИЗАЦИЯ ПРОВЕРКИ ПРАВИЛ ЭКСПЕРТНОЙ СИСТЕМЫ ДЛЯ МОНИТОРИНГА РАБОТЫ КОМПЬЮТЕРНОЙ СЕТИ ; EXPERT SYSTEM FOR MONITORING OF COMPUTER NETWORK WORK RULES CHECKING AUTOMATION ; АВТОМАТИЗАЦІЯ ПЕРЕВІРКИ ПРАВИЛ ЕКСПЕРТНОЇ СИСТЕМИ ДЛЯ МОНІТОРИНГУ РОБОТИ КОМП’ЮТЕРНОЇ МЕРЕЖІ

Συγγραφείς: Рувинская, Виктория Михайловна, Тройнина, Анастасия Сергеевна, Беркович, Евгений Леонидович, Черненко, Андрей Юрьевич, Ruvinskaya, V. M., Berkovich, E. L., Chernenko, A. U., Troynina, A. S., Рувинская, В. М., Беркович, Е. Л., Черненко, А. Ю., Тройнина, А. С.

Θεματικοί όροι: мониторинг, компьютерная сеть, базы правил, непротиворечивость, цикличность, полнота, monitoring, rules base, computer network, consistency, cyclicity, completeness, моніторинг, комп’ютерна мережа, база правил, несуперечливість, циклічність, повнота

Relation: http://etks.opu.ua/?fetch=articles&with=info&id=352; http://dspace.opu.ua/xmlui/handle/123456789/1671

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

Системно-правова несуперечливість кримінально-правових норм

Συγγραφείς: Пащенко, О.О.

Θεματικοί όροι: системно-правовая непротиворечивость норм, уголовно-правовые нормы, Уголовный кодекс Украины, системно-правова несуперечливість норм, кримінально-правові норми, Кримінальний кодекс України

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

Relation: https://dspace.nlu.edu.ua/handle/123456789/7233

Διαθεσιμότητα: https://dspace.nlu.edu.ua/handle/123456789/7233

Аксіоматичний підхід до сутності роботизованих механоскладальних технологій та їх синтезу

Συγγραφείς: Кирилович, В. А.

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

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

Relation: Кирилович В. А. Аксіоматичний підхід до сутності роботизованих механоскладальних технологій та їх синтезу / В. А. Кирилович // Сучасні технології в машинобудуванні = Modern technologies in mechanical engineering : зб. наук. пр. – Харків : НТУ "ХПІ". – 2013. – Вип. 8. – С. 263-271.; http://repository.kpi.kharkov.ua/handle/KhPI-Press/17258

Διαθεσιμότητα: http://repository.kpi.kharkov.ua/handle/KhPI-Press/17258

Аксіоматичний підхід до сутності роботизованих механоскладальних технологій та їх синтезу

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

Σύνδεσμος πρόσβασης: http://repository.kpi.kharkov.ua/handle/KhPI-Press/17258

Закон України «про порядок вирішення колективних трудових спорів (конфліктів)» – основа ефективності діяльності національної служби посередництва і примирення

Συγγραφείς: Рішняк, М. О.

Θεματικοί όροι: рівень досконалості правового змісту закону, несуперечливість норм права, колективні трудові спори (конфлікти), Національна служба посередництва і примирення, принцип правової визначеності змісту нормативно-правового акта, ефективність правового регулювання, ефективність юрисдикційної діяльності Національної служби посередництва і примирення, level of excellence of legal content of the law, completeness, collective labor disputes (conflicts), National Mediation Service and Reconciliation, principle of legal definition of the content of the normative legal act, efficiency of legal regulation, effectiveness of the jurisdictional activity of the national mediation and reconciliation service

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

Relation: http://openarchive.nure.ua/handle/document/15240

Διαθεσιμότητα: http://openarchive.nure.ua/handle/document/15240

Верификация моделей объектно-ориентированных программ: проверка на непротиворечивость и согласованность ; Верифікація моделей об’єктно-орієнтованих програм: перевірка на несуперечливість та узгодженість ; Verification of models of object-oriented programs: checking for non-opinionity and consistency

Συγγραφείς: Богдан, І. В.

Θεματικοί όροι: об’єктно-орієнтоване програмне забезпечення, верифікація, модель, узгодженість, несуперечливість, UML-діаграма, diagram, verification, model, объектно-ориентированное программное обеспечение, верификация, согласованность, непротиворечивость, UML-диаграмма

Relation: Технічні науки та технології; № 2 (8); http://ir.stu.cn.ua/123456789/15262

Διαθεσιμότητα: http://ir.stu.cn.ua/123456789/15262