Сауд, Ібаа2014-01-212014-01-212011Сауд І. Формальна специфікація моделі управлення доступом в реляційних базах даних з використанням мови UML та OCL / Ібаа Сауд // Комп'ютерні науки та інженерія : матеріали V Міжнародної конференції молодих вчених CSE-2011, 24–26 листопада 2011 р., Україна, Львів / Національний університет "Львівська політехніка". – Львів : Видавництво Львівської політехніки, 2011. – C. 68–69. – (3-й Міжнародний молодіжний фестиваль науки "Litteris et Artibus"). – Титульний аркуш та текст паралельно англійською. – Бібліографія: 6 назв.https://ena.lpnu.ua/handle/ntb/22564Робота присвячена першому етапу автоматизації процесу налаштування механізмів управління доступом на рівні СУБД - формалізації вимог з управління доступом з використанням мови графічних специфікацій UML і мови текстових специфікацій OCL.uaбаза данихуправління доступомRBACUMLOCLModel CheckingMDAMDSArticle