О технологиях построения и обработки математических моделей программ
Показаны проблемы, связанные с построением математических моделей программ, предназначенных для использования в системах автоматизации решения задач анализа и преобразования программ. В качестве такой системы рассмотрена система автоматического поиска и доказательства инвариантных равенств в програм...
Gespeichert in:
| Datum: | 2007 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем, журнал "Проблеми програмування"
2007
|
| Schriftenreihe: | №3 |
| Schlagworte: | |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/299 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | О технологиях построения и обработки математических моделей программ / С.М. Львов // Пробл. програмув. — 2007. — N 3. — С. 41-48. — Библиогр.: 6 назв. — рус. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-299 |
|---|---|
| record_format |
dspace |
| fulltext |
|
| spelling |
irk-123456789-2992008-04-21T17:30:47Z О технологиях построения и обработки математических моделей программ Львов, С.М. Формальні методи програмування Показаны проблемы, связанные с построением математических моделей программ, предназначенных для использования в системах автоматизации решения задач анализа и преобразования программ. В качестве такой системы рассмотрена система автоматического поиска и доказательства инвариантных равенств в программах. Методы поиска программных инвариантов основаны на анализе свойств предметной области. Определена основная функциональность программного модуля Транслятор этой системы. 2007 Article О технологиях построения и обработки математических моделей программ / С.М. Львов // Пробл. програмув. — 2007. — N 3. — С. 41-48. — Библиогр.: 6 назв. — рус. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/299 ru №3 С. 41-48 Інститут програмних систем, журнал "Проблеми програмування" |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Формальні методи програмування Формальні методи програмування |
| spellingShingle |
Формальні методи програмування Формальні методи програмування Львов, С.М. О технологиях построения и обработки математических моделей программ №3 |
| description |
Показаны проблемы, связанные с построением математических моделей программ, предназначенных для использования в системах автоматизации решения задач анализа и преобразования программ. В качестве такой системы рассмотрена система автоматического поиска и доказательства инвариантных равенств в программах. Методы поиска программных инвариантов основаны на анализе свойств предметной области. Определена основная функциональность программного модуля Транслятор этой системы. |
| format |
Article |
| author |
Львов, С.М. |
| author_facet |
Львов, С.М. |
| author_sort |
Львов, С.М. |
| title |
О технологиях построения и обработки математических моделей программ |
| title_short |
О технологиях построения и обработки математических моделей программ |
| title_full |
О технологиях построения и обработки математических моделей программ |
| title_fullStr |
О технологиях построения и обработки математических моделей программ |
| title_full_unstemmed |
О технологиях построения и обработки математических моделей программ |
| title_sort |
о технологиях построения и обработки математических моделей программ |
| publisher |
Інститут програмних систем, журнал "Проблеми програмування" |
| publishDate |
2007 |
| topic_facet |
Формальні методи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/299 |
| citation_txt |
О технологиях построения и обработки математических моделей программ / С.М. Львов // Пробл. програмув. — 2007. — N 3. — С. 41-48. — Библиогр.: 6 назв. — рус. |
| series |
№3 |
| work_keys_str_mv |
AT lʹvovsm otehnologiâhpostroeniâiobrabotkimatematičeskihmodelejprogramm |
| first_indexed |
2025-07-02T04:05:43Z |
| last_indexed |
2025-07-02T04:05:43Z |
| _version_ |
1836506565515935744 |