|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
К статической проверке нетривиальных ограничений в реляционной модели предметной областидоклад на конференции
- Авторы: Кривчиков М.А., Шульгин Е.В.
- Всероссийская с международным участием Конференция : Знания-Онтологии-Теории (ЗОНТ-2017)
- Даты проведения конференции: 2-6 октября 2017
- Дата доклада: 4 октября 2017
- Тип доклада: Устный
- Докладчик: Кривчиков М.А.
- Место проведения: Новосибирск, Russia
- Доклад на конференции выполнен в рамках проекта (проектов):
- Развитие и сопровождение системы подготовки принятия решений на основе анализа информации о результатах научно-исследовательской, педагогической и инновационной деятельности ИАС «ИСТИНА»
- Математическое и программное обеспечение сложных информационно-вычислительных систем
- Методы и средства разработки верифицируемого программного обеспечения с использованием предметно-ориентированных языков, имеющих заданную формальную семантику
- Добавил в систему: Кривчиков Максим Александрович