004.4 О-56 Ольхович, Л. Б. Метод автоматической валидации UML-спецификаций на основе языка OCL [Текст] / Л. Б. Ольхович, авт. Д. В. Кознов> // Программирование. - 2003. - N 6. - С. 44-50. - Библиогр.: с. 49-50 (23 назв.) . - ISSN 0132-3474
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование Кл.слова (ненормированные): валидаторы; валидация; визуальное моделирование; метод валидации визуальных моделей; моделирование; программное обеспечение; языки программирования Аннотация: Данная работа посвящена валидации визуальных моделей программного обеспечения на предмет соответствия их визуальному языку проекта - диалекту стандартных языков визуального моделирования. Доп.точки доступа: Кознов, Д. В. |