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

Формализм для описания частичных спецификаций компонентов программного окружения

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

Издание: Выпуск 4(128)/2011

Аннотация

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

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