|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Проверка UML-моделей с помощью генерации текстовых спецификацийдоклад на конференции
- Авторы: Корухова Л.С., Ершов М.С., Малышко В.В.
- Международная Конференция : Ломоносовские чтения - 2017
- Даты проведения конференции: 17-26 апреля 2017
- Дата доклада: 19 апреля 2017
- Тип доклада: Устный
- Докладчик: Малышко В.В.
- Место проведения: МГУ имени М.В. Ломоносова, Russia
-
Аннотация доклада:
В докладе сообщено о методе проверки UML-моделей, не требующем от разработчиков дополнительных усилий по переводу UML-моделей на традиционно используемые текстовые языки спецификаций. В рамках метода по проверяемой UML-модели автоматически генерируется описание на языке Simple OCL-based Imperative Language, которое анализируется средой UML-based UML-based Specification Environment. Заключение, сделанное по результатам такого анализа, сохраняет свою силу для исходной UML-модели, так как при генерации проверяемого описания сохраняются все исследуемые свойства модели. Работа поддержана грантом РФФИ № 14-01-00214.
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Врагова Елена Юрьевна