Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації

• Date: 2009
• Main Authors: Алексеєв, В.А., Терещенко, В.С.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2009
• Subjects: Методи програмної інженерії
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/6578
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр.

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