О технологиях построения и обработки математических моделей программ
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
О технологиях построения и обработки математических моделей программ
|
|
| Creator |
Львов, С.М.
|
|
| Subject |
Формальні методи програмування
|
|
| Description |
Показаны проблемы, связанные с построением математических моделей программ, предназначенных для использования в системах автоматизации решения задач анализа и преобразования программ. В качестве такой системы рассмотрена система автоматического поиска и доказательства инвариантных равенств в программах. Методы поиска программных инвариантов основаны на анализе свойств предметной области. Определена основная функциональность программного модуля Транслятор этой системы.
|
|
| Date |
2008-02-22T19:29:53Z
2008-02-22T19:29:53Z 2007 |
|
| Type |
Article
|
|
| Identifier |
О технологиях построения и обработки математических моделей программ / С.М. Львов // Пробл. програмув. — 2007. — N 3. — С. 41-48. — Библиогр.: 6 назв. — рус.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/299 |
|
| Language |
ru
|
|
| Relation |
№3
С. 41-48 |
|
| Publisher |
Інститут програмних систем, журнал "Проблеми програмування"
|
|