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

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

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