Скачкова Анна Сергеевна

Деятельность

Выпускник 014401 группы

Биография

 

Выпускная квалификационная работа:

 

 

 Объект исследований – ERM-модель, ее формальная система, графическая нотация и графический редактор ERM-схем.

Цель – разработать графический редактор ERM-схем, обеспечивающий их полноту и непротиворечивость.

Метод исследования – теоретический и экспериментальный.

Разработана графическая нотация для ERM-схем, список правил проверки схем на непротиворечивость и полноту, достоверность части правил подтверждена доказанными теоремами. Создан графический редактор, поддерживающий новую графическую нотацию и обеспечивающий проверки схемы.

 

Научные публикации: