2024-03-28T12:27:43Z
https://jrnl.nau.edu.ua/index.php/index/oai
oai:ojs.jrnl.nau.edu.ua:article/3535
2014-04-16T21:00:18Z
IPZ:IPSL
driver
nmb a2200000Iu 4500
dc
АНАЛІЗ ВИМОГ ДО АВТОМАТИЗОВАНИХ МЕТОДІВ ВИЛУЧЕННЯ ДАНИХ ПРО ОДНОТИПНІ ОБ’ЄКТИ З WEB-ПРОСТОРУ
Бурматова, Марія Сергіївна
Infopulse LLC
Оленін, Михайло Вікторович
Національний авіаційний університет
Проаналізовано 5 методів вилучення інформації про однотипні об’єкти з простору Web на відповідність поставленим вимогам: метод Sunny, методи обгорток, методи автоматизованого вилучення, синтаксичні методи та метод обробки Web-сторінки як текстового документу. Доведено найбільшу відповідність вимогам методу Sunny та методу обробки Web-сторінки як текстового документу.
National Aviation University
2010-12-11 00:00:00
application/pdf
https://jrnl.nau.edu.ua/index.php/IPZ/article/view/3535
Інженерія програмного забезпечення; Том 2 № 2 (2010)
ukr
Авторське право (c)
oai:ojs.jrnl.nau.edu.ua:article/15495
2021-05-30T21:27:20Z
IPZ:IPSL
driver
nmb a2200000Iu 4500
dc
ПІДХІД ДО ВЕРИФІКАЦІЇ АРХІТЕКТУРИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
Чебанюк, Олена Вікторінв
Національний авіаційний університет
Дмитро, Поваляєв
Національний авіаційний університет
Верифікація є дуже важливою частиною проектування архітектури програмного забезпечення. У підході AGILE архітектурні рішення представлені у вигляді статичних програмних моделей, а саме діаграм UML.
У роботі запропоновано аналітичні основи верифікації діаграм класів на основі предикатної логіки. Це дослідження продовжується тут, пропонуючи запити LINQ для визначення взаємозв’язку між елементами діаграми класів.
Підхід, запропонований у цій роботі, заснований на автоматичному синтаксичному аналізі файлу діаграми класів XMI, використовуючи запропоновані запити LINQ для кожного принципу проектування SOLID.
National Aviation University
2021-05-30 20:50:41
application/pdf
https://jrnl.nau.edu.ua/index.php/IPZ/article/view/15495
Інженерія програмного забезпечення; Том 30 № 2 (2017)
ukr
Авторське право (c)