О технологиях построения и обработки математических моделей программ

Скорочена інформація про документ
dc.contributor.authorЛьвов, С.М.
dc.date.accessioned2008-02-22T19:29:53Z
dc.date.available2008-02-22T19:29:53Z
dc.date.issued2007
dc.description.abstractПоказаны проблемы, связанные с построением математических моделей программ, предназначенных для использования в системах автоматизации решения задач анализа и преобразования программ. В качестве такой системы рассмотрена система автоматического поиска и доказательства инвариантных равенств в программах. Методы поиска программных инвариантов основаны на анализе свойств предметной области. Определена основная функциональность программного модуля Транслятор этой системы.en_US
dc.identifier.citationО технологиях построения и обработки математических моделей программ / С.М. Львов // Пробл. програмув. — 2007. — N 3. — С. 41-48. — Библиогр.: 6 назв. — рус.en_US
dc.identifier.issn1727-4907
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/299
dc.language.isoruen_US
dc.publisherІнститут програмних систем, журнал "Проблеми програмування"en_US
dc.relation.ispartofseries№3en_US
dc.relation.ispartofseriesС. 41-48en_US
dc.statuspublished earlieren_US
dc.subjectФормальні методи програмуванняen_US
dc.titleО технологиях построения и обработки математических моделей программen_US
dc.typeArticleen_US

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Львов_1.pdf
Розмір:
332.23 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.81 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Проблеми програмування, 2007, №3