Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації
Розглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій. Рассматриваются раз...
Збережено в:
| Дата: | 2009 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2009
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/6578 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-6578 |
|---|---|
| record_format |
dspace |
| spelling |
Алексеєв, В.А. Терещенко, В.С. 2010-03-09T12:24:45Z 2010-03-09T12:24:45Z 2009 Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/6578 681.3 Розглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій. Рассматриваются различные варианты нотаций представления алгоритмов прикладных задач в информационных системах, что даёт возможность до их программной реализации провести верификацию принятых решений по их построению, используя для этого разнообразные средства, присущие каждой из этих нотаций. 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. uk Інститут програмних систем НАН України Методи програмної інженерії Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації Многовариантность нотаций представ-ления алгоритмов функционирования программных средств как путь к их верификации Multivariance of the notations of represen-tation of algorithms of operation of software as path to their verification Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| spellingShingle |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації Алексеєв, В.А. Терещенко, В.С. Методи програмної інженерії |
| title_short |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_full |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_fullStr |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_full_unstemmed |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_sort |
багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| author |
Алексеєв, В.А. Терещенко, В.С. |
| author_facet |
Алексеєв, В.А. Терещенко, В.С. |
| topic |
Методи програмної інженерії |
| topic_facet |
Методи програмної інженерії |
| publishDate |
2009 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Многовариантность нотаций представ-ления алгоритмов функционирования программных средств как путь к их верификации Multivariance of the notations of represen-tation of algorithms of operation of software as path to their verification |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/6578 |
| citation_txt |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр. |
| work_keys_str_mv |
AT alekseêvva bagatovaríantnístʹnotacíipredstavlennâalgoritmívfunkcíonuvannâprogramnihzasobívâkšlâhdoíhverifíkacíí AT tereŝenkovs bagatovaríantnístʹnotacíipredstavlennâalgoritmívfunkcíonuvannâprogramnihzasobívâkšlâhdoíhverifíkacíí AT alekseêvva mnogovariantnostʹnotaciipredstavleniâalgoritmovfunkcionirovaniâprogrammnyhsredstvkakputʹkihverifikacii AT tereŝenkovs mnogovariantnostʹnotaciipredstavleniâalgoritmovfunkcionirovaniâprogrammnyhsredstvkakputʹkihverifikacii AT alekseêvva multivarianceofthenotationsofrepresentationofalgorithmsofoperationofsoftwareaspathtotheirverification AT tereŝenkovs multivarianceofthenotationsofrepresentationofalgorithmsofoperationofsoftwareaspathtotheirverification |
| first_indexed |
2025-12-07T18:01:32Z |
| last_indexed |
2025-12-07T18:01:32Z |
| _version_ |
1850873471111790592 |