dc.contributor.author | Брагина, Татьяна | uk |
dc.contributor.author | Табунщик, Галина | uk |
dc.date.accessioned | 2016-01-20T11:40:38Z | |
dc.date.available | 2016-01-20T11:40:38Z | |
dc.date.issued | 2014 | |
dc.identifier.citation | Брагина, Т. Модель верификации web-ориентированных систем [Текст] / Татьяна Брагина, Галина Табунщик // Proceedings of the ninth international scientific-practical conference "Internet-Education-Science" (IES-2014), Vinnytsia, 14 - 17 October, 2014. - Vinnytsia : VNTU, 2014. - С. 22-24. | uk |
dc.identifier.uri | http://ir.lib.vntu.edu.ua/handle/123456789/4514 | |
dc.description.abstract | Авторами предлагается формальная модель для автоматизации процессов динамической верификации web-ориентированных систем, которая основывается на модели для адаптивного web-окружения и включает модель требований пользователя, модель домена и модель адаптивных правил. Модификация этих моделей позволила систематизировать процедуру тестирования и разработать целостный подход к тестированию. | uk |
dc.description.abstract | The authors propose the formal model for dynamic verification of web-oriented information systems processes automation. This model is based on the generic model for adaptive web-environments and includes the user model, domain model and rules (adaptation) model. The modification of these models allowed systematizing the testing procedure and developing the integral approach to testing. | en |
dc.language.iso | uk_UA | uk_UA |
dc.publisher | ВНТУ | uk |
dc.title | Модель верификации web-ориентированных систем | uk |
dc.type | Thesis | |
dc.identifier.udc | 004.05 | |