Бендума Тахар Мохаммет; Еникеев Арслан Ильясович
(Казанский государственный университет, 2009)
В работе предлагается один из подходов к построению
специализированной модели для разработки приложений баз данных,
основанный на соединении средств описания диаграмм UML с
формальным аппаратом теории CSP-OZ. Предлагаемый ...