Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації
Розглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій....
Збережено в:
| Дата: | 2009 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2009
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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 |
irk-123456789-6578 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-65782010-03-10T12:01:03Z Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації Алексеєв, В.А. Терещенко, В.С. Методи програмної інженерії Розглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій. Рассматриваются различные варианты нотаций представления алгоритмов прикладных задач в информационных системах, что даёт возможность до их программной реализации провести верификацию принятых решений по их построению, используя для этого разнообразные средства, присущие каждой из этих нотаций. 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. 2009 Article Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/6578 681.3 uk Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Методи програмної інженерії Методи програмної інженерії |
| spellingShingle |
Методи програмної інженерії Методи програмної інженерії Алексеєв, В.А. Терещенко, В.С. Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| description |
Розглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій. |
| format |
Article |
| author |
Алексеєв, В.А. Терещенко, В.С. |
| author_facet |
Алексеєв, В.А. Терещенко, В.С. |
| author_sort |
Алексеєв, В.А. |
| title |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_short |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_full |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_fullStr |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_full_unstemmed |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_sort |
багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2009 |
| topic_facet |
Методи програмної інженерії |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/6578 |
| citation_txt |
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр. |
| work_keys_str_mv |
AT alekseêvva bagatovaríantnístʹnotacíjpredstavlennâalgoritmívfunkcíonuvannâprogramnihzasobívâkšlâhdoíhverifíkacíí AT tereŝenkovs bagatovaríantnístʹnotacíjpredstavlennâalgoritmívfunkcíonuvannâprogramnihzasobívâkšlâhdoíhverifíkacíí |
| first_indexed |
2023-10-18T16:35:25Z |
| last_indexed |
2023-10-18T16:35:25Z |
| _version_ |
1796139382431809536 |