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