Показати скорочену інформацію

dc.contributor.authorБрагина, Татьянаuk
dc.contributor.authorТабунщик, Галинаuk
dc.date.accessioned2016-01-20T11:40:38Z
dc.date.available2016-01-20T11:40:38Z
dc.date.issued2014
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.urihttp://ir.lib.vntu.edu.ua/handle/123456789/4514
dc.description.abstractАвторами предлагается формальная модель для автоматизации процессов динамической верификации web-ориентированных систем, которая основывается на модели для адаптивного web-окружения и включает модель требований пользователя, модель домена и модель адаптивных правил. Модификация этих моделей позволила систематизировать процедуру тестирования и разработать целостный подход к тестированию.uk
dc.description.abstractThe 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.isouk_UAuk_UA
dc.publisherВНТУuk
dc.titleМодель верификации web-ориентированных системuk
dc.typeThesis
dc.identifier.udc004.05


Файли в цьому документі

Thumbnail

Даний документ включений в наступну(і) колекцію(ї)

Показати скорочену інформацію