на сайт факультета информатики ТГУ
на сайт Томского государственного университета
  


НАЧАЛО БИБЛИОТЕКА ДИПЛОМНЫЕ РАБОТЫ

     ДИПЛОМНЫЕ РАБОТЫ



Скачкова А.С.

Проектирование и реализация графического редактора erm-схем, обеспечивающего их непротиворечивость и полноту - Томск: Томск. гос. ун-т. Факультет информатики, 2009.- 53 с.

http://www.inf.tsu.ru/library/DiplomaWorks/CompScience/2009/Skachkova/diplom.pdf

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

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

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

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


Текст PDF
Объем 1015 Кбайт

Copyright © 2010 Факультет информатики Томского государственного университета  
  Служба сервера