| |
Ольхович, Л. Б.
Метод автоматической валидации UML-спецификаций на основе языка ОCL [Текст] / Л. Б. Ольхович, Д. В. Кознов
// Программирование. – 2003. – № 6. – 44-50.
В работе предложен подход для спецификации визуальных языков проектов с помощью OCL-ограничений на метамодель UML с дальнейшей автоматической генерацией проверяющего модуля |
