195251, Санкт-Петербург,
Политехническая ул., 29, НИК, к. В.3.17
+7 (812) 552-6216 (с 10 до 18 часов)
infocom@spbstu.ru

Язык спецификаций поведения программных компонентов

Опубликовано в разделе «Вычислительные машины и программное обеспечение»

Издание: Выпуск 3(101)/2010

Аннотация

Рассмотрена проблема статического анализа программ, использующих внешние программные компоненты. Проанализированы существующие подходы к построению спецификаций поведения компонентов. На основании анализа сформированы требования к построению специализированного языка и ограничения к данному языку. Приведено описание языка спецификаций PanLang, используемого в составе системы статического анализа.

Комментарии читателей