|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Труды 12-й Всероссийской научной конференции "Электронные библиотеки: перспективные методы и технологии, электронные коллекции" RCDLсборник
- Год издания: 2010
- Место издания: Казанский университет Казань
- Добавил в систему: Ступников Сергей Александрович
Статьи, опубликованные в сборнике
-
- 2010 Cемантическая трансформация канонической информационной модели в формальный язык спецификаций для верификации уточнения
- Ступников С.А.
- в сборнике Труды 12-й Всероссийской научной конференции "Электронные библиотеки: перспективные методы и технологии, электронные коллекции" RCDL, место издания Казанский университет Казань, с. 389-391
-
- 2010 Взаимное отображение канонической информационной модели и языка OWL 2
- Ступников С.А., Скворцов Н.А.
- в сборнике Труды 12-й Всероссийской научной конференции "Электронные библиотеки: перспективные методы и технологии, электронные коллекции" RCDL, место издания Казанский университет Казань, с. 392-398
-
- 2010 От спецификаций требований к концептуальной схеме
- Вовченко А.Е., Захаров В.Н., Калиниченко Л.А., Ковалёв Д.Ю., Рябухин О.В., Скворцов Н.А., Ступников С.А.
- в сборнике Труды 12-й Всероссийской научной конференции "Электронные библиотеки: перспективные методы и технологии, электронные коллекции" RCDL, место издания Казанский университет Казань, с. 375-382