РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016663633

Дата регистрации: 13.12.2016

Номер и дата поступления заявки: 2016661522 27.10.2016

Дата публикации: 10.01.2017

Контактные реквизиты:
ivanradko1991@gmail.com
	
Автор:
Климов Валентин Вячеславович

Правообладатель:
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский ядерный университет «МИФИ» (НИЯУ МИФИ)

Название программы для ЭВМ:
«Интерактивная справочная система по переходу от ER-моделей к семантическим описаниям»

Реферат:
Программа предназначена для изучения методологии перехода от ER-моделей к семантическим описаниям, изучения системы автоматического доказательства теорем SPASS. Программа предназначена для изучения курса «Основы сервисно-ориентированной архитектуры приложений». Способна упростить и усовершенствовать процесс усвоения нового материала.

Тип реализующей ЭВМ: IBM PC - совмест. ПК на базе процессора Intel Pentium IV и выше

Язык программирования: С#

Вид и версия операционной системы: Windows XP/Vista/7/8

Объем программы для ЭВМ: 8,41 Мб