1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 2(30)'2004
  5. Пути автоматизации синтеза программного обеспечения информационных систем

Пути автоматизации синтеза программного обеспечения информационных систем

И. В. Данылив , С. И. Карпов , С. О. Лукашин
Системи обробки інформації. — 2004. — № 2(30). — С. 133-138.
Тематика статті: Загальні питання
УДК 681.51 АСУ
Мова статті: російська

Предлагается пример инструментального программного средства автоматизированного синтеза программного обеспечения сложных информационных систем (ИС), основой которого является математический аппарат, свойственный языкам программирования декларативного уровня.
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Данылив И. В. Пути автоматизации синтеза программного обеспечения информационных систем / И. В. Данылив , С. И. Карпов , С. О. Лукашин  // Системи обробки інформації. — 2004. — № 2. — С. 133-138.