Автоформализация фрагментов JAVA-кода для UML-моделей

Конференция «Технологии Microsoft в теории и практике программирования»
Авторы:
Лукашев Дмитрий Андреевич Котляров Всеволод Павлович Юсупов Юрий Вадимович
Аннотация:

Рассмотрены проблемы формализации исходного кода Javа, в UМL-диаграммах. Описан трансформации кодового фрагмента на языке ]аvа в абстрагированное представление в нотации базовых протоколов с использованием инструмента Klocwork и системы специализированных чекеров.