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

BUILDING MODEL DESIGN DEFECTS OBJECT ORIENTED SOFTWARE METHOD ; МЕТОД ПОСТРОЕНИЯ МОДЕЛЕЙ ДЕФЕКТОВ ПРОЕКТИРОВАНИЯ ОБЪЕКТНООРИЕНТОВАНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ; МЕТОД ПОБУДОВИ МОДЕЛЕЙ ДЕФЕКТІВ ПРОЕКТУВАННЯ ОБ’ЄКТНООРІЄНТОВАНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Συγγραφείς: Сидоров, М.О., Нечай, О.С.

Πηγή: Science-based technologies; Vol. 2 No. 2 (2009); 65-68 ; Наукоемкие технологии; Том 2 № 2 (2009); 65-68 ; Наукоємні технології; Том 2 № 2 (2009); 65-68 ; 2310-5461 ; 2075-0781

Θεματικοί όροι: defect, modeling, design, software, object-oriented software, analysis, UDC 004.415.2.045 (076.5), дефект, построение модели, проектирование, программное обеспечение, объектно-ориентированное программное обеспечение, анализ, УДК 004.415.2.045 (076.5), побудова моделі, проектування, програмне забезпечення, об'єктно-орієнтоване програмне забезпечення, аналіз

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

Relation: https://jrnl.nau.edu.ua/index.php/SBT/article/view/5301/5961; https://jrnl.nau.edu.ua/index.php/SBT/article/view/5301/5962; https://jrnl.nau.edu.ua/index.php/SBT/article/view/5301/5963; https://jrnl.nau.edu.ua/index.php/SBT/article/view/5301

Διαθεσιμότητα: https://jrnl.nau.edu.ua/index.php/SBT/article/view/5301
https://doi.org/10.18372/2310-5461.2.5301

Розробка методів та інструментальних засобів верифікації моделей об’єктно-орієнтованих програм ; Разработка методов и инструментальных средств верификации моделей объектно-ориентированных программ ; The development of methods and verification model tools of object-oriented programs

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

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

Relation: http://ir.stu.cn.ua/123456789/15471

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

Верификация моделей объектно-ориентированных программ: проверка на непротиворечивость и согласованность ; Верифікація моделей об’єктно-орієнтованих програм: перевірка на несуперечливість та узгодженість ; 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

Разработка методов и инструментальных средств верификации моделей объектно-ориентированных программ ; Розробка методів та інструментальних засобів верифікації моделей об’єктно-орієнтованих програм ; The development of methods and verification model tools of object-oriented programs

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

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

Relation: http://ir.stu.cn.ua/123456789/15511

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