(Видавництво Львівської політехніки, 2011) Сауд, Ібаа
Робота присвячена першому етапу автоматизації
процесу налаштування механізмів управління доступом на
рівні СУБД - формалізації вимог з управління доступом з
використанням мови графічних специфікацій UML і мови
текстових специфікацій OCL.
(Видавництво Львівської політехніки, 2012) Duravkin, E. V.; Tkacheva, E. B.; Saied, Halawa Fawaz
This paper is devoted to the development of method for detecting the causes of the errors that arise in the operation of protocols for information exchange, which based on the construction of counterexamples.
