Институт системного программирования им. В.П. Иванникова РАН
Семантическая верификация прикладных объектно-ориентированных данных: реализация и анализ.
Авторы
Аннотация
В настоящей работе на примере языка EXPRESS и прикладных протоколов STEP (междисциплинарных информационных моделей, стандартизованных для ключевых научных и промышленных отраслей) рассматриваются задачи полной и инкрементальной верификации прикладных объектно-ориентированных данных. С учетом сложности и масштабности подобных информационных моделей, а также высокой размерности самих данных особую остроту приобретают вопросы эффективной реализации и адекватного использования методов верификации. Этим аспектам в представленной работе уделяется также должное внимание.
Издание
Методы и средства обработки информации: Труды второй Всероссийской научной конференции. Издательство: Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, 2005. Стр. 435-441.
Научная группа
Системная интеграция и прикладные программные комплексы
Все публикации за 2005 год
Все публикации