Семантическая верификация прикладных объектно-ориентированных данных: реализация и анализ.

Авторы

Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А.

Аннотация

В настоящей работе на примере языка EXPRESS и прикладных протоколов STEP (междисциплинарных информационных моделей, стандартизованных для ключевых научных и промышленных отраслей) рассматриваются задачи полной и инкрементальной верификации прикладных объектно-ориентированных данных. С учетом сложности и масштабности подобных информационных моделей, а также высокой размерности самих данных особую остроту приобретают вопросы эффективной реализации и адекватного использования методов верификации. Этим аспектам в представленной работе уделяется также должное внимание.

Издание

Методы и средства обработки информации: Труды второй Всероссийской научной конференции. Издательство: Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, 2005. Стр. 435-441.

Научная группа

Системная интеграция и прикладные программные комплексы

Все публикации за 2005 год

Все публикации