Зведений каталог бібліотек Харкова

 

Потапов, М. А.
    Некоторые методы автоматизированного анализа и управляемого преобразования программ [Текст] / Институт автоматизации проектирования РАН, Москва // Автоматика и телемеханика  : науково-технічний журнал / Рос. акад. наук. — С. 176-186.


- Анотація:

Рассматриваются принципы и методы создания программных систем, облегчающих анализ и преобразование структуры программ. При реализации масштабных проектов невозможно иметь полное представление о структуре программы без использования специальных систем. Такие системы содержат средства анализа исходной программы и в результате автоматизированного преобразования создают другую программу, обладающую заданными свойствами.

- Є складовою частиною документа:

- Теми документа

  • УДК // Математичне програмування
  • УДК // Моделювання з використанням математичних моделей



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт