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

• Datum: 2009
• Hauptverfasser: Алексеєв, В.А., Терещенко, В.С.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут програмних систем НАН України 2009
• Schlagworte: Методи програмної інженерії
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/6578
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр.

Розглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій. Рассматриваются различные варианты нотаций представления алгоритмов прикладных задач в информационных системах, что даёт возможность до их программной реализации провести верификацию принятых решений по их построению, используя для этого разнообразные средства, присущие каждой из этих нотаций. The various variants of the notations of representation of algorithms of the application tasks in information systems are considered, that enables before their program implementation to lead(carry out) verification of the accepted solutions on their construction, using for this purpose various tools, inherent by each of these notations.