Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації
|
|
| Creator |
Алексеєв, В.А.
Терещенко, В.С. |
|
| Subject |
Методи програмної інженерії
|
|
| Description |
Розглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій.
Рассматриваются различные варианты нотаций представления алгоритмов прикладных задач в информационных системах, что даёт возможность до их программной реализации провести верификацию принятых решений по их построению, используя для этого разнообразные средства, присущие каждой из этих нотаций. 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. |
|
| Date |
2010-03-09T12:24:45Z
2010-03-09T12:24:45Z 2009 |
|
| Type |
Article
|
|
| Identifier |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/6578 681.3 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|