Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики

• Опубліковано в: : Проблеми програмування
• Дата: 2012
• Автори: Дорошенко, А.Е., Иовчев, В.А.
• Мова: Russian
• Опубліковано: Інститут програмних систем НАН України 2012
• Теми: Формальні методи програмування
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/86609
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики / А.Е. Дорошенко, В.А. Иовчев // Проблеми програмування. — 2012. — № 2-3. — С. 241-250. — Бібліогр.: 10 назв. — рос.

Рассмотрены средства алгоритмических описаний для представления последовательных и параллельных алгоритмов. Описаны методы диалогового конструирования алгоритмов и синтеза объектно-ориентированных программ. Рассмотрен разработанный инструментарий на основе данных методов. Описан метод синтеза послед...