Моделирование и анализ информационных систем
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Моделирование и анализ информационных систем, 2016, том 23, номер 6, страницы 754–766
DOI: https://doi.org/10.18255/1818-1015-2016-6-754-766 (Mi mais538) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Формализм и языковые инструменты для описания семантики программных библиотек

В. М. Ицыксон

Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 29, г. Санкт-Петербург, 195251, Россия
PDF полного текста (577 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.18255/1818-1015-2016-6-754-766
Аннотация: Статья посвящена вопросам спецификации структуры и поведения программных библиотек. Описываются существующие проблемы спецификации библиотек. Дается краткий обзор состояния дел в области формализации спецификации библиотек и библиотечных функций. Формулируются требования к создаваемому формализму. На основе требований предлагается формализм, позволяющий специфицировать все необходимые свойства библиотек, требуемые для автоматизации нескольких классов задач: обнаружение дефектов в программном обеспечении, миграция приложений в новое окружение, генерация программной документации. На базе формализма формулируются требования к языковым средствам спецификации библиотек. В заключении определяются дальнейшие направления исследований.
Ключевые слова: формальная спецификация, программная библиотека, поведенческое описание, программный дефект, язык спецификаций.
Поступила в редакцию: 05.09.2016
Реферативные базы данных:
Тип публикации: Статья
УДК: 004.423.4+004.415.5
Образец цитирования: В. М. Ицыксон, “Формализм и языковые инструменты для описания семантики программных библиотек”, Модел. и анализ информ. систем, 23:6 (2016), 754–766
Цитирование в формате AMSBIB
\RBibitem{Its16}
\by В.~М.~Ицыксон
\paper Формализм и языковые инструменты для описания семантики программных библиотек
\jour Модел. и анализ информ. систем
\yr 2016
\vol 23
\issue 6
\pages 754--766
\mathnet{http://mi.mathnet.ru/mais538}
\crossref{https://doi.org/10.18255/1818-1015-2016-6-754-766}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3596159}
\elib{https://elibrary.ru/item.asp?id=27517421}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais538
  • https://www.mathnet.ru/rus/mais/v23/i6/p754
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:282
    PDF полного текста:193
    Список литературы:41
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024