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

dc.contributor.author	Львов, С.М.
dc.date.accessioned	2008-02-22T19:29:53Z
dc.date.available	2008-02-22T19:29:53Z
dc.date.issued	2007
dc.identifier.citation	О технологиях построения и обработки математических моделей программ / С.М. Львов // Пробл. програмув. — 2007. — N 3. — С. 41-48. — Библиогр.: 6 назв. — рус.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/299
dc.description.abstract	Показаны проблемы, связанные с построением математических моделей программ, предназначенных для использования в системах автоматизации решения задач анализа и преобразования программ. В качестве такой системы рассмотрена система автоматического поиска и доказательства инвариантных равенств в программах. Методы поиска программных инвариантов основаны на анализе свойств предметной области. Определена основная функциональность программного модуля Транслятор этой системы.	en_US
dc.language.iso	ru	en_US
dc.publisher	Інститут програмних систем, журнал "Проблеми програмування"	en_US
dc.relation.ispartofseries	№3	en_US
dc.relation.ispartofseries	С. 41-48	en_US
dc.subject	Формальні методи програмування	en_US
dc.title	О технологиях построения и обработки математических моделей программ	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US