Верификация и валидация ПО: технологии и инструменты Открытые системы. СУБД Изда